diff --git a/index.html b/index.html index aa98c7d686956c719630748d7e2b016822505334..dc9b7d0e2d9fe35b6911188552b2b3ce54560c33 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