Skip to content
Snippets Groups Projects
Commit 2951f7fd authored by Andre Maroneze's avatar Andre Maroneze
Browse files

sync with frama-c master

parent bc45b051
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
frama-c @ c32afcc4
Compare 2b7c2f71...c32afcc4
Subproject commit 2b7c2f71f152b9e0758333f31d05bb9300e06ebd
Subproject commit c32afcc4038b1234219137cae196f3f776533d2f
semver/GNUmakefile
+ 1
− 1
View file @ 2951f7fd
......@@ -35,7 +35,7 @@ FCFLAGS += \
# (Optional) Eva-specific flags
EVAFLAGS += \
-eva-warn-key builtins:missing-spec=abort \
-eva-builtin calloc:Frama_C_calloc_fresh \
-eva-alloc-builtin fresh \
-slevel 82 \
# (MANDATORY) Name of the main target
......
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