From ba198c9ec39fb315c16c77856c509fe04c3dc381 Mon Sep 17 00:00:00 2001
From: "Dr. Michael Petter" <petter@in.tum.de>
Date: Tue, 17 Dec 2024 11:13:50 +0100
Subject: [PATCH] wrong test condition

---
 tests/regression/77-lin2vareq/36-refinement-oppositebounds.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/regression/77-lin2vareq/36-refinement-oppositebounds.c b/tests/regression/77-lin2vareq/36-refinement-oppositebounds.c
index 54fc4eb3f0..2af54f62e2 100644
--- a/tests/regression/77-lin2vareq/36-refinement-oppositebounds.c
+++ b/tests/regression/77-lin2vareq/36-refinement-oppositebounds.c
@@ -9,10 +9,10 @@ int main()
   int x;
   if(x<100) 
   {
+    __goblint_check(x<100); //SUCCESS
     x=x;
   }                           
-  __goblint_check(x<100); //UNKNOWN
-  __goblint_check(x>=-2147483647); //FAIL
+  __goblint_check(x>=-2147483647); //UNKNOWN
   return 0;
 }