replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge pull request #577 from nmanthey/fix-aa-symex 

Remove aa-symex from DIRS variable in Makefile
This commit is contained in:
Daniel Kroening 2017-02-28 17:28:34 -05:00 committed by GitHub
parent 425f8192b5 e33caadeb9
commit 9f6ca1182b
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Makefile
View File

@ -1,7 +1,7 @@
DIRS = ansi-c big-int cbmc cpp goto-cc goto-instrument goto-programs \
goto-symex langapi pointer-analysis solvers util linking xmllang \
assembler analyses java_bytecode aa-path-symex path-symex musketeer \
json cegis goto-analyzer jsil symex goto-diff aa-symex clobber \
assembler analyses java_bytecode path-symex musketeer \
json cegis goto-analyzer jsil symex goto-diff clobber \
memory-models
all: cbmc.dir goto-cc.dir goto-instrument.dir symex.dir goto-analyzer.dir goto-diff.dir