mutabelle reports: parse results out of log file
authorkrauss
Tue Apr 26 09:50:17 2011 +0200 (2011-04-26)
changeset 424728a33a5596ba8
parent 42471 593289343c7d
child 42473 aca720fb3936
mutabelle reports: parse results out of log file
Admin/mira.py
     1.1 --- a/Admin/mira.py	Sat Apr 23 19:41:53 2011 +0200
     1.2 +++ b/Admin/mira.py	Tue Apr 26 09:50:17 2011 +0200
     1.3 @@ -265,8 +265,12 @@
     1.4      except IOError:
     1.5          mutabelle_log = ''
     1.6  
     1.7 +    mutabelle_data = dict(
     1.8 +        (tool, {'counterexample': c, 'no_counterexample': n, 'timeout': t, 'error': e})
     1.9 +        for tool, c, n, t, e in re.findall(r'(\S+)\s+: C: (\d+) N: (\d+) T: (\d+) E: (\d+)', log))
    1.10 +
    1.11      return (return_code == 0 and mutabelle_log != '', extract_isabelle_run_summary(log),
    1.12 -      {'timing': extract_isabelle_run_timing(log)},
    1.13 +      {'mutabelle_results': {theory: mutabelle_data}},
    1.14        {'log': log, 'mutabelle_log': mutabelle_log}, None)
    1.15  
    1.16  @configuration(repos = [Isabelle], deps = [(HOL, [0])])