of course add lin2vareq here

DrMichaelPetter · DrMichaelPetter · commit b2b351958dea · 2024-12-19T11:30:04.000+01:00
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
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-//SKIP PARAM: --enable ana.int.interval --set sem.int.signed_overflow assume_none`
	`1`	`+//SKIP PARAM: --enable ana.int.interval --set sem.int.signed_overflow assume_none --set ana.activated[+] lin2vareq`
`2`	`2`	`// motivated from SVCOMP's terminator_02-1.c`
`3`	`3`	`// checks, whether the lin2var interval refinement meddles with the wrong bounds`
`4`	`4`