Solidity: filter more kontrol output - Githubissues

ethereum / hevm

symbolic EVM evaluator

https://hevm.dev

GNU Affero General Public License v3.0

225 stars 46 forks source link

Solidity: filter more kontrol output #443

Closed d-xo closed 7 months ago

d-xo commented 7 months ago

Description

filters even more kontrol output

Checklist

[ ] tested locally
[ ] added automated tests
[ ] updated the docs
[ ] updated the changelog