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

Remove duplicate >= in Z3

Browse Source
This commit is contained in:
Alex Beregszaszi 2017-10-17 17:43:58 +01:00
parent 114983e079
commit a71c6faf0f
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
libsolidity/formal/Z3Interface.cpp
View File

@ -118,8 +118,7 @@ z3::expr Z3Interface::toZ3Expr(Expression const& _expr)
{">=", 2}, {">=", 2},
{"+", 2}, {"+", 2},
{"-", 2}, {"-", 2},
{"*", 2}, {"*", 2}
{">=", 2}
}; };
string const& n = _expr.name; string const& n = _expr.name;
if (m_functions.count(n)) if (m_functions.count(n))