From 4d09fd789a550acdd818e8f27c005caf1f8bd5c6 Mon Sep 17 00:00:00 2001 From: Gengbin Zheng Date: Mon, 11 Jan 2021 16:45:46 -0800 Subject: [PATCH] gentest.py: add tests with float Signed-off-by: Gengbin Zheng --- maint/gentests.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/maint/gentests.py b/maint/gentests.py index f599a8d7..69f97ce2 100755 --- 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