mirror of
https://github.com/Z3Prover/z3
synced 2025-07-21 20:02:05 +00:00
na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
e6dc557c68
commit
db02328cf3
1 changed files with 2 additions and 0 deletions
|
@ -878,6 +878,7 @@ namespace qe {
|
||||||
VERIFY(mk_model(mc));
|
VERIFY(mk_model(mc));
|
||||||
in->add(mc.get());
|
in->add(mc.get());
|
||||||
|
|
||||||
|
#if 0
|
||||||
model_ref mdl;
|
model_ref mdl;
|
||||||
model_converter2model(m, mc.get(), mdl);
|
model_converter2model(m, mc.get(), mdl);
|
||||||
|
|
||||||
|
@ -904,6 +905,7 @@ namespace qe {
|
||||||
todo.push_back(to_quantifier(e)->get_expr());
|
todo.push_back(to_quantifier(e)->get_expr());
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
#endif
|
||||||
}
|
}
|
||||||
break;
|
break;
|
||||||
case l_undef:
|
case l_undef:
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue