← Back to branch summary

~tapaal-dist-ctl/verifypn/paper-dist

« back to all changes in this revision

Viewing changes to build/analysis/csv/log_file_parsing.py

  • Committer: MCC-Computer
  • Date: 2016-10-18 13:54:47 UTC
  • mfrom: (326.1.1 master)
  • Revision ID: smni12@student.aau.dk-20161018135447-f32d2hftvw44btts
Merge

Show diffs side-by-side

added added

removed removed

Lines of Context:
build/analysis/csv/log_file_parsing.py
46
46
            value = line_split[-2]
47
47
 
48
48
        elif 'total' in line_split[1].lower():
49
 
            key = 'Total Search Time'
 
49
            key = 'Total Evaluation Time'
50
50
            value = line_split[-2]
51
51
        else:
52
52
            raise Exception(("Unrecognized time field: " + str(line_split)))