From d1054147f0a8ffb2a72a9222cdbd2d4fa51048f6 Mon Sep 17 00:00:00 2001 From: Julian Erhard Date: Mon, 11 Dec 2023 11:52:07 +0100 Subject: [PATCH] Modular: Unskip tests that are working. --- tests/regression/79-modular/12-function-call-global-ptrs.c | 2 +- tests/regression/79-modular/20-arrays-top.c | 2 +- tests/regression/79-modular/25-malloced-block.c | 2 +- 3 files changed, 3 insertions(+), 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 index be5e500438..3fc9f5bd29 100644 --- 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 #include diff --git a/tests/regression/79-modular/20-arrays-top.c b/tests/regression/79-modular/20-arrays-top.c index 97c4a80cc7..5ed66af259 100644 --- 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 #include diff --git a/tests/regression/79-modular/25-malloced-block.c b/tests/regression/79-modular/25-malloced-block.c index 8c3899f9c6..53441ccf86 100644 --- 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 #include