From 59006fad146ff9f479ddf1ab8156a01c73bed293 Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Wed, 16 Oct 2024 17:00:46 +0300 Subject: [PATCH] Hack imaxabs CI to debug MacOS --- tests/regression/39-signed-overflows/11-imaxabs.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/regression/39-signed-overflows/11-imaxabs.c b/tests/regression/39-signed-overflows/11-imaxabs.c index 47bd26569f..89a807ccee 100644 --- 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 #include #include