Add temporary fix for failing MacOS CI job

goblint · Sep 29, 2023 · 12bee27 · 12bee27
1 parent 5ed769f
commit 12bee27
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/tests/regression/77-mem-oob/06-memset-memcpy-oob.c b/tests/regression/77-mem-oob/06-memset-memcpy-oob.c
@@ -1,4 +1,5 @@
-// PARAM: --set ana.activated[+] memOutOfBounds --enable ana.int.interval
+// PARAM: --set ana.activated[+] memOutOfBounds --enable ana.int.interval --disable warn.info
+// TODO: The "--disable warn.info" part is a temporary fix and needs to be removed once the MacOS CI job is fixed
 #include <stdlib.h>
 #include <string.h>