From ef8ca205c25e2c37aa99faa5857b6287a7b6e902 Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michael.schwarz93@gmail.com>
Date: Thu, 27 Oct 2022 09:39:53 +0200
Subject: [PATCH] 57/14 add assert that globals have not been invalidated

---
 tests/regression/57-floats/14-isgreater.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tests/regression/57-floats/14-isgreater.c b/tests/regression/57-floats/14-isgreater.c
index ae13ec7ca9..519d4360ac 100644
--- 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;
 }