-
Notifications
You must be signed in to change notification settings - Fork 111
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
[DON'T MERGE] Machine-converted EOF validation tests #1169
base: main
Are you sure you want to change the base?
Conversation
My only comment about all of these tests is that, the more So I think we could limit adding these to only adding the ones that are really bumping the coverage IMO. |
I never wanted to merge this. This is my work in progress conversion TODO list. |
af053e6
to
7bada3a
Compare
9d2054b
to
c249c78
Compare
d3e2d3a
to
8a4105c
Compare
Add test cases for max stack height validation for code sections having at least one RJUMPI instruction. These cases are converted from ethereum/tests.
Add test cases for max stack height validation for code sections having at least one RJUMPV instruction. These cases are converted from ethereum/tests.
8a4105c
to
527174f
Compare
Parametrize and add more test cases for invalid EOF code with RJUMP over an unreachable instruction.
ποΈ Description
π Related Issues
β Checklist
mkdocs serve
locally and verified the auto-generated docs for new tests in the Test Case Reference are correctly formatted.