Use same spacer parameters as before

This commit is contained in:
Martin Blicha 2023-07-03 16:09:25 +02:00
parent d9dc8f475e
commit 1d60559551

View File

@ -189,7 +189,7 @@ std::string CHCSmtLib2Interface::querySolver(std::string const& _input)
if (m_enabledSolvers.eld)
return "eld";
if (m_enabledSolvers.z3)
return "z3 rlimit=1000000";
return "z3 rlimit=1000000 fp.spacer.q3.use_qgen=true fp.spacer.mbqi=false fp.spacer.ground_pobs=false";
return "";
}();
auto result = m_smtCallback(ReadCallback::kindString(ReadCallback::Kind::SMTQuery) + " " + solverBinary, _input);