diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-22 16:45:30 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-22 16:45:30 +0100 |
| commit | c042c12fc4728a3db1f4c619c37108244086d07c (patch) | |
| tree | 49e2d67bc0e14c8343ae50ad263e570c661735b9 | |
| parent | 15184c16b3c560108d0ec28feceae13ffaaca959 (diff) | |
| download | compcert-kvx-c042c12fc4728a3db1f4c619c37108244086d07c.tar.gz compcert-kvx-c042c12fc4728a3db1f4c619c37108244086d07c.zip | |
some more testing
| -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 b094e425..e6961036 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -1,5 +1,5 @@ CSMITH=csmith -MAX=100 +MAX=1000 include ../rules.mk K1C_CCOMPFLAGS+=-I/usr/include/csmith -fstruct-passing -fbitfields |