Slightly simplify test (#611)

This makes the test pass for all settings, since it removes non-linear arithmetic.
ultimate-pa · Feb 23, 2023 · d19ecf3 · d19ecf3
1 parent 8f564c6
commit d19ecf3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/trunk/examples/programs/regression/c/NonterminatingForLoopSafe.c b/trunk/examples/programs/regression/c/NonterminatingForLoopSafe.c
@@ -10,9 +10,9 @@
 
 int main() {
 	int i = 5;
-	int x = 1;
+	int x = 0;
 	for (;;) {
-		i = i * x;
+		i = i + x;
 		//@ assert i == 5;
 	}
 }