From bf1dc44478b557d5e79cc515c0b545e93ac5df61 Mon Sep 17 00:00:00 2001 From: Basile Desloges <basile.desloges@cea.fr> Date: Mon, 27 Apr 2020 17:35:47 +0200 Subject: [PATCH] [eacsl:tests] Replace `test_config_dev` with the use of macros --- src/plugins/e-acsl/tests/builtin/test_config_dev | 5 +---- src/plugins/e-acsl/tests/format/test_config_dev | 5 +---- src/plugins/e-acsl/tests/full-mmodel/test_config_dev | 5 +---- src/plugins/e-acsl/tests/gmp-only/test_config_dev | 5 +---- src/plugins/e-acsl/tests/temporal/test_config_dev | 5 +---- 5 files changed, 5 insertions(+), 20 deletions(-) diff --git a/src/plugins/e-acsl/tests/builtin/test_config_dev b/src/plugins/e-acsl/tests/builtin/test_config_dev index e193ace0766..dc75e26d187 100644 --- a/src/plugins/e-acsl/tests/builtin/test_config_dev +++ b/src/plugins/e-acsl/tests/builtin/test_config_dev @@ -1,4 +1 @@ -MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@ -MACRO: OUT @PTEST_NAME@.res.log -MACRO: ERR @PTEST_NAME@.err.log -EXEC: ./scripts/e-acsl-gcc.sh --libc-replacements -I @frama-c@ -D -q -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.out.e-acsl > /dev/null +MACRO: ROOT_EACSL_GCC_OPTS_EXT --libc-replacements \ No newline at end of file diff --git a/src/plugins/e-acsl/tests/format/test_config_dev b/src/plugins/e-acsl/tests/format/test_config_dev index 939fe34a86e..0f0d286e5bb 100644 --- a/src/plugins/e-acsl/tests/format/test_config_dev +++ b/src/plugins/e-acsl/tests/format/test_config_dev @@ -1,4 +1 @@ -MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@ -MACRO: OUT @PTEST_NAME@.res.log -MACRO: ERR @PTEST_NAME@.err.log -EXEC: ./scripts/e-acsl-gcc.sh --validate-format-strings -I @frama-c@ -q -c -X --frama-c-extra="-verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.out.e-acsl > /dev/null +MACRO: ROOT_EACSL_GCC_OPTS_EXT --validate-format-strings \ No newline at end of file diff --git a/src/plugins/e-acsl/tests/full-mmodel/test_config_dev b/src/plugins/e-acsl/tests/full-mmodel/test_config_dev index 74d1429a832..840cd7e754b 100644 --- a/src/plugins/e-acsl/tests/full-mmodel/test_config_dev +++ b/src/plugins/e-acsl/tests/full-mmodel/test_config_dev @@ -1,4 +1 @@ -MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@ -MACRO: OUT @PTEST_NAME@.res.log -MACRO: ERR @PTEST_NAME@.err.log -EXEC: ./scripts/e-acsl-gcc.sh --full-mmodel -I @frama-c@ -D -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.out.e-acsl > /dev/null +MACRO: ROOT_EACSL_GCC_OPTS_EXT --full-mmodel \ No newline at end of file diff --git a/src/plugins/e-acsl/tests/gmp-only/test_config_dev b/src/plugins/e-acsl/tests/gmp-only/test_config_dev index 9133223039d..bb73475a6fb 100644 --- a/src/plugins/e-acsl/tests/gmp-only/test_config_dev +++ b/src/plugins/e-acsl/tests/gmp-only/test_config_dev @@ -1,4 +1 @@ -MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@ -MACRO: OUT @PTEST_NAME@.res.log -MACRO: ERR @PTEST_NAME@.err.log -EXEC: ./scripts/e-acsl-gcc.sh --gmp -I @frama-c@ -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.out.e-acsl > /dev/null +MACRO: ROOT_EACSL_GCC_OPTS_EXT --gmp \ No newline at end of file diff --git a/src/plugins/e-acsl/tests/temporal/test_config_dev b/src/plugins/e-acsl/tests/temporal/test_config_dev index e30c0a77d61..e86b18769b2 100644 --- a/src/plugins/e-acsl/tests/temporal/test_config_dev +++ b/src/plugins/e-acsl/tests/temporal/test_config_dev @@ -1,5 +1,2 @@ DONTRUN: -MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@ -MACRO: OUT @PTEST_NAME@.res.log -MACRO: ERR @PTEST_NAME@.err.log -EXEC: ./scripts/e-acsl-gcc.sh --temporal -I @frama-c@ -D -q -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.run.c -O @DEST@.out @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.out.e-acsl > /dev/null +MACRO: ROOT_EACSL_GCC_OPTS_EXT --temporal \ No newline at end of file -- GitLab