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

Fix failing travis tests after removal of aa-symex.
smowton · Feb 27, 2017 · 85e7920 · 85e7920
2 parents 4b11000 + f08ecb7
commit 85e7920
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/.travis.yml b/.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
diff --git a/src/Makefile b/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)):