From 354c81b3e5a246f4075e9f2529472d7ac321d85f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr> Date: Tue, 1 Oct 2019 11:50:59 +0200 Subject: [PATCH] [wp/qualif] use replay mode by default --- src/plugins/wp/Makefile.in | 13 +++++++++++++ src/plugins/wp/tests/test_config_qualif | 2 +- 2 files changed, 14 insertions(+), 1 deletion(-) diff --git a/src/plugins/wp/Makefile.in b/src/plugins/wp/Makefile.in index c4d82ec1dde..b9d1954e66c 100644 --- a/src/plugins/wp/Makefile.in +++ b/src/plugins/wp/Makefile.in @@ -137,6 +137,19 @@ ifeq ($(FRAMAC_INTERNAL),yes) Wp_DEFAULT_TESTS: create_share_link endif +# -------------------------------------------------------------------------- +# --- Qualif Tests --- +# -------------------------------------------------------------------------- + +wp-qualif: ./bin/toplevel.opt ./bin/ptests.opt + ./bin/ptests.opt src/plugins/wp/tests -config qualif -error-code + +wp-qualif-update: ./bin/toplevel.opt ./bin/ptests.opt + FRAMAC_WP_MODE=update ./bin/ptests.opt src/plugins/wp/tests -config qualif -error-code + +wp-qualif-cleanup: ./bin/toplevel.opt ./bin/ptests.opt + FRAMAC_WP_MODE=cleanup ./bin/ptests.opt src/plugins/wp/tests -config qualif -error-code + # -------------------------------------------------------------------------- # --- Dynamic Plugin --- # -------------------------------------------------------------------------- diff --git a/src/plugins/wp/tests/test_config_qualif b/src/plugins/wp/tests/test_config_qualif index 838af174f93..f393582db88 100644 --- a/src/plugins/wp/tests/test_config_qualif +++ b/src/plugins/wp/tests/test_config_qualif @@ -1,3 +1,3 @@ -CMD: @frama-c@ -no-autoload-plugins -load-module wp -wp -wp-par 1 -wp-share ./share -wp-msg-key shell,success-only -wp-report-json @PTEST_DIR@/oracle@PTEST_CONFIG@/@PTEST_NAME@.@PTEST_NUMBER@.report.json:@PTEST_DIR@/result@PTEST_CONFIG@/@PTEST_NAME@.@PTEST_NUMBER@.report.json -wp-report tests/qualif.report -wp-session @PTEST_DIR@/oracle@PTEST_CONFIG@/@PTEST_NAME@.@PTEST_NUMBER@.session -wp-cache offline @PTEST_FILE@ +CMD: @frama-c@ -no-autoload-plugins -load-module wp -wp -wp-par 1 -wp-share ./share -wp-msg-key shell,success-only -wp-report-json @PTEST_DIR@/oracle@PTEST_CONFIG@/@PTEST_NAME@.@PTEST_NUMBER@.report.json:@PTEST_DIR@/result@PTEST_CONFIG@/@PTEST_NAME@.@PTEST_NUMBER@.report.json -wp-report tests/qualif.report -wp-session @PTEST_DIR@/oracle@PTEST_CONFIG@/@PTEST_NAME@.@PTEST_NUMBER@.session -wp-cache replay @PTEST_FILE@ LOG: @PTEST_NAME@.@PTEST_NUMBER@.report.json OPT: -- GitLab