diff --git a/src/plugins/wp/Makefile.in b/src/plugins/wp/Makefile.in index c4d82ec1ddebe78e7601bcfaebcb2a6a3d6487a3..b9d1954e66c90885377d0a694dabc8257fcbf32b 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 838af174f9304c7c29ae2f637aecb8f9b77290eb..f393582db884e9aee47f4da8f61053bd5b6285a1 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: