mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
initialize best-phase-size #3897
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
33677b9803
commit
b42b329d6c
|
@ -74,6 +74,7 @@ namespace sat {
|
|||
m_par_syncing_clauses(false) {
|
||||
init_reason_unknown();
|
||||
updt_params(p);
|
||||
m_best_phase_size = 0;
|
||||
m_conflicts_since_gc = 0;
|
||||
m_conflicts_since_init = 0;
|
||||
m_next_simplify = 0;
|
||||
|
|
Loading…
Reference in a new issue