Merge pull request #66 from csmith-project/travis-ci

Fixes #65: also add test scripts to CI
csmith-project · Apr 7, 2019 · 4f540a9 · 4f540a9
2 parents 983e793 + ba878ca
commit 4f540a9
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")
+