diff options
| author | Tim King <taking@cs.nyu.edu> | 2010-06-24 15:12:46 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2010-06-24 15:12:46 +0000 |
| commit | c53cd044fa8c172f11e79c94669c1e08419051d5 (patch) | |
| tree | 9d3b833d986b924d852b2a79601cf5666b7d1c06 /src | |
| parent | 452cf36c789006db5e1202cf06fdc9dbd158f775 (diff) | |
Added post_mortem.py a statistics collector for user with the smt_curnch cluster. Also a spelling correction for the statistic theory::conflict.
Diffstat (limited to 'src')
| -rw-r--r-- | src/theory/theory_engine.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h index bf4d8d10c..c2511f4e6 100644 --- a/src/theory/theory_engine.h +++ b/src/theory/theory_engine.h @@ -335,7 +335,7 @@ private: public: IntStat d_statConflicts, d_statPropagate, d_statLemma, d_statAugLemma, d_statExplanatation; Statistics(): - d_statConflicts("theory::conlficts",0), + d_statConflicts("theory::conflicts",0), d_statPropagate("theory::propagate",0), d_statLemma("theory::lemma",0), d_statAugLemma("theory::aug_lemma", 0), |