diff --git a/.travis.yml b/.travis.yml
index 64ef93f5278..3b52ff7b5df 100644
--- 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