diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-09-13 14:32:25 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-09-13 14:32:25 +0200 |
| commit | f0f25eabe5b374f20a5db30f652f6e994fff3fb3 (patch) | |
| tree | bbf790a23bc9a3f75195e7adc5505bfe80649a33 /test/c/nsievebits.c | |
| parent | 70cc8540ed308d26b4c211a291fef66f942b8431 (diff) | |
| download | compcert-kvx-f0f25eabe5b374f20a5db30f652f6e994fff3fb3.tar.gz compcert-kvx-f0f25eabe5b374f20a5db30f652f6e994fff3fb3.zip | |
Scaling down most of c/ CompCert tests
Diffstat (limited to 'test/c/nsievebits.c')
| -rw-r--r-- | test/c/nsievebits.c | 2 |
1 files changed, 1 insertions, 1 deletions
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); |