Skip to content
Snippets Groups Projects
Commit 9b437bda authored by Julien Signoles's avatar Julien Signoles
Browse files

Merge branch 'fix/andre/doc-rte' into 'master'

[Doc/Rte] remove mentions to -rte-no-all and fix table

See merge request frama-c/frama-c!2314
parents 34107ee8 2cbd5c08
No related branches found
No related tags found
No related merge requests found
......@@ -3,7 +3,6 @@
\newcommand{\cbopen}{\mbox{\tt \{}}
\newcommand{\cbclose}{\mbox{\tt \}}}
\newcommand{\cnn}{\mbox{ISO C99}}
\newcommand{\optnoall}{\mbox{\lstinline|-rte-no-all|}}
\newcommand{\optsigned}{\mbox{\lstinline|-rte-signed|}}
\newcommand{\optnodowncast}{\mbox{\lstinline|-rte-no-downcast|}}
\newcommand{\rte}{\textsf{RTE}\xspace}
......@@ -790,15 +789,15 @@ annotations are not generated twice.
\begin{table}
\begin{center}
\begin{tabular}{|l|l|p{8cm}|}
\begin{tabular}{|l|l|p{4.5cm}|}
\hline
{\bf Option} & {\bf Type (Default)} & {\bf Description} \\
\hline
\lstinline|-warn-unsigned-overflow| & boolean (false) & Generate annotations for
unsigned overflows (not entailed by \lstinline|-rte-all|) \\
unsigned overflows\\
\hline
\lstinline|-warn-unsigned-downcast| & boolean (false) & Generate annotations for
unsigned integer downcast (not entailed by \lstinline|-rte-all|) \\
unsigned integer downcast\\
\hline
\lstinline|-warn-signed-overflow| & boolean (true) & Generate annotations for
signed overflows \\
......@@ -825,7 +824,7 @@ special floats are produced: infinite floats or NaN (by default), only on NaN or
\begin{table}
\begin{center}
\begin{tabular}{|l|l|p{8cm}|}
\begin{tabular}{|l|l|p{7cm}|}
\hline
{\bf Option} & {\bf Type (Default)} & {\bf Description} \\
\hline
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment