Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

epic: Add ef-tests to the ci #129

Open
Tracked by #37
ClementWalter opened this issue Nov 28, 2024 · 0 comments
Open
Tracked by #37

epic: Add ef-tests to the ci #129

ClementWalter opened this issue Nov 28, 2024 · 0 comments
Assignees
Labels
epic Label an issue with sub issues

Comments

@ClementWalter
Copy link
Member

ClementWalter commented Nov 28, 2024

Why

EF-tests are the only guarantee that an EVM implementation is actually sound.

What

Add an ef-tests runner in the CI.

How

Not sure if we need to still use the kakarot/ef-test repo as there is no need for blockifier, just feeding the data once #39 is done

I'd go for creating a new crate for this with the minimal code required.

⚠ This is blocked by #43

@ClementWalter ClementWalter added the epic Label an issue with sub issues label Nov 28, 2024
@github-project-automation github-project-automation bot moved this to 🆕 Backlog in Kakarot on Starknet Nov 28, 2024
@ClementWalter ClementWalter moved this to Backlog in Keth Nov 28, 2024
@ClementWalter ClementWalter added this to the EF tests no state root milestone Nov 28, 2024
@ClementWalter ClementWalter moved this from Backlog to Todo in Keth Dec 6, 2024
@ClementWalter ClementWalter moved this from Todo to Backlog in Keth Dec 9, 2024
@ClementWalter ClementWalter self-assigned this Dec 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
epic Label an issue with sub issues
Projects
Status: Backlog
Status: 🆕 Backlog
Development

No branches or pull requests

2 participants