Commit 876e35ce authored by Julien Signoles's avatar Julien Signoles
Browse files

Merge branch 'feature/basile/update-plugin-developer-guide' into 'master'

Small updates to the plugin developer guide

See merge request frama-c/frama-c!2549
parents d0491c7a 023932b4
......@@ -1023,7 +1023,7 @@ the sequence above is read in order and defines a configuration level
STDOPT: [[+#-]"opt" ...]
\end{code}
options are always given between quotes. An option following a \texttt{+}
(resp. \texttt{\#} is added to the end (resp. start) of current set of options
(resp. \texttt{\#}) is added to the end (resp. start) of current set of options
while an option following a \texttt{-} is removed from it. The directive can be
empty (meaning that the corresponding test will use the standard set of
options). As with \texttt{OPT}, each \texttt{STDOPT} corresponds to a different
......@@ -2938,9 +2938,9 @@ module Print =
\end{ocamlcode}
So it is a boolean parameter initialized by default to
\texttt{false}. The declared interface for this module is simply
\scodeidx{Parameter\_sig}{Int}
\scodeidx{Parameter\_sig}{Bool}
\begin{ocamlcode}
module Print: Parameter_sig.Int
module Print: Parameter_sig.Bool
\end{ocamlcode}
Another example is the parameter corresponding to the option
......
......@@ -101,8 +101,8 @@ described here may still evolve in the future.
%\addcontentsline{toc}{chapter}{Acknowledgements}
We gratefully thank all the people who contributed to this document: Gergö
Barany, Patrick
Baudin, Richard Bonichon, Pascal Cuoq, Zaynah Dargaye, Florent Garnier,
Barany, Patrick Baudin, Richard Bonichon, Pascal Cuoq, Zaynah Dargaye, Basile
Desloges, Florent Garnier,
Pierre-Loïc Garoche, Philippe Herrmann, Boris Hollas, Nikolaï Kosmatov,
Jean-Christophe Léchenet, André Maroneze, Benjamin Monate, Yannick Moy,
Anne Pacalet, Armand Puccetti, Muriel Roger and Boris
......
......@@ -527,6 +527,7 @@ This enables the creation of a
\texttt{./tests/ptests\_config} file holding the environement needed by
\ptests to run the plug-in's tests by running:
\begin{shell}
\$ mkdir tests
\$ make
<...>
Generating tests/ptests_config
......
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