mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

na

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2020-08-30 15:03:15 -07:00
parent 25106866b5
commit bbe027f6a1
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/sat/tactic/goal2sat.cpp
View file

@ -93,7 +93,7 @@ struct goal2sat::imp : public sat::sat_internalizer {
m_ite_extra = p.get_bool("ite_extra", true); m_ite_extra = p.get_bool("ite_extra", true);
m_max_memory = megabytes_to_bytes(p.get_uint("max_memory", UINT_MAX)); m_max_memory = megabytes_to_bytes(p.get_uint("max_memory", UINT_MAX));
m_xor_solver = p.get_bool("xor_solver", false); m_xor_solver = p.get_bool("xor_solver", false);
m_euf = false; m_euf = false; // true;
} }
void throw_op_not_handled(std::string const& s) { void throw_op_not_handled(std::string const& s) {
@ -700,7 +700,6 @@ struct goal2sat::imp : public sat::sat_internalizer {
} }
void operator()(goal const & g) { void operator()(goal const & g) {
g.display(std::cout);
struct scoped_reset { struct scoped_reset {
imp& i; imp& i;
scoped_reset(imp& i) :i(i) {} scoped_reset(imp& i) :i(i) {}