From d19ecf323bd55131737b0762d74cd6a7a8bf0ca3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Frank=20Sch=C3=BCssele?=
 <schuessf@informatik.uni-freiburg.de>
Date: Thu, 23 Feb 2023 11:02:29 +0100
Subject: [PATCH] Slightly simplify test (#611) This makes the test pass for
 all settings, since it removes non-linear arithmetic.

---
 .../programs/regression/c/NonterminatingForLoopSafe.c         | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/trunk/examples/programs/regression/c/NonterminatingForLoopSafe.c b/trunk/examples/programs/regression/c/NonterminatingForLoopSafe.c
index 56c6a0f7243..a392133cf73 100644
--- 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;
 	}
 }