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

feat: UbiquityPoolFacet fuzz tests #940

Merged
merged 19 commits into from
Jun 24, 2024
Merged

feat: UbiquityPoolFacet fuzz tests #940

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
a5ddded
test: add skeleton for UbiquityPoolFacet fuzz tests
gitcoindev May 24, 2024
fe834cb
test: assume max collateral ratio between 0 and 1_000_000 (100%)
gitcoindev May 24, 2024
b6e432d
test: set up correct fuzz parameters in testMintDollar_FuzzDollarPric…
gitcoindev May 27, 2024
dc0125c
test: set up correct fuzz parameters in testMintDollar_FuzzDollarAmou…
gitcoindev May 27, 2024
df22fef
chore: increase max_test_rejects to 90000
gitcoindev May 27, 2024
485efe1
test: set correct parameters for collateral and governance slippage fuzz
gitcoindev May 29, 2024
809f149
test: minting fuzz tests parameters tweaks
gitcoindev May 29, 2024
eaa29b3
test: use ABDKMathQuad to fuzz fractional mint
gitcoindev May 30, 2024
222355d
test: add Dollar redeem fuzz tests skeleton
gitcoindev May 30, 2024
e9e0e6c
test: add testRedeemDollar_FuzzDollarPriceUsdTooHigh
gitcoindev Jun 4, 2024
60651d5
test: add redeem fuzz tests InsufficientCollateralAvailable Collatera…
gitcoindev Jun 5, 2024
3a58107
test: add testRedeemDollar_FuzzGovernanceAmountSlippage
gitcoindev Jun 6, 2024
478e4df
test: add testRedeemDollar_FuzzRedemptionDelayBlocks
gitcoindev Jun 6, 2024
ab85a33
test: add testMintDollar_FuzzCorrectDollarAmountMinted
gitcoindev Jun 14, 2024
fce4ecb
test: add testMintDollar_FuzzCorrectDollarAmountRedeemed
gitcoindev Jun 15, 2024
62d4c8a
test: set dollarOutMin>99 at testMintDollar_FuzzDollarAmountSlippage
gitcoindev Jun 16, 2024
320f710
test: increase max_test_rejects for long running fuzz tests
gitcoindev Jun 16, 2024
28e7dd5
chore: move new fuzz tests to separate folders structure
gitcoindev Jun 21, 2024
7dce7be
chore: update import paths after moving fuzz tests
gitcoindev Jun 21, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions packages/contracts/foundry.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -42,3 +42,4 @@ src = 'src/dollar'

[profile.intense.fuzz]
runs = 100000
max_test_rejects = 900000
Loading
Loading