diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-17 15:08:22 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-17 15:08:22 +0200 |
| commit | 32c90e36e4018a5a49a0a45e2e98a9c94c0d185d (patch) | |
| tree | c75d87d5a8a6f345e28cb6324125095f40179bff /test | |
| parent | a0e65a68988bb3ab51e17a767cdc578b0eb8ff07 (diff) | |
| download | compcert-kvx-32c90e36e4018a5a49a0a45e2e98a9c94c0d185d.tar.gz compcert-kvx-32c90e36e4018a5a49a0a45e2e98a9c94c0d185d.zip | |
some csmith tests
Diffstat (limited to 'test')
| -rw-r--r-- | test/monniaux/csmith/Makefile | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile index aa4eccab..e6475fa2 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -1,9 +1,13 @@ +all: + +.SECONDARY: + INCLUDES=-I csmith/include/csmith-2.3.0/ TARGET_CCOMP=../../../ccomp -TARGET_CC=gcc +TARGET_CC=kvx-cos-gcc ifndef EXECUTE -EXECUTE=timeout 2s +EXECUTE=timeout 10s kvx-cluster -- endif CFLAGS += -Wno-incompatible-pointer-types @@ -11,8 +15,9 @@ CFLAGS += -Wno-incompatible-pointer-types ifndef CSMITH CSMITH=csmith/bin/csmith endif +CSMITHOPT=--max-funcs 10 -MAX=300 +MAX=10000 PREFIX=ran%06.f CCOMPOTS=-static @@ -69,7 +74,7 @@ ran%/example.gcc.host: ran%/source.gcc.host.o ran%/source.c: mkdir -p ran$* - $(CSMITH) --seed $* --output ran$*/source.c + $(CSMITH) $(CSMITHOPT) --seed $* --output ran$*/source.c ran%/example.target.cmp : ran%/example.gcc.target.out ran%/example.ccomp.target.out cmp $+ > $@ |