bench: report the size too.

* etc/bench.pl.in ($iterations): Defaults to -3.
	(&bench_grammar): Require hireswallclock.
	Compute and display the size of the result.
	More comments.
This commit is contained in:
Akim Demaille
2008-07-17 15:23:46 +02:00
parent e1b74b92a0
commit d11ee647c3
2 changed files with 35 additions and 5 deletions

View File

@@ -1,3 +1,11 @@
2008-11-03 Akim Demaille <demaille@gostai.com>
bench: report the size too.
* etc/bench.pl.in ($iterations): Defaults to -3.
(&bench_grammar): Require hireswallclock.
Compute and display the size of the result.
More comments.
2008-11-03 Akim Demaille <demaille@gostai.com>
bench: More use of the verbosity level.