Skip to content
Snippets Groups Projects
Commit 88555f1b authored by Basile Desloges's avatar Basile Desloges
Browse files

[eacsl] Reactivate kernel errors when passing dev tests

parent 49570f38
No related branches found
No related tags found
No related merge requests found
......@@ -9,7 +9,7 @@ MACRO: ROOT_EACSL_GCC_ENABLE yes
COMMENT: Default options for `e-acsl-gcc.sh`
MACRO: ROOT_EACSL_GCC_MISC_OPTS -q -X
COMMENT: Default options for the frama-c invocation
MACRO: ROOT_EACSL_GCC_FC_EXTRA -journal-disable -verbose 0 -kernel-warn-key *=inactive
MACRO: ROOT_EACSL_GCC_FC_EXTRA -journal-disable -verbose 0
COMMENT: Define the following macro in a test to pass extra options to the frama-c invocation
MACRO: ROOT_EACSL_GCC_FC_EXTRA_EXT
COMMENT: Define the following macro in a test to pass extra options to `e-acsl-gcc.sh`
......
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