diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-09-25 14:37:23 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-09-25 14:37:23 +0200 |
| commit | 5ca4b192499ee4829aee1256a3bebf2318c68108 (patch) | |
| tree | 980d8c7605c383c52b03e3345f8a58cc1f97e52e /test/c/fannkuch.c | |
| parent | 32f18c9068b4f23997733df68960f4f6c73a7ff4 (diff) | |
| download | compcert-kvx-5ca4b192499ee4829aee1256a3bebf2318c68108.tar.gz compcert-kvx-5ca4b192499ee4829aee1256a3bebf2318c68108.zip | |
Restored previous input sizes for other backends
Diffstat (limited to 'test/c/fannkuch.c')
| -rw-r--r-- | test/c/fannkuch.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/c/fannkuch.c b/test/c/fannkuch.c index 6fb7912f..befccd8d 100644 --- a/test/c/fannkuch.c +++ b/test/c/fannkuch.c @@ -102,7 +102,11 @@ fannkuch( int n ) int main( int argc, char* argv[] ) { +#ifdef __K1C__ int n = (argc>1) ? atoi(argv[1]) : 6; +#else + int n = (argc>1) ? atoi(argv[1]) : 10; +#endif printf("Pfannkuchen(%d) = %ld\n", n, fannkuch(n)); return 0; |