Merge pull request #797 from goblint/assert-test-fixes

Fix some asserts in tests
goblint · Jul 28, 2022 · 1dcd967 · 1dcd967
2 parents 95ba94f + 0063784
commit 1dcd967
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 8 deletions.
diff --git a/tests/regression/01-cpa/22-null_ptr.c b/tests/regression/01-cpa/22-null_ptr.c
@@ -29,7 +29,7 @@ int main(){
   // filtering out the null pointer possibility
   if (x){
     // __goblint_check(x != 0);
-    __goblint_check(*x = 1);
+    __goblint_check(*x == 1);
     b = 2;
     __goblint_check(*x != 0);
     b = 0;

diff --git a/tests/regression/08-malloc_null/02-paths-malloc.c b/tests/regression/08-malloc_null/02-paths-malloc.c
@@ -40,7 +40,6 @@ int main(void) {
       exit(-1);
   }
 
-  __goblint_check(0); // FAIL
   *u = 40; // NOWARN
   *v = 40; // NOWARN
 

diff --git a/tests/regression/30-fast_global_inits/04-non-zero.c b/tests/regression/30-fast_global_inits/04-non-zero.c
@@ -10,20 +10,20 @@ int main(void) {
   __goblint_check(global_array[1] == 0);  //UNKNOWN
   __goblint_check(global_array[2] == 3);  //UNKNOWN
   __goblint_check(global_array[3] == 42); //UNKNOWN
-  __goblint_check(global_array[3] == 11); //UNKNOWN
+  __goblint_check(global_array[4] == 11); //UNKNOWN
   __goblint_check(global_array[1] == -1); //FAIL
 
   __goblint_check(global_array_multi[0][0] == 9);  //UNKNOWN
   __goblint_check(global_array_multi[0][1] == 0);  //UNKNOWN
   __goblint_check(global_array_multi[0][2] == 3);  //UNKNOWN
   __goblint_check(global_array_multi[0][3] == 42); //UNKNOWN
-  __goblint_check(global_array_multi[0][3] == 11); //UNKNOWN
+  __goblint_check(global_array_multi[0][4] == 11); //UNKNOWN
   __goblint_check(global_array_multi[0][1] == -1); //FAIL
 
   __goblint_check(global_array_multi[1][0] == 9);  //UNKNOWN
   __goblint_check(global_array_multi[1][1] == 0);  //UNKNOWN
   __goblint_check(global_array_multi[1][2] == 3);  //UNKNOWN
   __goblint_check(global_array_multi[1][3] == 42); //UNKNOWN
-  __goblint_check(global_array_multi[1][3] == 11); //UNKNOWN
+  __goblint_check(global_array_multi[1][4] == 11); //UNKNOWN
   __goblint_check(global_array_multi[1][1] == -1); //FAIL
 }
diff --git a/tests/regression/30-fast_global_inits/05-non-zero-performance.c b/tests/regression/30-fast_global_inits/05-non-zero-performance.c
@@ -9,18 +9,18 @@ int main(void) {
   __goblint_check(global_array[1] == 0);  //UNKNOWN
   __goblint_check(global_array[2] == 3);  //UNKNOWN
   __goblint_check(global_array[3] == 42); //UNKNOWN
-  __goblint_check(global_array[3] == 11); //UNKNOWN
+  __goblint_check(global_array[4] == 11); //UNKNOWN
 
   __goblint_check(global_array_multi[0][0] == 9);  //UNKNOWN
   __goblint_check(global_array_multi[0][1] == 0);  //UNKNOWN
   __goblint_check(global_array_multi[0][2] == 3);  //UNKNOWN
   __goblint_check(global_array_multi[0][3] == 42); //UNKNOWN
-  __goblint_check(global_array_multi[0][3] == 11); //UNKNOWN
+  __goblint_check(global_array_multi[0][4] == 11); //UNKNOWN
 
 
   __goblint_check(global_array_multi[1][0] == 9);  //UNKNOWN
   __goblint_check(global_array_multi[1][1] == 0);  //UNKNOWN
   __goblint_check(global_array_multi[1][2] == 3);  //UNKNOWN
   __goblint_check(global_array_multi[1][3] == 42); //UNKNOWN
-  __goblint_check(global_array_multi[1][3] == 11); //UNKNOWN
+  __goblint_check(global_array_multi[1][4] == 11); //UNKNOWN
 }