wrong test condition

goblint · Dec 17, 2024 · ba198c9 · ba198c9
1 parent 18effef
commit ba198c9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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;
 }