diff options
| author | Tim King <taking@cs.nyu.edu> | 2010-11-04 16:28:02 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2010-11-04 16:28:02 +0000 |
| commit | 1d0589ccd630f9ba5a6a253958c4901fca9282fd (patch) | |
| tree | 1df5f8fac0f57c769ea9d95312e894fa9f34c57a /contrib | |
| parent | 2e56bd5ca2a19ef37486ec1b7a952e3166abad00 (diff) | |
Updates post_mortem.py script to be able to handle certain kinds of crashes and new statistics.
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/post_mortem.py | 25 |
1 files changed, 23 insertions, 2 deletions
diff --git a/contrib/post_mortem.py b/contrib/post_mortem.py index 4a941f1c9..ccba084a5 100644 --- a/contrib/post_mortem.py +++ b/contrib/post_mortem.py @@ -100,7 +100,15 @@ registry["sat::conflicts"] = str2int registry["theory::arith::AssertLowerConflicts"] = str2int registry["theory::arith::AssertUpperConflicts"] = str2int registry["theory::arith::UpdateConflicts"] = str2int -registry["theory::arith::UpdateConflicts"] = str2int +registry["theory::arith::Average#ConstantInPivotRow"] = str2float +registry["theory::arith::AveragePivotLength"] = str2float + +registry["theory::arith::Ejections"] = str2int +registry["theory::arith::UnEjections"] = str2int + +registry["theory::arith::SlackVariables"] = str2int +registry["theory::arith::UserVariables"] = str2int + registry["theory::arith::pivots"] = str2int registry["theory::arith::updates"] = str2int registry["theory::aug_lemma"] = str2int @@ -179,12 +187,25 @@ def handleCoutFile(db, filename): addStat(db, "average_resident_size", time_return[10]) file.close() +ignoreThese = ["Illegal instruction", + "Aborted", + "CVC4 interrupted by timeout.", + "CVC4 suffered a segfault.", + "ssh: Could not resolve hostname", + "Trace/breakpoint trap", + "Segmentation fault"] +def ignoreFault(ln): + for ignore in ignoreThese: + if (ln.find(ignore) != -1): + return True + return False + def handleLine(db, ln): assert ln.strip() != "" if isSatResult(ln): addStat(db,"sat/unsat",ln) - else: + elif (not ignoreFault(ln)): (name,delim,result) = ln.partition(stat_name_delim) assert delim != "" addStat(db, name,result) |