From 5b6c019a507688dfcf63b9ef54f7731137422ab5 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Tue, 10 Sep 2019 17:50:42 +0200 Subject: Starting to modify official CompCert tests to be passable with the simu --- test/c/integr.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/c/integr.c') diff --git a/test/c/integr.c b/test/c/integr.c index 882325c3..9c762297 100644 --- a/test/c/integr.c +++ b/test/c/integr.c @@ -25,7 +25,7 @@ double test(int n) int main(int argc, char ** argv) { int n; double r; - if (argc >= 2) n = atoi(argv[1]); else n = 10000000; + if (argc >= 2) n = atoi(argv[1]); else n = 1000000; r = test(n); printf("integr(square, 0.0, 1.0, %d) = %g\n", n, r); return 0; -- cgit From 059664368a5f4ed036e87c0a5e0ed1fae1706f3d Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Fri, 13 Sep 2019 15:18:55 +0200 Subject: Reducing further the input size of the tests --- test/c/integr.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/c/integr.c') diff --git a/test/c/integr.c b/test/c/integr.c index 9c762297..19ea78ab 100644 --- a/test/c/integr.c +++ b/test/c/integr.c @@ -25,7 +25,7 @@ double test(int n) int main(int argc, char ** argv) { int n; double r; - if (argc >= 2) n = atoi(argv[1]); else n = 1000000; + if (argc >= 2) n = atoi(argv[1]); else n = 100000; r = test(n); printf("integr(square, 0.0, 1.0, %d) = %g\n", n, r); return 0; -- cgit From 5ca4b192499ee4829aee1256a3bebf2318c68108 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Wed, 25 Sep 2019 14:37:23 +0200 Subject: Restored previous input sizes for other backends --- test/c/integr.c | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'test/c/integr.c') diff --git a/test/c/integr.c b/test/c/integr.c index 19ea78ab..cd0521f5 100644 --- a/test/c/integr.c +++ b/test/c/integr.c @@ -25,7 +25,11 @@ double test(int n) int main(int argc, char ** argv) { int n; double r; +#ifdef __K1C__ if (argc >= 2) n = atoi(argv[1]); else n = 100000; +#else + if (argc >= 2) n = atoi(argv[1]); else n = 10000000; +#endif r = test(n); printf("integr(square, 0.0, 1.0, %d) = %g\n", n, r); return 0; -- cgit