List KEVM as using this test suite - Githubissues

ethereum / tests

Common tests for all Ethereum implementations

MIT License

557 stars 319 forks source link

List KEVM as using this test suite #1374

Closed ehildenb closed 5 months ago

ehildenb commented 5 months ago

KEVM has been using this test suite for a very long time, but isn't listed:

Repo: https://github.com/runtimeverification/evm-semantics/
Path: tests/ethereum-tests
CI Job running them: https://github.com/runtimeverification/evm-semantics/blob/7b8e3b0c1c65cb3a297bde457bb1ae0ff2740547/.github/workflows/test-pr.yml#L82
Example CI run: https://github.com/runtimeverification/evm-semantics/actions/runs/9119190935/job/25078302837

winsvega commented 5 months ago

https://github.com/ethereum/tests/pull/1376