fix test order

goblint · Jan 15, 2024 · 8b92e55 · 8b92e55
1 parent 9d441f9
commit 8b92e55
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/tests/regression/63-affeq/12-const_guards.c b/tests/regression/63-affeq/12-const_guards.c
@@ -16,4 +16,4 @@ int main() {
       k = 1;
   }
   __goblint_check(k == 1);
-}
+}
diff --git a/tests/regression/77-lin2vareq/34-svcomp-signextension.c b/tests/regression/77-lin2vareq/34-svcomp-signextension.c
@@ -18,8 +18,9 @@ int main() {
   */
 
   if (signedtounsigned == 4294967295) {
+    // __goblint_check(1); // reachable
     return (-1);
   }
-
+// __goblint_check(0); // NOWARN (unreachable)
   return (0);
 }
diff --git a/...s/regression/63-affeq/19-join_all_cases.c → ...gression/77-lin2vareq/36-join_all_cases.c b/...s/regression/63-affeq/19-join_all_cases.c → ...gression/77-lin2vareq/36-join_all_cases.c
-Original file line number
+Diff line change
@@ Expand Up / @@ -16,4 +16,4 @@ int main() { @@
           k = 1;
       }
       __goblint_check(k == 1);
-    }
+    }