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

[plugin tests] adds some more %{dep:file}

parent c2d7e68b
No related branches found
No related tags found
No related merge requests found
OPT: @PTEST_FILE@ -instantiate -print -check -then -ocode @PTEST_DIR@/result/@PTEST_NAME@.c -print -then -no-instantiate @PTEST_DIR@/result/@PTEST_NAME@.c -ocode="" -print OPT: @PTEST_FILE@ -instantiate -print -check -then -ocode @PTEST_RESULT@/@PTEST_NAME@.c -print -then -no-instantiate @PTEST_RESULT@/@PTEST_NAME@.c -ocode="" -print
OPT: @PTEST_FILE@ -instantiate -print -check -then -ocode @PTEST_DIR@/result/@PTEST_NAME@.c -print -then -no-instantiate @PTEST_DIR@/result/@PTEST_NAME@.c -ocode="" -print OPT: @PTEST_FILE@ -instantiate -print -check -then -ocode @PTEST_RESULT@/@PTEST_NAME@.c -print -then -no-instantiate @PTEST_RESULT@/@PTEST_NAME@.c -ocode="" -print
\ No newline at end of file \ No newline at end of file
PLUGIN: eva,inout,scope markdown_report PLUGIN: eva,inout,scope markdown_report
CMD: @frama-c@ -eva @PTEST_FILE@ -mdr-gen md -mdr-date="now" -mdr-out @PTEST_DIR@/result/@PTEST_NAME@.@PTEST_NUMBER@.md CMD: @frama-c@ -eva @PTEST_FILE@ -mdr-gen md -mdr-date="now" -mdr-out @PTEST_RESULT@/@PTEST_NAME@.@PTEST_NUMBER@.md
LOG: @PTEST_NAME@.@PTEST_NUMBER@.md LOG: @PTEST_NAME@.@PTEST_NUMBER@.md
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment