From e89a37eed5c755b8f42433d852d7e4b6c70e7c8a Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 6 Dec 2007 15:29:52 +0000 Subject: [PATCH] dump spurious errors max --- helm/software/matita/bench_summary.py | 2 ++ 1 file changed, 2 insertions(+) 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' -- 2.39.2