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

Renaming json fields smtlib2queries and smtlib2responses

Browse Source
This commit is contained in:
Leonardo Alt 2018-08-03 16:48:20 +02:00
parent 54bed454f6
commit f44be616c9
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
libsolidity/interface/StandardCompiler.cpp
View File

@ -322,7 +322,7 @@ Json::Value StandardCompiler::compileInternal(Json::Value const& _input)
Json::Value const& auxInputs = _input["auxiliaryInput"]; Json::Value const& auxInputs = _input["auxiliaryInput"];
if (!!auxInputs) if (!!auxInputs)
{ {
Json::Value const& smtlib2Responses = auxInputs["smtlib2"]; Json::Value const& smtlib2Responses = auxInputs["smtlib2responses"];
if (!!smtlib2Responses) if (!!smtlib2Responses)
for (auto const& hashString: smtlib2Responses.getMemberNames()) for (auto const& hashString: smtlib2Responses.getMemberNames())
{ {
@ -541,7 +541,7 @@ Json::Value StandardCompiler::compileInternal(Json::Value const& _input)
if (!m_compilerStack.unhandledSMTLib2Queries().empty()) if (!m_compilerStack.unhandledSMTLib2Queries().empty())
for (string const& query: m_compilerStack.unhandledSMTLib2Queries()) for (string const& query: m_compilerStack.unhandledSMTLib2Queries())
output["auxiliaryInputRequested"]["smtlib2"]["0x" + keccak256(query).hex()] = query; output["auxiliaryInputRequested"]["smtlib2queries"]["0x" + keccak256(query).hex()] = query;
output["sources"] = Json::objectValue; output["sources"] = Json::objectValue;
unsigned sourceIndex = 0; unsigned sourceIndex = 0;