Simplify earlier and don't check reachability for FALSE

ethereum / hevm

symbolic EVM evaluator

https://hevm.dev

GNU Affero General Public License v3.0

235 stars 48 forks source link

Simplify earlier and don't check reachability for FALSE #426

Closed msooseth closed 11 months ago

msooseth commented 12 months ago

Description

We can do a bit more with simplifyProps and we can check for [PBool False] during reachability check, so we don't send a [PBool False] to the solver

Checklist

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