From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 6 Dec 2007 15:29:52 +0000 (+0000)
Subject: dump spurious errors max
X-Git-Tag: make_still_working~5721
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e89a37eed5c755b8f42433d852d7e4b6c70e7c8a;p=helm.git

dump spurious errors max
---

diff --git a/helm/software/matita/bench_summary.py b/helm/software/matita/bench_summary.py
index 080972ec5..cbf877bfe 100755
--- a/helm/software/matita/bench_summary.py
+++ b/helm/software/matita/bench_summary.py
@@ -71,5 +71,7 @@ print format_stat('total')
 print r'\\'
 print r'%-15s & %6.1f & \\' % ('spurious avg',
         float(stats['spurious']['tot']) / len(stats['precise']))
+print r'%-15s & %6d & \\' % ('spurious max',
+        float(stats['spurious']['max']))
 print r'\hline'