From 6f55f295694dfc89f09f0705ba780241d9f098c2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 20 Oct 2020 13:13:30 +0200
Subject: [PATCH] [Eva] User manual: fixes the parameter names used in
 examples/parametrizing.

---
 doc/value/examples/parametrizing/makefile | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/doc/value/examples/parametrizing/makefile b/doc/value/examples/parametrizing/makefile
index 3a3b2ee42d8..70b98e3bff9 100644
--- a/doc/value/examples/parametrizing/makefile
+++ b/doc/value/examples/parametrizing/makefile
@@ -29,13 +29,13 @@ clean:
 
 %.log: SOURCE = $(word 1,$(subst ., ,$*)).c
 $(TARGETS) : %.log: $$(SOURCE) $(FRAMAC) $(MAKEFILE_LIST)
-	$(FRAMAC) $(FCFLAGS) -val $< > $@
+	$(FRAMAC) $(FCFLAGS) -eva $< > $@
 
 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 += -val-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 += -eva-ilevel 16
 split-fabs.log: FCFLAGS += -eva-domains equality
-- 
GitLab