diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-21 11:24:48 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-21 11:24:48 +0200 |
commit | 296a9f7396784de7e6ce4e4bd7a23bd50454dab1 (patch) | |
tree | 21e34c5aadb6ba3253afd8acb8991d3fd93e48ef /test | |
parent | 04e9f9fef81b6adb9d7088496612b3f7aab99843 (diff) | |
download | compcert-kvx-296a9f7396784de7e6ce4e4bd7a23bd50454dab1.tar.gz compcert-kvx-296a9f7396784de7e6ce4e4bd7a23bd50454dab1.zip |
no packed struct
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 5a1d3843..1e4b5e5f 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -18,7 +18,7 @@ CFLAGS += -Wno-incompatible-pointer-types ifndef CSMITH CSMITH=csmith/bin/csmith endif -CSMITHOPT=--max-funcs 10 --no-unions +CSMITHOPT=--max-funcs 10 --no-packed-struct MAX=500 PREFIX=ran%06.f |