-
Notifications
You must be signed in to change notification settings - Fork 293
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
test: Declarative state transition test suite #589
Conversation
062693a
to
383074a
Compare
383074a
to
1087c53
Compare
{ | ||
static constexpr auto create_address = 0x864bbda5c698ac34b47a9ea3bd4228802cc5ce3b_address; | ||
|
||
pre.get(*tx.to).code = eof1_bytecode(create() + push(1) + OP_SSTORE + OP_STOP, 3); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
the ongoing discussion is wether to have an individual tool that will verify validity of EOF
cause strictly there are EOF codes that are valid, but represent an invalid evm code sequence. so it can't be tested through state transition
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
what are you talking about, what's invalid evm code sequence?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
In eth rnd execution layer testing channel.
1087c53
to
2297703
Compare
Codecov Report
Additional details and impacted files@@ Coverage Diff @@
## master #589 +/- ##
==========================================
+ Coverage 97.21% 97.29% +0.07%
==========================================
Files 74 78 +4
Lines 7571 7640 +69
==========================================
+ Hits 7360 7433 +73
+ Misses 211 207 -4
Flags with carried forward coverage won't be shown. Click here to find out more.
|
f0caaa8
to
4322ecb
Compare
dae0072
to
7d61b6d
Compare
7d61b6d
to
04fd5d8
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good.
d133961
to
9926f46
Compare
Add unit test fixture based on state transition. The fixture is designed in a way the test cases have structure similar to JSON state tests. This should make it easier to export the test cases to JSON format in the future.