Commit 2bde88bf authored by Patrick Baudin's avatar Patrick Baudin
Browse files

Merge branch 'feature/patrick/doc-wp' into 'master'

[Wp] doc: recalls the name of the default anonymous behavior

Closes #2631

See merge request frama-c/frama-c!3918
parents a3823c75 08a8bff0
......@@ -839,7 +839,8 @@ interface of the programmatic API.
functions \texttt{f$_1$},...,\texttt{f$_n$} (defaults to none).
\item [\tt -wp-bhv <b$_1$,...,b$_n$>] selects annotations for behaviors
\texttt{b$_1$},...\texttt{b$_n$} (defaults to all behaviors) of the
selected functions.
selected functions (the name \texttt{default!} can be used to select
the default anonymous behavior).
\item [\tt -wp-prop <p$_1$,...,p$_n$>] selects properties having
\texttt{p$_1$} or ...\texttt{p$_n$} as tagname (defaults to all
properties). You may also replace a tagname by a
......
......@@ -97,7 +97,7 @@ module Behaviors =
(struct
let option_name = "-wp-bhv"
let arg_name = "b,..."
let help = "Select only properties belonging to listed behaviors."
let help = "Select only properties belonging to listed behaviors (the name \"default!\" can be used to select the default anonymous behavior) of the selected functions (defaults to all behaviors)."
end)
let () = on_reset Behaviors.clear
......
Supports Markdown
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