`hevm equivalence` fails due to dynamic jumptable and hence symbolic `JUMP`
Open
enhancement
- Dominant language
- Haskell
- Stars
- 358
- Forks
- 79
- Avg merge
- 1d 1h
- Merged PRs (30d)
- 6
Description
[a.txt](https://github.com/user-attachments/files/17261920/a.txt)
[b.txt](https://github.com/user-attachments/files/17261923/b.txt)
```
hevm equivalence --code-a <(cat a.txt) --code-b <(cat b.txt)
```
fails with:
```
hevm: Internal Error: invalid hex bytestring for --code -- CallStack (from HasCallStack):
internalError, called at src/EVM/Format.hs:819:10 in hevm-0.53.0-GInGiFSvIMC3zpj6pjAnyV:EVM.Format
CallStack (from HasCallStack):
error, called at src/EVM/Types.hs:1344:19 in hevm-0.53.0-GInGiFSvIMC3zpj6pjAnyV:EVM.Types
internalError, called at src/EVM/Format.hs:819:10 in hevm-0.53.0-GInGiFSvIMC3zpj6pjAnyV:EVM.Format
```
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.