From a8c1b61774a70376074fa31fdde84f53eb9bc00a Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Sun, 16 Dec 2007 14:19:01 +0000 Subject: [PATCH] Bug fixed: \n prevented recognition. --- helm/software/matita/bench_summary.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/helm/software/matita/bench_summary.py b/helm/software/matita/bench_summary.py index cbf877bfe..64f3ad39d 100755 --- a/helm/software/matita/bench_summary.py +++ b/helm/software/matita/bench_summary.py @@ -11,6 +11,7 @@ stats['mistakes'] = [] stats['undetected'] = [] for line in open(sys.argv[1]): + line = line.rstrip() if line[0] == '#': continue cols = line.split('|') @@ -69,7 +70,7 @@ print format_stat('undetected') print r'\hline' print format_stat('total') print r'\\' -print r'%-15s & %6.1f & \\' % ('spurious avg', +print r'%-15s & %6.1f & \\' % ('spurious average', float(stats['spurious']['tot']) / len(stats['precise'])) print r'%-15s & %6d & \\' % ('spurious max', float(stats['spurious']['max'])) -- 2.39.2