mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-19 10:52:02 +00:00
Code Activity

include statistics from sub-modules for QF_UFNRA

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2015-06-22 14:01:36 +02:00 • committed by Christoph M. Wintersteiger
parent 238e38eaa2
commit 38113e8434
1 changed files with 10 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/tactic/nlsat_smt/nl_purify_tactic.cpp
View file

@ -676,6 +676,16 @@ public:
m_cancel = f; m_cancel = f;
} }
virtual void collect_statistics(statistics & st) const {
m_nl_tac->collect_statistics(st);
m_solver->collect_statistics(st);
}
virtual void reset_statistics() {
m_nl_tac->reset_statistics();
}
virtual void cleanup() { virtual void cleanup() {
m_solver = mk_smt_solver(m, m_params, symbol::null); m_solver = mk_smt_solver(m, m_params, symbol::null);
m_nl_tac->cleanup(); m_nl_tac->cleanup();