Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
e3f873cb
Commit
e3f873cb
authored
Dec 11, 2013
by
François Bobot
Browse files
[Why3session] rename --hist option to --graph, and more explicit --help
parent
33718e00
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/why3session/why3session_info.ml
View file @
e3f873cb
...
...
@@ -36,8 +36,9 @@ let spec =
" edited proof scripts in the session"
)
::
(
"--stats"
,
Arg
.
Set
opt_stats_print
,
" prints various proofs statistics"
)
::
(
"--hist"
,
Arg
.
Set
opt_hist_print
,
" outputs a histogram of external proof results"
)
::
(
"--graph"
,
Arg
.
Set
opt_hist_print
,
" outputs a graph of the total time needed for \
proving a given number of goals for each provers"
)
::
(
"--tree"
,
Arg
.
Set
opt_tree_print
,
" session contents as a tree in textual format"
)
::
(
"--dir"
,
Arg
.
Set
opt_project_dir
,
...
...
@@ -403,6 +404,8 @@ let print_hist stats =
"
\"
%s
\"
using 2:1 title
\"
%s
\"
with linespoints ps 0.2@
\n
"
pf
(
string_of_prover
p
);
let
fmt
=
formatter_of_out_channel
ch
in
(** The time is also accumulated in order to obtain the total cpu time
taken to reach the given number of proved goal *)
let
(
_
:
float
*
int
)
=
Mfloat
.
fold
(
fun
t
c
(
acct
,
accc
)
->
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment