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

Merge branch 'fix/eva/manual' into 'master'

[Eva] User manual: fixes the parameter names used in examples/parametrizing.

See merge request frama-c/frama-c!2907
parents f35e8676 6f55f295
...@@ -29,13 +29,13 @@ clean: ...@@ -29,13 +29,13 @@ clean:
%.log: SOURCE = $(word 1,$(subst ., ,$*)).c %.log: SOURCE = $(word 1,$(subst ., ,$*)).c
$(TARGETS) : %.log: $$(SOURCE) $(FRAMAC) $(MAKEFILE_LIST) $(TARGETS) : %.log: $$(SOURCE) $(FRAMAC) $(MAKEFILE_LIST)
$(FRAMAC) $(FCFLAGS) -val $< > $@ $(FRAMAC) $(FCFLAGS) -eva $< > $@
global-initial-values.log: FCFLAGS += -lib-entry global-initial-values.log: FCFLAGS += -lib-entry
context-depth%.log: FCFLAGS += -lib-entry context-depth%.log: FCFLAGS += -lib-entry
context-depth.2.log: FCFLAGS += -context-width 1 -context-depth 1 context-depth.2.log: FCFLAGS += -eva-context-width 1 -eva-context-depth 1
context-depth.3.log: FCFLAGS += -context-width 1 -context-depth 1 -context-valid-pointers context-depth.3.log: FCFLAGS += -eva-context-width 1 -eva-context-depth 1 -eva-context-valid-pointers
slevel.1.log: FCFLAGS += -slevel 55 slevel.1.log: FCFLAGS += -eva-slevel 55
slevel.2.log: FCFLAGS += -slevel 28 slevel.2.log: FCFLAGS += -eva-slevel 28
ilevel.2.log: FCFLAGS += -val-ilevel 16 ilevel.2.log: FCFLAGS += -eva-ilevel 16
split-fabs.log: FCFLAGS += -eva-domains equality split-fabs.log: FCFLAGS += -eva-domains equality
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