diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2018-07-28 00:31:16 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2018-07-28 00:33:53 +0800 |
| commit | dea0567e065ae9c6909d287d21a45cf3ceac17f3 (patch) | |
| tree | 9895263064b3d33741d750c14312e1698c41f69d /libsolidity/formal | |
| parent | 2794a22d84d05c83bd6e9f57d16a9e66a662812f (diff) | |
| download | dexon-solidity-dea0567e065ae9c6909d287d21a45cf3ceac17f3.tar.gz dexon-solidity-dea0567e065ae9c6909d287d21a45cf3ceac17f3.tar.zst dexon-solidity-dea0567e065ae9c6909d287d21a45cf3ceac17f3.zip | |
Fix unterminated parentheses typo in SMTLib2
Found by @leonardoalt
Diffstat (limited to 'libsolidity/formal')
| -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"; |