From f0f25eabe5b374f20a5db30f652f6e994fff3fb3 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Fri, 13 Sep 2019 14:32:25 +0200 Subject: Scaling down most of c/ CompCert tests --- test/c/nsievebits.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/c/nsievebits.c') diff --git a/test/c/nsievebits.c b/test/c/nsievebits.c index 743a5ffd..3a2e8b8b 100644 --- a/test/c/nsievebits.c +++ b/test/c/nsievebits.c @@ -48,7 +48,7 @@ main(int ac, char **av) { unsigned int n; - n = ac < 2 ? 9 : atoi(av[1]); + n = ac < 2 ? 3 : atoi(av[1]); test(n); if (n >= 1) test(n - 1); -- 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/nsievebits.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'test/c/nsievebits.c') diff --git a/test/c/nsievebits.c b/test/c/nsievebits.c index 3a2e8b8b..15d31417 100644 --- a/test/c/nsievebits.c +++ b/test/c/nsievebits.c @@ -30,7 +30,7 @@ nsieve(unsigned int m) return (count); } -#define NITER 2 +#define NITER 1 static void test(unsigned int n) @@ -48,7 +48,7 @@ main(int ac, char **av) { unsigned int n; - n = ac < 2 ? 3 : atoi(av[1]); + n = ac < 2 ? 2 : atoi(av[1]); test(n); if (n >= 1) test(n - 1); -- 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/nsievebits.c | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'test/c/nsievebits.c') diff --git a/test/c/nsievebits.c b/test/c/nsievebits.c index 15d31417..e3b7fd43 100644 --- a/test/c/nsievebits.c +++ b/test/c/nsievebits.c @@ -30,7 +30,11 @@ nsieve(unsigned int m) return (count); } +#ifdef __K1C__ #define NITER 1 +#else +#define NITER 2 +#endif static void test(unsigned int n) @@ -48,7 +52,11 @@ main(int ac, char **av) { unsigned int n; +#ifdef __K1C__ n = ac < 2 ? 2 : atoi(av[1]); +#else + n = ac < 2 ? 9 : atoi(av[1]); +#endif test(n); if (n >= 1) test(n - 1); -- cgit