diff options
Diffstat (limited to 'src/prop/theory_proxy.h')
-rw-r--r-- | src/prop/theory_proxy.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/prop/theory_proxy.h b/src/prop/theory_proxy.h index 96332217e..5fa133122 100644 --- a/src/prop/theory_proxy.h +++ b/src/prop/theory_proxy.h @@ -71,6 +71,12 @@ class TheoryProxy { */ std::hash_set<Node, NodeHashFunction> d_shared; + /** + * Statistic: the number of replayed decisions (via --replay). + */ + KEEP_STATISTIC(IntStat, d_replayedDecisions, + "prop::theoryproxy::replayedDecisions", 0); + public: TheoryProxy(PropEngine* propEngine, TheoryEngine* theoryEngine, |