mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 01:24:08 +00:00
butterfly effect on fp?
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
527bf72d42
commit
141edef0d6
|
@ -86,7 +86,7 @@ namespace sat {
|
|||
m_cuber = nullptr;
|
||||
m_local_search = nullptr;
|
||||
m_mc.set_solver(this);
|
||||
mk_var(false, false);
|
||||
//mk_var(false, false);
|
||||
}
|
||||
|
||||
solver::~solver() {
|
||||
|
@ -138,7 +138,7 @@ namespace sat {
|
|||
m_qhead = 0;
|
||||
m_trail.reset();
|
||||
m_scopes.reset();
|
||||
mk_var(false, false);
|
||||
//mk_var(false, false);
|
||||
|
||||
if (src.inconsistent()) {
|
||||
set_conflict();
|
||||
|
|
Loading…
Reference in a new issue