From ff90008612a0e37377aac6c3f1e3749cd19fc682 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 9 Sep 2020 09:16:43 +0200
Subject: [PATCH] update Eva options in main page
---
index.html | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/index.html b/index.html
index aa98c7d6..dc9b7d0e 100755
--- a/index.html
+++ b/index.html
@@ -84,7 +84,7 @@ title: Frama-C
<div class="sidetext">
<div>
<p>When invoked with the command-line: </p>
- <pre>frama-c -eva -slevel 10 first.c</pre>
+ <pre>frama-c -eva -eva-precision 1 first.c</pre>
<p>Frama-C
creates an analysis project for the file first.c.
</p>
@@ -92,7 +92,7 @@ title: Frama-C
the Eva plug-in to run and have its results ready
before the interface appears.
</p>
- <p>The <tt>-slevel</tt> option is one of several
+ <p>The <tt>-eva-precision</tt> option is one of several
options that influence the precision of the Eva
plug-in. The actions of creating new analysis
projects and activating plug-ins can also be done
--
GitLab