search

ethereum / solidity

Solidity, the Smart Contract Programming Language
https://soliditylang.org
GNU General Public License v3.0
22.66k stars 5.62k forks source link

SMTChecker: Add CHC engine check for underflow and overflow in unary minus operation #15135

Closed pgebal closed 1 month ago

pgebal commented 1 month ago

We already have it for BMC. Now we'll have it in CHC too.