Skip to content
Snippets Groups Projects

Adds installation instructions files

Merged Allan Blanchard requested to merge installation-instructions into master
1 file
+ 12
9
Compare changes
  • Side-by-side
  • Inline
+ 12
9
@@ -81,17 +81,20 @@ title: Frama-C
<div class="swiper-slide">
<div class="sidetext">
<div>
<p>When invoked with the above command-line, Frama-C
<p>When invoked with the command-line: </p>
<pre>frama-c -eva -slevel 10 first.c</pre>
<p>Frama-C
creates an analysis project for the file first.c.
</p>
<p>The <tt>-val</tt> option on the command-line causes the value
analysis plug-in to run and have its results ready
before the interface appears.
<p>The <tt>-eva</tt> option on the command-line causes
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 options that
influence the precision of the value analysis. The
actions of creating new analysis projects and
activating plug-ins can also be done interactively.
<p>The <tt>-slevel</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
interactively.
</p>
</div>
</div>
@@ -100,7 +103,7 @@ title: Frama-C
<div class="swiper-slide">
<div class="sidetext">
<div>
<p>The value analysis plug-in computes sets of possible
<p>The Eva plug-in computes sets of possible
values for every variable at each point of the program.
When providing such results, Frama-C guarantees that the
variable does not take at that point any value other
Loading