From de7c3ec210cb5374bfcd133394fa35f0c7f516ac Mon Sep 17 00:00:00 2001 From: xleroy Date: Fri, 9 Mar 2012 10:01:06 +0000 Subject: PrintCminor: printing Sskip test/cminor: updating git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1839 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- test/cminor/mainconversions.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'test/cminor/mainconversions.c') diff --git a/test/cminor/mainconversions.c b/test/cminor/mainconversions.c index 4adfaa53..a274e991 100644 --- a/test/cminor/mainconversions.c +++ b/test/cminor/mainconversions.c @@ -98,9 +98,9 @@ int main(int argc, char ** argv) int numtests = 1000000; TEST(test_intoffloat, cases_intoffloat, double, - (random_double() - 2147483648.0) * 1.1); + (random_double() - 2147483648.0)); TEST(test_intuoffloat, cases_intuoffloat, double, - random_double() * 1.1); + random_double()); TEST(test_floatofint, cases_floatofint, int, (int) random_uint()); TEST(test_floatofintu, cases_floatofintu, unsigned int, -- cgit