Add property on float

msgpack · Sep 17, 2023 · cd8bca5 · cd8bca5
1 parent f3fa40d
commit cd8bca5
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/test/prop_msgpack.erl b/test/prop_msgpack.erl
@@ -22,6 +22,12 @@ 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,