Merge pull request #446 from tautschnig/extend-travis

Make Travis build non-default binaries
diffblue · Jan 16, 2017 · e97e7aa · e97e7aa
2 parents ece5c34 + a69b61e
commit e97e7aa
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -41,3 +41,4 @@ matrix:
 script:
   - make -C src minisat2-download
   - make -C src CXX=$COMPILER CXXFLAGS="-Wall -O2 -g -Werror -Wno-deprecated-register -pedantic -Wno-sign-compare" -j2 && make -C regression test
+  - make -C src CXX=$COMPILER CXXFLAGS="-Wall -O2 -g -Werror -Wno-deprecated-register -pedantic -Wno-sign-compare" -j2 aa-symex.dir cegis.dir clobber.dir memory-models.dir musketeer.dir