Fix test so that code of main is not changed to ensure that test case…

… is robust.
goblint · Dec 19, 2022 · 617cb2f · 617cb2f
1 parent ae29b7c
commit 617cb2f
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 5 deletions.
diff --git a/tests/incremental/00-basic/15-reluctant-test.c b/tests/incremental/00-basic/15-reluctant-test.c
@@ -28,7 +28,8 @@ int main(){
 		g = 4;
 		int i = bar();
 
-
+		// At first unreachable, then UNKNOWN!
+		__goblint_check(i == 4);
 	}
 	return x;
 }
diff --git a/tests/incremental/00-basic/15-reluctant-test.patch b/tests/incremental/00-basic/15-reluctant-test.patch
@@ -1,5 +1,5 @@
 diff --git tests/incremental/00-basic/15-reluctant-test.c tests/incremental/00-basic/15-reluctant-test.c
-index eb4c59f6b..5be065852 100644
+index df4739354..a9117d577 100644
 --- tests/incremental/00-basic/15-reluctant-test.c
 +++ tests/incremental/00-basic/15-reluctant-test.c
 @@ -14,8 +14,8 @@ int foo(){
@@ -13,11 +13,11 @@ index eb4c59f6b..5be065852 100644
  	}
  	return r;
  }
-@@ -28,7 +28,7 @@ int main(){
- 		g = 4;
+@@ -29,7 +29,7 @@ int main(){
  		int i = bar();
 
--
+ 		// At first unreachable, then UNKNOWN!
+-		__goblint_check(i == 4);
 +		__goblint_check(i == 4); //UNKNOWN!
  	}
  	return x;