of course add lin2vareq here

goblint · Dec 19, 2024 · b2b3519 · b2b3519
1 parent beece1d
commit b2b3519
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/regression/77-lin2vareq/36-refinement-oppositebounds.c b/tests/regression/77-lin2vareq/36-refinement-oppositebounds.c
@@ -1,4 +1,4 @@
-//SKIP PARAM:  --enable ana.int.interval  --set sem.int.signed_overflow assume_none
+//SKIP PARAM:  --enable ana.int.interval  --set sem.int.signed_overflow assume_none  --set ana.activated[+] lin2vareq
 // motivated from SVCOMP's terminator_02-1.c
 // checks, whether the lin2var interval refinement meddles with the wrong bounds