diff --git a/regression/Makefile b/regression/Makefile index 0e791995ec2..d477cd68bdc 100644 --- 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 index 709ad39e859..c344483d7b9 100644 --- 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$ --