Simplify 25-vla/07-zero-arg-reach params further

sim642 · sim642 · commit e732cd2d48c3 · 2026-05-08T10:35:15.000+03:00
diff --git a/tests/regression/25-vla/07-zero-arg-reach.c b/tests/regression/25-vla/07-zero-arg-reach.c
@@ -1,4 +1,4 @@
-// PARAM: --enable ana.sv-comp.enabled --enable ana.sv-comp.functions --set ana.specification "CHECK( init(main()), LTL(G valid-deref) )"
+// PARAM: --enable ana.arrayoob
 // extracted from SV-COMP task ldv-memsafety/ArraysOfVariableLength2.c
 
 int bar(int b[]) {

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// PARAM: --enable ana.sv-comp.enabled --enable ana.sv-comp.functions --set ana.specification "CHECK( init(main()), LTL(G valid-deref) )"`
	`1`	`+// PARAM: --enable ana.arrayoob`
`2`	`2`	`// extracted from SV-COMP task ldv-memsafety/ArraysOfVariableLength2.c`
`3`	`3`
`4`	`4`	`int bar(int b[]) {`