-
Notifications
You must be signed in to change notification settings - Fork 647
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
Add delegate-stack-increase command #4607
Add delegate-stack-increase command #4607
Conversation
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## feat/pox-4-stateful-property-testing #4607 +/- ##
========================================================================
+ Coverage 83.33% 83.37% +0.03%
========================================================================
Files 470 470
Lines 332151 332151
Branches 317 317
========================================================================
+ Hits 276806 276918 +112
+ Misses 55337 55225 -112
Partials 8 8 see 30 files with indirect coverage changes Continue to review full report in Codecov by Sentry.
|
contrib/core-contract-tests/tests/pox-4/pox_DelegateStackIncreaseCommand.ts
Show resolved
Hide resolved
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.
LGTM; just a few comments (naming, types). Awaiting for @friedger's response though I think the assertion you linked is what he meant.
contrib/core-contract-tests/tests/pox-4/pox-4.stateful-prop.test.ts
Outdated
Show resolved
Hide resolved
contrib/core-contract-tests/tests/pox-4/pox_DelegateStackIncreaseCommand.ts
Outdated
Show resolved
Hide resolved
contrib/core-contract-tests/tests/pox-4/pox_DelegateStackIncreaseCommand.ts
Outdated
Show resolved
Hide resolved
#4607 (comment) Co-authored-by: Nikos Baxevanis <nikos.baxevanis@gmail.com>
Merging into |
b33cdfd
into
feat/pox-4-stateful-property-testing
#4607 (comment) Co-authored-by: Nikos Baxevanis <nikos.baxevanis@gmail.com>
… lock period comment #4607 (comment)
#4607 (comment) Co-authored-by: Nikos Baxevanis <nikos.baxevanis@gmail.com>
… lock period comment #4607 (comment)
#4607 (comment) Co-authored-by: Nikos Baxevanis <nikos.baxevanis@gmail.com>
This PR adds the
delegate-stack-increase
command to the stateful property testing environment. It is part of #4548 and targetsfeat/pox-4-stateful-property-testing
(#4550).