57/14 add assert that globals have not been invalidated

goblint · Oct 27, 2022 · ef8ca20 · ef8ca20
1 parent cb1a698
commit ef8ca20
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/tests/regression/57-floats/14-isgreater.c b/tests/regression/57-floats/14-isgreater.c
@@ -2,6 +2,8 @@
 #include <math.h>
 #include <goblint.h>
 
+int g = 8;
+
 int main(void)
 {
     int x = isgreater(2.0, 1.0);
@@ -16,5 +18,8 @@ int main(void)
     __goblint_check(x);
     x = !isgreater(INFINITY, INFINITY);
     __goblint_check(x);
+
+    // Check globals have not been invalidated
+    __goblint_check(g == 8);
     return 0;
 }