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

Corrected regression makefile

Author: Thomas Kiley

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 \

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$
 --