From 7686949a56ad73487a2905a8dfd7c3667f2b04d6 Mon Sep 17 00:00:00 2001
From: UENISHI Kota <kuenishi@gmail.com>
Date: Sun, 17 Sep 2023 18:35:05 +0900
Subject: [PATCH] Add property on float

---
 test/prop_msgpack.erl | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/test/prop_msgpack.erl b/test/prop_msgpack.erl
index 29f3878..c32eba0 100644
--- 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,
@@ -29,7 +35,6 @@ prop_primitive() ->
        pack_and_unpack(PrimObj)).
 
 
-
 %%% Helpers %%%
 pack_and_unpack(Obj) ->
     Bin = msgpack:pack(Obj),