SMTChecker: Fix error that reports invalid number of verified checks - Githubissues

ethereum / solidity

Solidity, the Smart Contract Programming Language

https://soliditylang.org

GNU General Public License v3.0

22.64k stars 5.61k forks source link

SMTChecker: Fix error that reports invalid number of verified checks #15191

Closed pgebal closed 1 week ago

pgebal commented 2 weeks ago

Solves https://github.com/ethereum/solidity/issues/15188 for BMC egine.