gentest.py: add tests with float

Signed-off-by: Gengbin Zheng <[email protected]>
pmodels · Jan 12, 2021 · 4d09fd7 · 4d09fd7
1 parent 04a3e25
commit 4d09fd7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/maint/gentests.py b/maint/gentests.py
@@ -15,7 +15,7 @@
     1075: 128,
     65536: 32,
 }
-types = [ "int", "short_int", "int:3+double:2" ]
+types = [ "int", "short_int", "int:3+float:2", "int:3+double:2" ]
 seed = 1
 
 ##### simple tests generator