Skip to content
Snippets Groups Projects
Normal view Permalink
test_config 192 B
Newer Older
Patrick Baudin's avatar
[tests] using PLUGIN directive and -no-autoload-plugins  
Patrick Baudin committed
1 
PLUGIN: eva,inout,scope markdown_report
Patrick Baudin's avatar
[plugin tests] adds some more %{dep:file}  
Patrick Baudin committed
2 
CMD: @frama-c@ -eva @PTEST_FILE@ -mdr-gen md -mdr-date="now" -mdr-out @PTEST_RESULT@/@PTEST_NAME@.@PTEST_NUMBER@.md
Loïc Correnson's avatar
[markdown] refactor example into tests
Loïc Correnson committed
3 
LOG: @PTEST_NAME@.@PTEST_NUMBER@.md