ethereum / hevm

symbolic EVM evaluator
https://hevm.dev
GNU Affero General Public License v3.0
225 stars 46 forks source link

UnitTest: simplify failure checking for ds-test #440

Closed d-xo closed 7 months ago

d-xo commented 7 months ago

Description

Simplifies the condition that we use for checking failure in symbolic tests. This was initially needed for backwards compatibility reasons, but I think it's been long enough, and any spurious results introduced by this change can be fixed by upgrading ds-test to the latest.

Checklist