runtimeverification / runtimeverification/evm-semantics
Investigate conformance tests running out of memory.
Open
Nobody has claimed this yet.
- Dominant language
- KCL
- Stars
- 591
- Forks
- 156
- Avg merge
- 2h 19m
- Merged PRs (30d)
- 1
Description
These are skipped for now. There is a memory leak in the interpreter, causing OOM errors.
Originally posted by @anvacaru in https://github.com/runtimeverification/evm-semantics/pull/2831#discussion_r2623499973
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by locating the skipped conformance tests and the interpreter path responsible for their execution. Investigate the reported memory leak and determine what change prevents the tests from running out of memory; done means the conformance tests can run without OOM errors.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers, testing
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100