Commit c7d41b5e authored by Andre Maroneze's avatar Andre Maroneze 💬
Browse files

sync with frama-c master; avoid deprecated Eva options

parent af0cf8c2
......@@ -25,7 +25,7 @@ FCFLAGS += \
## Eva-specific flags
EVAFLAGS += \
-eva-warn-key builtins:missing-spec=abort \
-slevel 6000 \
-eva-slevel 6000 \
## GUI-only flags
FCGUIFLAGS += \
......
Subproject commit 82ccc1c0c7e8e2d3261b4b7d198fa0ba64173a0b
Subproject commit eb841ff9f52582b05d0a0270d38fcb9d1015fcab
......@@ -29,7 +29,7 @@ FCFLAGS += \
## Eva-specific flags
EVAFLAGS += \
-slevel 4 \
-eva-slevel 4 \
-eva-no-alloc-returns-null \
-eva-no-builtins-auto \
-eva-widening-delay 3 \
......
......@@ -21,7 +21,7 @@ FCFLAGS += \
## Eva-specific flags
EVAFLAGS += \
-slevel 16 \
-eva-slevel 16 \
-eva-domains equality \
## GUI-only flags
......
......@@ -24,7 +24,7 @@ FCFLAGS += \
EVAFLAGS += \
-eva-warn-key builtins:missing-spec=abort \
-eva-no-alloc-returns-null \
-slevel 300 \
-eva-slevel 300 \
## GUI-only flags
FCGUIFLAGS += \
......
......@@ -25,7 +25,7 @@ EVAFLAGS += \
-eva-warn-key builtins:missing-spec=abort \
-eva-no-alloc-returns-null \
-main eva_main \
-slevel 2 \
-eva-slevel 2 \
## GUI-only flags
FCGUIFLAGS += \
......
......@@ -25,7 +25,7 @@ FCFLAGS += \
## Eva-specific flags
EVAFLAGS += \
-slevel 8 \
-eva-slevel 8 \
-eva-split-return auto \
-eva-warn-key signed-overflow=inactive \
-eva-warn-key builtins:missing-spec=abort \
......
......@@ -32,7 +32,7 @@ FCFLAGS += \
## Eva-specific flags
EVAFLAGS += \
-eva-warn-key builtins:missing-spec=abort \
-slevel 1 \
-eva-slevel 1 \
## GUI-only flags
FCGUIFLAGS += \
......
......@@ -24,7 +24,7 @@ FCFLAGS += \
EVAFLAGS += \
-eva-warn-key builtins:missing-spec=abort \
-eva-alloc-builtin fresh \
-slevel 82 \
-eva-slevel 82 \
## GUI-only flags
FCGUIFLAGS += \
......
Markdown is supported
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