property "encoding->decoding is circular" do check all bin <- binary() do encoded = Huffman.encode(bin) assert is_binary(encoded) assert Huffman.decode(encoded) == bin end end Huffman encoding
https://www.youtube.com/watch?v=jvwfDdgg93E property "only expected codes are returned" do check all request <- request() do response = HTTP.perform(request) assert response.status in [200, 201, 400, 404] end end
property "splitting commands at random" do check all cmd <- command(), split_cmd <- random_splits(cmd) do assert {:ok, _, ""} = parse_many(split_cmd) end end
property "splitting commands at random" do check all cmd <- command(), split_cmd <- random_splits(cmd) do assert {:ok, _, ""} = parse_many(split_cmd) end end
property "splitting commands at random" do check all cmd <- command(), split_cmd <- random_splits(cmd) do assert {:ok, _, ""} = parse_many(split_cmd) end end