cerc-io/solidity
11
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

fix

Browse Source
This commit is contained in:
Leo Alt 2022-05-15 18:58:41 +02:00
parent fc957ee59b
commit 8b31f826cf
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
libsmtutil/CHCSmtLib2Interface.cpp
View File

@ -449,7 +449,8 @@ string CHCSmtLib2Interface::querySolver(string const& _input)
boost::process::child eld(
eldBin,
"-ssol",
"-scex",
//"-scex",
"-cex",
queryFileName,
boost::process::std_out > is
);

2
libsolidity/formal/CHC.cpp
View File

@ -1194,7 +1194,7 @@ void CHC::resetSourceAnalysis()
#endif
if (!usesZ3)
{
solAssert(m_settings.solvers.smtlib2);
solAssert(m_settings.solvers.smtlib2 || m_settings.solvers.eld);
if (!m_interface)
m_interface = make_unique<CHCSmtLib2Interface>(m_smtlib2Responses, m_smtCallback, m_settings.solvers, m_settings.timeout);