treating reverts in hevm equivalence
Open
- Dominant language
- Haskell
- Stars
- 2.1k
- Forks
- 320
- PR merge metrics
- No merged PRs in 30d
Description
I think its not strictly sound to ignore the revert reasons if we want to think of things as composable....
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.