cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

This z3 option is necessary for good solving performance

Browse Source
This commit is contained in:
Leonardo Alt 2018-03-04 14:41:27 +01:00
parent 7e2f3d3e07
commit 5d74b862a3
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
libsolidity/formal/Z3Interface.cpp
View File

@ -28,6 +28,7 @@ using namespace dev::solidity::smt;
Z3Interface::Z3Interface(): Z3Interface::Z3Interface():
m_solver(m_context) m_solver(m_context)
{ {
z3::set_param("rewriter.pull_cheap_ite", true);
} }
void Z3Interface::reset() void Z3Interface::reset()