diff options
| author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-20 13:29:24 +0200 |
|---|---|---|
| committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-20 13:29:24 +0200 |
| commit | 81eadac7dfaa7fb05f11d45042b74e95e1a14a09 (patch) | |
| tree | eee7ba624761900552116d5d953472defb64a712 /test | |
| parent | 68995e0afca237658728b2c82fff04133a5aae72 (diff) | |
| download | compcert-kvx-81eadac7dfaa7fb05f11d45042b74e95e1a14a09.tar.gz compcert-kvx-81eadac7dfaa7fb05f11d45042b74e95e1a14a09.zip | |
do 500 of them
Diffstat (limited to 'test')
| -rw-r--r-- | test/monniaux/csmith/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile index ab7931f1..78664c4b 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -20,7 +20,7 @@ CSMITH=csmith/bin/csmith endif CSMITHOPT=--max-funcs 10 -MAX=5000 +MAX=500 PREFIX=ran%06.f CCOMPOTS=-static |