Merge pull request #3642 from leonardoalt/fix_z3-46

Add z3 performance option
2023-10-03 13:03:40 +00:00 · 2018-03-05 12:13:39 +01:00
parent 6dc137317f 5d74b862a3
commit cd6ffbdf79
1 changed files with 1 additions and 0 deletions
@@ -28,6 +28,7 @@ using namespace dev::solidity::smt;
 Z3Interface::Z3Interface():
 	m_solver(m_context)
 {
+	z3::set_param("rewriter.pull_cheap_ite", true);
 }

 void Z3Interface::reset()