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