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

[e-acsl:e-acsl-gcc.sh] document new option --then-last in the man page

parent 48d50dd9
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/man/e-acsl-gcc.sh.1
+ 4
− 0
View file @ b5bbfd41
...@@ -232,6 +232,10 @@ executable found in the system path is used. ...@@ -232,6 +232,10 @@ executable found in the system path is used.
separate with a \fB-then\fP the first \fBFrama-C\fP options from the actual separate with a \fB-then\fP the first \fBFrama-C\fP options from the actual
launch of the \fBE-ACSL\fP plugin. launch of the \fBE-ACSL\fP plugin.
.TP .TP
.B --then-last
separate with a \fB-then-last\fP the first \fBFrama-C\fP options from the actual
launch of the \fBE-ACSL\fP plugin.
.TP
.B --e-acsl-extra=\fI<OPTS> .B --e-acsl-extra=\fI<OPTS>
add \fI<OPTS>\fP to the list of options that will be given to the \fBE-ACSL\fP add \fI<OPTS>\fP to the list of options that will be given to the \fBE-ACSL\fP
analysis. Only useful when \fB--then\fP is in use, in which case \fI<OPTS>\fP analysis. Only useful when \fB--then\fP is in use, in which case \fI<OPTS>\fP
......
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