diff --git a/.travis.yml b/.travis.yml index df2e5eff3..3e86fa4f8 100644 --- 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 new file mode 100644 index 000000000..cf65220c6 --- /dev/null +++ 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") +