Add property on float

msgpack · Sep 17, 2023 · 7686949 · 7686949
1 parent 12790ba
commit 7686949
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/test/prop_msgpack.erl b/test/prop_msgpack.erl
@@ -22,14 +22,19 @@ prop_binary() ->
        oneof([fix_raw(), raw16(), raw32()]),
        pack_and_unpack(Binary)).
 
+prop_float() ->
+    ?FORALL(
+       Float,
+       proper_types:float(),
+       pack_and_unpack(Float)).
+
 prop_primitive() ->
     ?FORALL(
        PrimObj,
        oneof(primitive_types()),
        pack_and_unpack(PrimObj)).
 
 
-
 %%% Helpers %%%
 pack_and_unpack(Obj) ->
     Bin = msgpack:pack(Obj),