From a69b61e7a1aa0d580c374c3402ccec88291eb466 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <mt@debian.org>
Date: Mon, 16 Jan 2017 09:02:48 -0500
Subject: [PATCH] Make Travis build non-default binaries

We should also detect maintenance problems in those.
---
 .travis.yml | 1 +
 1 file changed, 1 insertion(+)

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