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

Disallow unknown operators.

Browse Source
This commit is contained in:
chriseth 2022-05-10 08:44:55 +02:00
parent 6bd09ba9d5
commit f940e1f9e7
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
libsolutil/BooleanLP.cpp
View File

@ -202,7 +202,10 @@ void BooleanLPSolver::addAssertion(Expression const& _expr)
else if (_expr.name == ">")
addAssertion(_expr.arguments.at(1) < _expr.arguments.at(0));
else
{
cout << "Unknown operator " << _expr.name << endl;
solAssert(false);
}
}