mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-13 16:06:39 +00:00
Code Activity

fix #3799

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2020-04-06 19:51:59 -07:00
parent 94539c0d04
commit b954e0d64b
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/muz/bmc/dl_bmc_engine.cpp
View file

@ -1530,7 +1530,7 @@ namespace datalog {
}
void bmc::collect_statistics(statistics& st) const {
m_solver->collect_statistics(st);
if (m_solver) m_solver->collect_statistics(st);
}
void bmc::reset_statistics() {