mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
parent
39061d7388
commit
afa34a1c12
|
@ -3579,6 +3579,8 @@ namespace smt {
|
|||
VERIFY(!resolve_conflict());
|
||||
return l_false;
|
||||
}
|
||||
if (get_cancel_flag())
|
||||
return l_undef;
|
||||
timeit tt(get_verbosity_level() >= 100, "smt.stats");
|
||||
reset_model();
|
||||
SASSERT(at_search_level());
|
||||
|
|
Loading…
Reference in a new issue