diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2018-07-28 00:34:13 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-28 00:34:13 +0800 |
| commit | e56a88be37079f27dc999e4c32446958de88be99 (patch) | |
| tree | 9895263064b3d33741d750c14312e1698c41f69d | |
| parent | 2794a22d84d05c83bd6e9f57d16a9e66a662812f (diff) | |
| parent | dea0567e065ae9c6909d287d21a45cf3ceac17f3 (diff) | |
| download | dexon-solidity-e56a88be37079f27dc999e4c32446958de88be99.tar dexon-solidity-e56a88be37079f27dc999e4c32446958de88be99.tar.gz dexon-solidity-e56a88be37079f27dc999e4c32446958de88be99.tar.bz2 dexon-solidity-e56a88be37079f27dc999e4c32446958de88be99.tar.lz dexon-solidity-e56a88be37079f27dc999e4c32446958de88be99.tar.xz dexon-solidity-e56a88be37079f27dc999e4c32446958de88be99.tar.zst dexon-solidity-e56a88be37079f27dc999e4c32446958de88be99.zip | |
Merge pull request #4604 from ethereum/smtlib-typo
Fix unterminated parentheses typo in SMTLib2
| -rw-r--r-- | libsolidity/formal/SMTLib2Interface.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libsolidity/formal/SMTLib2Interface.cpp b/libsolidity/formal/SMTLib2Interface.cpp index d9ea6df6..8cac3cc6 100644 --- a/libsolidity/formal/SMTLib2Interface.cpp +++ b/libsolidity/formal/SMTLib2Interface.cpp @@ -143,7 +143,7 @@ string SMTLib2Interface::checkSatAndGetValuesCommand(vector<Expression> const& _ { auto const& e = _expressionsToEvaluate.at(i); solAssert(e.sort == Sort::Int || e.sort == Sort::Bool, "Invalid sort for expression to evaluate."); - command += "(declare-const |EVALEXPR_" + to_string(i) + "| " + (e.sort == Sort::Int ? "Int" : "Bool") + "\n"; + command += "(declare-const |EVALEXPR_" + to_string(i) + "| " + (e.sort == Sort::Int ? "Int" : "Bool") + ")\n"; command += "(assert (= |EVALEXPR_" + to_string(i) + "| " + toSExpr(e) + "))\n"; } command += "(check-sat)\n"; |