[Why3-club] [PATCH] New tool proposal: why3stats

David MENTRE dmentre at linux-france.org
Thu Nov 3 10:27:07 CET 2011


Hello François,

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
> files,

Here is a patch that implements that (and also avoids printing several
time the same prover).

Moreover it prints sorted outputs.

Best regards,
david
-------------- next part --------------
A non-text attachment was scrubbed...
Name: multiple_files.patch
Type: text/x-patch
Size: 2723 bytes
Desc: not available
URL: <http://lists.gforge.inria.fr/pipermail/why3-club/attachments/20111103/0b05078a/attachment-0001.bin>


More information about the Why3-club mailing list