From c4661a0181e6db3aa4a36939bdbea5948eadb6c9 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 20 Mar 2019 18:26:04 +0100 Subject: csmith for testing --- test/monniaux/csmith/Makefile | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 test/monniaux/csmith/Makefile (limited to 'test/monniaux/csmith') diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile new file mode 100644 index 00000000..b094e425 --- /dev/null +++ b/test/monniaux/csmith/Makefile @@ -0,0 +1,23 @@ +CSMITH=csmith +MAX=100 + +include ../rules.mk +K1C_CCOMPFLAGS+=-I/usr/include/csmith -fstruct-passing -fbitfields + +TARGETS_S=$(shell seq --format src%06.f.ccomp.k1c.s 0 $(MAX)) +TARGETS_C=$(shell seq --format src%06.f.c 0 $(MAX)) +TARGETS_O=$(shell seq --format src%06.f.ccomp.k1c.o 0 $(MAX)) + +all: c s o + +s: $(TARGETS_S) +c: $(TARGETS_C) +o: $(TARGETS_O) + +src%.c : + $(CSMITH) --output $@ --seed $* + +clean: + -rm -f $(TARGETS_C) $(TARGETS_S) $(TARGETS_O) + +.PHONY: s c o clean -- cgit From 5827398f72a3f85e6414a734931a9c0f2a35c222 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Fri, 22 Mar 2019 16:45:30 +0100 Subject: some more testing --- test/monniaux/csmith/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/monniaux/csmith') 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 -- cgit From 143db5638d6941009eda3e5c70c84a1c45f7bff6 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 19 Jun 2019 17:48:31 +0200 Subject: paths for carlit --- test/monniaux/csmith/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/monniaux/csmith') diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile index e6961036..37c560d6 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -2,7 +2,7 @@ CSMITH=csmith MAX=1000 include ../rules.mk -K1C_CCOMPFLAGS+=-I/usr/include/csmith -fstruct-passing -fbitfields +K1C_CCOMPFLAGS+=-I/local/monniaux/packages/csmith-2.3.0/include/csmith-2.3.0 -I/usr/include/csmith -fstruct-passing -fbitfields TARGETS_S=$(shell seq --format src%06.f.ccomp.k1c.s 0 $(MAX)) TARGETS_C=$(shell seq --format src%06.f.c 0 $(MAX)) -- cgit From c40a3f4d1a5143dd9148d1d58b9fcb2a6a40340e Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Tue, 9 Jul 2019 16:36:02 +0200 Subject: Fix for csmith --- test/monniaux/csmith/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'test/monniaux/csmith') diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile index 37c560d6..3c748c62 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -1,8 +1,8 @@ -CSMITH=csmith +CSMITH?=/local/monniaux/packages/csmith-2.3.0/bin/csmith MAX=1000 include ../rules.mk -K1C_CCOMPFLAGS+=-I/local/monniaux/packages/csmith-2.3.0/include/csmith-2.3.0 -I/usr/include/csmith -fstruct-passing -fbitfields +K1C_CCOMPFLAGS+=-I/local/monniaux/packages/csmith-2.3.0/include/csmith-2.3.0 -fstruct-passing -fbitfields TARGETS_S=$(shell seq --format src%06.f.ccomp.k1c.s 0 $(MAX)) TARGETS_C=$(shell seq --format src%06.f.c 0 $(MAX)) -- cgit