Modular: Unskip tests that are working.

goblint · Dec 11, 2023 · d105414 · d105414
1 parent dc86b1b
commit d105414
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/tests/regression/79-modular/12-function-call-global-ptrs.c b/tests/regression/79-modular/12-function-call-global-ptrs.c
@@ -1,4 +1,4 @@
-//SKIP PARAM: --set ana.modular.funs "['set_to_new_memory', 'set_to_z']" --set ana.activated[+] "'modular_queries'" --set ana.activated[+] "'is_modular'" --set ana.activated[+] "'written'" --set ana.activated[+] "'read'"  --set ana.activated[+] "'used_globals'"
+//PARAM: --set ana.modular.funs "['set_to_new_memory', 'set_to_z']" --set ana.activated[+] "'modular_queries'" --set ana.activated[+] "'is_modular'" --set ana.activated[+] "'written'" --set ana.activated[+] "'read'"  --set ana.activated[+] "'used_globals'"
 #include<goblint.h>
 #include<stdlib.h>
 

diff --git a/tests/regression/79-modular/20-arrays-top.c b/tests/regression/79-modular/20-arrays-top.c
@@ -1,4 +1,4 @@
-//SKIP PARAM: --enable modular --enable ana.modular.auto-funs --set ana.activated[+] "'modular_queries'" --set ana.activated[+] "'is_modular'" --set ana.activated[+] "'written'" --set ana.activated[+] "'read'"  --set ana.activated[+] "'used_globals'"
+//PARAM: --enable modular --enable ana.modular.auto-funs --set ana.activated[+] "'modular_queries'" --set ana.activated[+] "'is_modular'" --set ana.activated[+] "'written'" --set ana.activated[+] "'read'"  --set ana.activated[+] "'used_globals'"
 #include <stdlib.h>
 #include <goblint.h>
 

diff --git a/tests/regression/79-modular/25-malloced-block.c b/tests/regression/79-modular/25-malloced-block.c
@@ -1,4 +1,4 @@
-//SKIP PARAM: --enable modular --enable ana.modular.auto-funs --set ana.activated[+] "'modular_queries'" --set ana.activated[+] "'is_modular'" --set ana.activated[+] "'written'" --set ana.activated[+] "'read'"  --set ana.activated[+] "'used_globals'" --enable ana.int.interval
+//PARAM: --enable modular --enable ana.modular.auto-funs --set ana.activated[+] "'modular_queries'" --set ana.activated[+] "'is_modular'" --set ana.activated[+] "'written'" --set ana.activated[+] "'read'"  --set ana.activated[+] "'used_globals'" --enable ana.int.interval
 #include<goblint.h>
 #include<stdlib.h>