diff --git a/regression/goto-cc-cbmc/regenerate-entry-function/main.c b/regression/goto-cc-cbmc/regenerate-entry-function/main.c
index 644ef1eb086..cdde8631a7c 100644
--- a/regression/goto-cc-cbmc/regenerate-entry-function/main.c
+++ b/regression/goto-cc-cbmc/regenerate-entry-function/main.c
@@ -1,23 +1,11 @@
+#include <assert.h>
+
 int fun(int x)
 {
-	if(x > 0)
-	{
-		return x * x;
-	}
-	else
-	{
-		return x;
-	}
+  assert(0);
 }
 
 int main(int argc, char** argv)
 {
-	if(argc>4)
-	{
-		return 0;
-	}
-	else
-	{
-		return 1;
-	}
+  return 0;
 }
diff --git a/regression/goto-cc-cbmc/regenerate-entry-function/test.desc b/regression/goto-cc-cbmc/regenerate-entry-function/test.desc
index 1ee374f196c..4735941b0f0 100644
--- a/regression/goto-cc-cbmc/regenerate-entry-function/test.desc
+++ b/regression/goto-cc-cbmc/regenerate-entry-function/test.desc
@@ -1,8 +1,8 @@
 CORE
 main.c
-'--function fun --cover branch'
-^EXIT=0$
+'--function fun'
+^EXIT=10$
 ^SIGNAL=0$
-^x=
+^VERIFICATION FAILED$
 --
 ^warning: ignoring