Merge branch 'master' into all-proper

msgpack · Sep 17, 2023 · c0458e3 · c0458e3
2 parents c0e46dc + 3412f75
commit c0458e3
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/test/prop_msgpack.erl b/test/prop_msgpack.erl
@@ -55,13 +55,18 @@ prop_binary() ->
        {oneof([fix_raw(), raw16(), raw32()]), stable_opts()},
        pack_and_unpack(Binary, Opts)).
 
+prop_float() ->
+    ?FORALL(
+       Float,
+       proper_types:float(),
+       pack_and_unpack(Float)).
+
 prop_primitive() ->
     ?FORALL(
        {PrimObj, Opts},
        {oneof(primitive_types()), stable_opts()},
        pack_and_unpack(PrimObj, Opts)).
 
-
 prop_array_primitive() ->
     ?FORALL(
        {Array, Opts},