Skip to content
Snippets Groups Projects
Commit 6ae02859 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[Tests] adds wp tests (cont. )

parent 5e3e1a87
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/wp/tests/test_config_qualif
+ 1
− 1
View file @ 6ae02859
CMD: @frama-c@ -wp -wp-par 1 -wp-share %{dep:%{read:../../../share}} -wp-msg-key shell -wp-report %{dep:../../qualif.report} -wp-session @PTEST_NAME@.@PTEST_NUMBER@.session -wp-cache-env -wp-cache replay @PTEST_FILE@ -wp-coq-timeout 120 CMD: @frama-c@ -wp -wp-par 1 -wp-share ../../../share -wp-msg-key shell -wp-report %{dep:../../qualif.report} -wp-session @PTEST_NAME@.@PTEST_NUMBER@.session -wp-cache-env -wp-cache replay @PTEST_FILE@ -wp-coq-timeout 120
OPT: OPT:
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment