From 4bdd9c4ed61506c3ef146d7dcf7a5aadcbe5f16c Mon Sep 17 00:00:00 2001
From: thk123 <thomas@diffblue.com>
Date: Thu, 14 Sep 2017 11:22:05 +0100
Subject: [PATCH] Corrected regression makefile

The makefile was pointing at the wrong directory, which somehow didn't
cause a CI failure, this corrects that. In doing so realised that the
test was slightly inaccurate, so resolved this issue as well.
---
 regression/Makefile                                          | 2 +-
 regression/goto-cc-symex/regenerate-entry-function/test.desc | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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