These are skipped for now. There is a memory leak in the interpreter, causing OOM errors. <img width="1060" height="136" alt="Image" src="https://github.com/user-attachments/assets/6f820c47-834b-4947-a052-215bd5e49e03" /> _Originally posted by @anvacaru in https://github.com/runtimeverification/evm-semantics/pull/2831#discussion_r2623499973_
These are skipped for now. There is a memory leak in the interpreter, causing OOM errors.
Originally posted by @anvacaru in #2831 (comment)