Fixes #65: also add test scripts to CI

csmith-project · Apr 7, 2019 · ba878ca · ba878ca
1 parent 983e793
commit ba878ca
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -38,9 +38,9 @@ language: cpp
 script: >
   CXX=clang++
   CC=clang
-  ./configure &&
+  cmake . &&
   make -j2 &&
-  make check
+  python gen100.py
 
 ###############################################################################
 

diff --git a/gen100.py b/gen100.py
@@ -0,0 +1,6 @@
+import os
+
+for seed in range(100):
+    print("Generating with seed", seed) 
+    os.system("src/csmith -s seed > " + str(seed)+ ".c")
+