search

ethereum / solidity

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

SMTChecker: add insufficient funds verification target for CHC engine #15086

Closed pgebal closed 1 month ago

pgebal commented 1 month ago

changes:

Closes https://github.com/ethereum/solidity/issues/15015

pgebal commented 1 month ago

This looks good! What else is needed to be ready for review (not draft)?

I had to update a couple tests. Now it's ready for a review/merge.