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 allow-contract-caller command #4589
Add allow-contract-caller command #4589
Conversation
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## feat/pox-4-stateful-property-testing #4589 +/- ##
========================================================================
+ Coverage 83.38% 83.53% +0.14%
========================================================================
Files 471 448 -23
Lines 337958 327197 -10761
Branches 317 0 -317
========================================================================
- Hits 281809 273317 -8492
+ Misses 56141 53880 -2261
+ Partials 8 0 -8 see 125 files with indirect coverage changes Continue to review full report in Codecov by Sentry.
|
This change optimizes the generation of Clarity values for the allowUntilBurnHt property in the AllowContractCallerCommand tests. By directly creating Clarity optional values (none or some(uint)) within the fast-check generator, we remove the need for conditional post-processing. This approach simplifies the test setup and aligns more closely with the intended usage patterns of the Clarity and fast-check libraries.
- Moved `network` from `Stub` (Model) to `Real`, streamlining state management. - `unlockBurnHt` now dynamically calculated, passed via constructor, ensuring alignment with generated `period`. - Utilized `fast-check`'s `chain` for dynamic `unlockBurnHt` calculation, improving test accuracy. - Enforces discipline in constructor use and `check` method validation, highlighting the importance of explicit state and parameter handling for reliable testing.
3e54c0c
to
51a3181
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.
LGTM
Merging into |
d55fc62
into
feat/pox-4-stateful-property-testing
This PR adds the
allow-contract-caller
command to the stateful property testing environment. It is part of #4548 and targetsfeat/pox-4-stateful-property-testing
(#4550).