Skip to content
Snippets Groups Projects
Commit 17dfa482 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[e-acsl] tests: removed option journal-disable

parent d13a1f55
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/tests/test_config_dev
+ 1
− 1
View file @ 17dfa482
......@@ -5,7 +5,7 @@ COMMENT: Default options for `e-acsl-gcc.sh`
MACRO: ROOT_EACSL_GCC_MISC_OPTS -q -X --no-assert-print-data
COMMENT: Default options for the frama-c invocation
MACRO: ROOT_EACSL_GCC_FC_EXTRA -journal-disable -verbose 0
MACRO: ROOT_EACSL_GCC_FC_EXTRA -verbose 0
PLUGIN: E_ACSL eva,scope,variadic rtegen
......
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