Merge pull request diffblue#1384 from thk123/bugfix/regresssion-makefile

Corrected regression makefile
smowton · Sep 14, 2017 · f96ff48 · f96ff48
2 parents 4df244c + 4bdd9c4
commit f96ff48
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/regression/Makefile b/regression/Makefile
@@ -7,7 +7,7 @@ DIRS = ansi-c \
        goto-analyzer \
        goto-cc-cbmc \
        goto-cc-goto-analyzer \
-       goto-cc-goto-symex \
+       goto-cc-symex \
        goto-diff \
        goto-gcc \
        goto-instrument \

diff --git a/regression/goto-cc-symex/regenerate-entry-function/test.desc b/regression/goto-cc-symex/regenerate-entry-function/test.desc
@@ -1,7 +1,7 @@
 CORE
 main.c
 "--function fun --show-goto-functions"
-^\s*return.=fun\(x\);$
+fun\(x\);$
 ^EXIT=6$
 ^SIGNAL=0$
 --