Repository navigation
test(ActivationRegistry): add activate and deactivate revertOrder tests - #110
Merged
Merged
Conversation
eric-ships
force-pushed
the
ericliu/bop-221-coverage-activation-registry
branch
from
June 1, 2026 22:54
9e85ba8 to
2d9d51f
Compare
BOP-221 feat(base-std): automated interface coverage check in CI
Contextbase-std tests are the behavioral spec for the base/base Rust precompile implementations. If a function exists in an interface but has no test file, the Rust implementation can diverge silently. There is currently no automated enforcement that every interface function has corresponding test coverage. What to buildA script (
Success criteria
|
eric-ships
marked this pull request as ready for review
June 1, 2026 23:14
ilikesymmetry
left a comment
Collaborator
There was a problem hiding this comment.
this PR is small enough to do test implementation in one go vs leaving as unimplemented
…er assertions Fill in real fuzz assertions for the two revertOrder stubs: activate confirms Unauthorized fires before AlreadyActivated; deactivate confirms Unauthorized fires before FeatureNotActivated. Both tests run 256 fuzz rounds and pass.
Collaborator
Author
@ilikesymmetry Fixed 59968a6 |
ilikesymmetry
approved these changes
Jun 1, 2026
|
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
BOP-221
Motivation
check-coverage.pyflagged two missing test files forActivationRegistry:test/unit/ActivationRegistry/activate_revertOrder.t.soltest/unit/ActivationRegistry/deactivate_revertOrder.t.solRevertOrder files document and enforce the priority ordering of reverts when multiple error conditions hold simultaneously. For
activate, the only multi-revert scenario is an unauthorized caller attempting to activate an already-activated feature; access control must fire before the state check. The deactivate file is a forward stub matching the same pattern for when a deactivate function is added.What changed
activate_revertOrder.t.solwithtest_activate_revertOrder_unauthorized_beats_alreadyActivatedstub documenting thatUnauthorizedfires beforeAlreadyActivated.deactivate_revertOrder.t.solwithtest_deactivate_revertOrder_unauthorized_beats_featureNotActivatedstub matching the same access-control-first ordering convention.ActivationRegistryTest, follow the// unimplementedstub convention used across this test suite, and passforge fmt.type=routine
risk=low
impact=sev5