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:58:08 +0100 |
commit | 5827398f72a3f85e6414a734931a9c0f2a35c222 (patch) | |
tree | 77ef2209da3c6095d8a754b6574f6644d6b6c9d5 /test/monniaux | |
parent | 0992fddaa5a2bfdee01f6499e5e7424c8f62351b (diff) | |
download | compcert-kvx-5827398f72a3f85e6414a734931a9c0f2a35c222.tar.gz compcert-kvx-5827398f72a3f85e6414a734931a9c0f2a35c222.zip |
some more testing
Diffstat (limited to 'test/monniaux')
-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 |