diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-20 20:38:43 +0200 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-20 20:38:43 +0200 |
commit | 2fd4ccbcda1494d3af6cbc1a9978ddeb76a8e014 (patch) | |
tree | 918c3c34c71271bcb0b05213bdb4be014cdabd2e /test | |
parent | bbf2499f60854a74ea8c6db3e63515314d5a9544 (diff) | |
download | compcert-kvx-2fd4ccbcda1494d3af6cbc1a9978ddeb76a8e014.tar.gz compcert-kvx-2fd4ccbcda1494d3af6cbc1a9978ddeb76a8e014.zip |
don't use unions
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 1f32dccb..2e9d9d24 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 +CSMITHOPT=--max-funcs 10 --no-unions MAX=500 PREFIX=ran%06.f |