From c042c12fc4728a3db1f4c619c37108244086d07c Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
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(-)

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