Remove --set exp.architecture 32bit from regression test

karoliineh · karoliineh · commit 02678f41606e · 2025-02-12T19:26:23.000+02:00
diff --git a/tests/regression/74-invalid_deref/32-dll2c_append_equal-mini.c b/tests/regression/74-invalid_deref/32-dll2c_append_equal-mini.c
@@ -1,4 +1,4 @@
-// PARAM: --set ana.activated[+] memOutOfBounds --set exp.architecture 32bit --enable ana.sv-comp.enabled --set ana.specification "CHECK( init(main()), LTL(G valid-deref) )"
+// PARAM: --set ana.activated[+] memOutOfBounds
 // Minimized version of SV-COMP task list-simple/dll2c_append_equal.i
 #include <stdlib.h>
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// PARAM: --set ana.activated[+] memOutOfBounds --set exp.architecture 32bit --enable ana.sv-comp.enabled --set ana.specification "CHECK( init(main()), LTL(G valid-deref) )"`
	`1`	`+// PARAM: --set ana.activated[+] memOutOfBounds`
`2`	`2`	`// Minimized version of SV-COMP task list-simple/dll2c_append_equal.i`
`3`	`3`	`#include <stdlib.h>`
`4`	`4`