diff options
| author | Leonardo Alt <leo@ethereum.org> | 2018-08-03 23:04:56 +0800 |
|---|---|---|
| committer | Leonardo Alt <leo@ethereum.org> | 2018-11-23 16:43:49 +0800 |
| commit | f3c2309c736ffcdb84fc133106b05d1be1eda95a (patch) | |
| tree | f17d67ec037f7de5235da7df24a73e3406a52e62 /libsolidity/formal/SMTLib2Interface.cpp | |
| parent | f44be616c96159fca18ad2f9ca4a1c0cb4218490 (diff) | |
| download | dexon-solidity-f3c2309c736ffcdb84fc133106b05d1be1eda95a.tar dexon-solidity-f3c2309c736ffcdb84fc133106b05d1be1eda95a.tar.gz dexon-solidity-f3c2309c736ffcdb84fc133106b05d1be1eda95a.tar.bz2 dexon-solidity-f3c2309c736ffcdb84fc133106b05d1be1eda95a.tar.lz dexon-solidity-f3c2309c736ffcdb84fc133106b05d1be1eda95a.tar.xz dexon-solidity-f3c2309c736ffcdb84fc133106b05d1be1eda95a.tar.zst dexon-solidity-f3c2309c736ffcdb84fc133106b05d1be1eda95a.zip | |
Display better error message in SMTLib2
Diffstat (limited to 'libsolidity/formal/SMTLib2Interface.cpp')
| -rw-r--r-- | libsolidity/formal/SMTLib2Interface.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/libsolidity/formal/SMTLib2Interface.cpp b/libsolidity/formal/SMTLib2Interface.cpp index 80ecc715..3cfa01b1 100644 --- a/libsolidity/formal/SMTLib2Interface.cpp +++ b/libsolidity/formal/SMTLib2Interface.cpp @@ -39,8 +39,8 @@ using namespace dev; using namespace dev::solidity; using namespace dev::solidity::smt; -SMTLib2Interface::SMTLib2Interface(map<h256, string> const& _smtlib2Responses): - m_smtlib2Responses(_smtlib2Responses) +SMTLib2Interface::SMTLib2Interface(map<h256, string> const& _queryResponses): + m_queryResponses(_queryResponses) { reset(); } @@ -215,8 +215,8 @@ vector<string> SMTLib2Interface::parseValues(string::const_iterator _start, stri string SMTLib2Interface::querySolver(string const& _input) { h256 inputHash = dev::keccak256(_input); - if (m_smtlib2Responses.count(inputHash)) - return m_smtlib2Responses.at(inputHash); + if (m_queryResponses.count(inputHash)) + return m_queryResponses.at(inputHash); else { m_unhandledQueries.push_back(_input); |