Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Ubiquitypoolfacet fuzz tests #20

Merged
merged 15 commits into from
Jun 15, 2024
Merged

Ubiquitypoolfacet fuzz tests #20

merged 15 commits into from
Jun 15, 2024

Conversation

gitcoindev
Copy link
Owner

Fuzz tests CI qa

gitcoindev added 15 commits May 24, 2024 16:11
@gitcoindev
test: add skeleton for UbiquityPoolFacet fuzz tests
a5ddded 
Base on facet tests. Update according to identified properties.
@gitcoindev
test: assume max collateral ratio between 0 and 1_000_000 (100%)
fe834cb
@gitcoindev
test: set up correct fuzz parameters in testMintDollar_FuzzDollarPric…
b6e432d 
…eUsdTooLow
@gitcoindev
test: set up correct fuzz parameters in testMintDollar_FuzzDollarAmou…
dc0125c 
…ntSlippage
@gitcoindev
chore: increase max_test_rejects to 90000
df22fef 
Avoid too many rejects error in vm.assume fuzz tests.
Described at foundry-rs/foundry#1202
@gitcoindev
test: set correct parameters for collateral and governance slippage fuzz
485efe1 
tests
@gitcoindev
test: minting fuzz tests parameters tweaks
809f149
@gitcoindev
test: use ABDKMathQuad to fuzz fractional mint
eaa29b3
@gitcoindev
test: add Dollar redeem fuzz tests skeleton
222355d
@gitcoindev
test: add testRedeemDollar_FuzzDollarPriceUsdTooHigh
e9e0e6c
@gitcoindev
test: add redeem fuzz tests InsufficientCollateralAvailable Collatera…
60651d5 
…lSlippage
@gitcoindev
test: add testRedeemDollar_FuzzGovernanceAmountSlippage
3a58107
@gitcoindev
test: add testRedeemDollar_FuzzRedemptionDelayBlocks
478e4df
@gitcoindev
test: add testMintDollar_FuzzCorrectDollarAmountMinted
ab85a33
@gitcoindev
test: add testMintDollar_FuzzCorrectDollarAmountRedeemed
fce4ecb
@gitcoindev gitcoindev requested a review from rndquu as a code owner June 15, 2024 19:24
@gitcoindev gitcoindev merged commit cc1408b into development Jun 15, 2024
16 checks passed
@coveralls
Copy link

Coverage Status

coverage: 78.254%. remained the same
when pulling fce4ecb on ubiquitypoolfacet-fuzz-tests
into e4c1fae on development.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@rndquu rndquu Awaiting requested review from rndquu rndquu is a code owner

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@gitcoindev @coveralls