PLUGIN: wp
MACRO: WP_SESSION @PTEST_DIR@/@PTEST_NAME@.@PTEST_NUMBER@.session@PTEST_CONFIG@
MACRO: USING_WP_SESSION -wp-session @WP_SESSION@
COMMENT: no need of "-wp-share" in Dune -> Dune finds it automatically
CMD: @frama-c@ -wp -wp-par 1 -wp-msg-key shell -wp-warn-key pedantic-assigns=inactive -wp-report %{dep:@PTEST_SUITE_DIR@/../qualif.report} @PTEST_FILE@
DEPS: env_var:FRAMAC_WP_CACHE env_var:FRAMAC_WP_CACHEDIR
OPT:
