fix headers in tests

goblint · Nov 23, 2023 · a7265c8 · a7265c8
1 parent 3087fff
commit a7265c8
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 1 deletion.
diff --git a/tests/regression/39-signed-overflows/07-abs-sqrt.c b/tests/regression/39-signed-overflows/07-abs-sqrt.c
@@ -7,4 +7,4 @@ int main() {
         int result = data * data; //NOWARN
     }
     return 8;
-}
+}
diff --git a/tests/regression/39-signed-overflows/08-labs.c b/tests/regression/39-signed-overflows/08-labs.c
@@ -1,5 +1,7 @@
 //PARAM: --enable ana.int.interval --set ana.activated[+] tmpSpecial
 #include<stdlib.h>
+#include<math.h>
+
 int main() {
     long data;
     if (data > (-0xffffffff - 1))

diff --git a/tests/regression/39-signed-overflows/09-labs-sqrt.c b/tests/regression/39-signed-overflows/09-labs-sqrt.c
@@ -1,5 +1,7 @@
 //PARAM: --enable ana.int.interval --enable ana.float.interval --set ana.activated[+] tmpSpecial
+#include<stdlib.h>
 #include<math.h>
+
 int main() {
     int data;
     if (data > (-0x7fffffff - 1) && llabs(data) < (long)sqrt((double)0x7fffffff))
-Original file line number
+Diff line change
@@ Expand Up / @@ -7,4 +7,4 @@ int main() { @@
             int result = data * data; //NOWARN
         }
         return 8;
-    }
+    }