Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
6f55f295
Commit
6f55f295
authored
Oct 20, 2020
by
David Bühler
Browse files
[Eva] User manual: fixes the parameter names used in examples/parametrizing.
parent
f35e8676
Changes
1
Hide whitespace changes
Inline
Side-by-side
doc/value/examples/parametrizing/makefile
View file @
6f55f295
...
...
@@ -29,13 +29,13 @@ clean:
%.log
:
SOURCE = $(word 1
,
$(subst .
,
,
$*)).c
$(TARGETS)
:
%.log: $$(SOURCE) $(FRAMAC) $(MAKEFILE_LIST)
$(FRAMAC)
$(FCFLAGS)
-va
l
$<
>
$@
$(FRAMAC)
$(FCFLAGS)
-
e
va
$<
>
$@
global-initial-values.log
:
FCFLAGS += -lib-entry
context-depth%.log
:
FCFLAGS += -lib-entry
context-depth.2.log
:
FCFLAGS += -context-width 1 -context-depth 1
context-depth.3.log
:
FCFLAGS += -context-width 1 -context-depth 1 -context-valid-pointers
slevel.1.log
:
FCFLAGS += -slevel 55
slevel.2.log
:
FCFLAGS += -slevel 28
ilevel.2.log
:
FCFLAGS += -va
l
-ilevel 16
context-depth.2.log
:
FCFLAGS +=
-eva
-context-width 1
-eva
-context-depth 1
context-depth.3.log
:
FCFLAGS +=
-eva
-context-width 1
-eva
-context-depth 1
-eva
-context-valid-pointers
slevel.1.log
:
FCFLAGS +=
-eva
-slevel 55
slevel.2.log
:
FCFLAGS +=
-eva
-slevel 28
ilevel.2.log
:
FCFLAGS += -
e
va-ilevel 16
split-fabs.log
:
FCFLAGS += -eva-domains equality
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment