[Why3-club] [PATCH] New tool proposal: why3stats
dmentre at linux-france.org
Thu Nov 3 10:27:07 CET 2011
2011/11/2 David MENTRE <dmentre at linux-france.org>:
> The only part that I will probably change is that you are gathering
> stats per Why3 file when several files are given on the command line.
> In that case, I would prefer to gather the statistics for all the
Here is a patch that implements that (and also avoids printing several
time the same prover).
Moreover it prints sorted outputs.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 2723 bytes
Desc: not available
More information about the Why3-club