diff options
| author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-13 20:50:23 +0200 |
|---|---|---|
| committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-13 20:50:23 +0200 |
| commit | 5675aec8c4a2deaa2183ce3e351b6acc5ef061eb (patch) | |
| tree | 83c2cd9f4f907dddacaadfc2599265512880077b /test | |
| parent | 4fd6e4ba6639e0daf71fe024a3cebd30a00bcdf2 (diff) | |
| download | compcert-kvx-5675aec8c4a2deaa2183ce3e351b6acc5ef061eb.tar.gz compcert-kvx-5675aec8c4a2deaa2183ce3e351b6acc5ef061eb.zip | |
bump number of tests
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 e7c9a8ac..aa4eccab 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -12,7 +12,7 @@ ifndef CSMITH CSMITH=csmith/bin/csmith endif -MAX=30 +MAX=300 PREFIX=ran%06.f CCOMPOTS=-static |