Merge pull request #572 from zemanlx/fix/aa-symex-removal

Fix failing travis tests after removal of aa-symex.

Author: Daniel Kroening

.travis.yml

@@ -47,4 +47,4 @@ script:
     make -C src minisat2-download &&
     make -C src CXX=$COMPILER CXXFLAGS="-Wall -O2 -g -Werror -Wno-deprecated-register -pedantic -Wno-sign-compare" -j2 &&
     env UBSAN_OPTIONS=print_stacktrace=1 make -C regression test &&
-    make -C src CXX=$COMPILER CXXFLAGS=$FLAGS -j2 aa-symex.dir cegis.dir clobber.dir memory-models.dir musketeer.dir
+    make -C src CXX=$COMPILER CXXFLAGS=$FLAGS -j2 cegis.dir clobber.dir memory-models.dir musketeer.dir

src/Makefile

@@ -44,8 +44,6 @@ symex.dir: languages goto-programs.dir pointer-analysis.dir \
            goto-symex.dir linking.dir analyses.dir solvers.dir \
            path-symex.dir goto-instrument.dir
 
-aa-symex.dir: symex.dir aa-path-symex.dir
-
 # building for a particular directory
 
 $(patsubst %, %.dir, $(DIRS)):