Hack imaxabs CI to debug MacOS

goblint · Oct 16, 2024 · 59006fa · 59006fa
1 parent 2f5b50f
commit 59006fa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/regression/39-signed-overflows/11-imaxabs.c b/tests/regression/39-signed-overflows/11-imaxabs.c
@@ -1,4 +1,4 @@
-//PARAM: --enable ana.int.interval --set ana.activated[+] tmpSpecial
+//PARAM: --enable ana.int.interval --set ana.activated[+] tmpSpecial --enable justcil
 #include<stdlib.h>
 #include <stdint.h>
 #include <inttypes.h>