Conversation
* feat: initial rwa atoken impl * feat: rwa atoken transfer tests * feat: more rwa atoken transfer tests * fix: address comments * feat: one more test * fix: lint * fix: address comments * Update src/contracts/protocol/libraries/helpers/Errors.sol Co-authored-by: dhairya <55102840+DhairyaSethi@users.noreply.github.com> * feat: add transferOnLiquidation tests * fix: transfer on liquidation restriction * Update src/contracts/protocol/tokenization/RWAAToken.sol Co-authored-by: YBM <yan.bin.man@gmail.com> * Update src/contracts/protocol/tokenization/RWAAToken.sol Co-authored-by: YBM <yan.bin.man@gmail.com> * feat: address comments (forceTransfer) * fix: return in forceTransfer * fix: IRWAAToken docs * feat: rwa liquidation tests * Update tests/protocol/tokenization/RwaATokenTransfers.t.sol Co-authored-by: YBM <yan.bin.man@gmail.com> * Update src/contracts/interfaces/IRWAAToken.sol Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com> * fix: address comments * Update src/contracts/interfaces/IRWAAToken.sol Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com> * feat: support for non-rebasing tokens * fix: v3 tests naming * fix: address comments * feat: rename rwa atoken impl * feat: compute liq calculations * fix: add rwa atoken docs * fix: testing setup fixes * fix: transfer tests * feat: block transferOnLiquidation * fix: address comments * fix: add comment * Update tests/protocol/pool/Pool.Liquidations.Rwa.t.sol Co-authored-by: YBM <yan.bin.man@gmail.com> * Update tests/protocol/pool/Pool.Liquidations.Rwa.t.sol Co-authored-by: YBM <yan.bin.man@gmail.com> * fix: address comments * fix: comment * Update src/contracts/interfaces/IRwaAToken.sol Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com> * Update src/contracts/protocol/tokenization/RwaAToken.sol Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com> * Update tests/protocol/pool/Pool.Liquidations.Rwa.t.sol Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com> * Update src/contracts/protocol/tokenization/RwaAToken.sol Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com> * feat: address comments * fix: existing tests * fix: address comments * fix: address comments * fix: comments * fix: comments * fix: proxy admin assume * feat: update gas report --------- Co-authored-by: dhairya <55102840+DhairyaSethi@users.noreply.github.com> Co-authored-by: YBM <yan.bin.man@gmail.com> Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com>
* feat: initial rwa atoken impl * feat: rwa atoken transfer tests * feat: more rwa atoken transfer tests * fix: address comments * feat: one more test * fix: lint * fix: address comments * Update src/contracts/protocol/libraries/helpers/Errors.sol Co-authored-by: dhairya <55102840+DhairyaSethi@users.noreply.github.com> * feat: add transferOnLiquidation tests * fix: transfer on liquidation restriction * Update src/contracts/protocol/tokenization/RWAAToken.sol Co-authored-by: YBM <yan.bin.man@gmail.com> * Update src/contracts/protocol/tokenization/RWAAToken.sol Co-authored-by: YBM <yan.bin.man@gmail.com> * feat: address comments (forceTransfer) * fix: return in forceTransfer * fix: IRWAAToken docs * feat: rwa liquidation tests * feat: restrict supply onBehalfOf * Update tests/protocol/tokenization/RwaATokenTransfers.t.sol Co-authored-by: YBM <yan.bin.man@gmail.com> * Update src/contracts/interfaces/IRWAAToken.sol Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com> * fix: address comments * Update src/contracts/interfaces/IRWAAToken.sol Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com> * feat: support for non-rebasing tokens * fix: v3 tests naming * fix: address comments * feat: rename rwa atoken impl * feat: restrict supply onBehalfOf * test: add fuzz tests * chore: comments * test: supplyWithPermit fail * test: more scenarios around supplyWIthPermit * chore: pr comments, natspec * fix: resolve override * fix: rename error * feat: compute liq calculations * fix: add rwa atoken docs * fix: testing setup fixes * fix: transfer tests * feat: block transferOnLiquidation * fix: address comments * fix: add comment * Update tests/protocol/pool/Pool.Liquidations.Rwa.t.sol Co-authored-by: YBM <yan.bin.man@gmail.com> * Update tests/protocol/pool/Pool.Liquidations.Rwa.t.sol Co-authored-by: YBM <yan.bin.man@gmail.com> * fix: address comments * fix: comment * Update src/contracts/interfaces/IRwaAToken.sol Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com> * Update src/contracts/protocol/tokenization/RwaAToken.sol Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com> * Update tests/protocol/pool/Pool.Liquidations.Rwa.t.sol Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com> * Update src/contracts/protocol/tokenization/RwaAToken.sol Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com> * feat: address comments * fix: existing tests * fix: address comments * fix: address comments * fix: comments * fix: comments * fix: proxy admin assume * feat: update gas report * chore: pr comments * chore: address pr comments * fix: small refactor --------- Co-authored-by: Alexandru Niculae <43644109+avniculae@users.noreply.github.com> Co-authored-by: dhairya <55102840+DhairyaSethi@users.noreply.github.com> Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com>
…ngTo (#4) * tests: block mintToTreasury * chore: update borrowable on existing test buidl * refactor: approve immediately before repay * fix: mintToTreasury test cleanup * feat: block transferUnderlyingTo * feat: flashloan tests for transferUnderlyingTo * refactor: PoolRwaTests cleanup * fix: address comments * fix: refactor testing setup * fix: add supply test * Update src/contracts/interfaces/IRwaAToken.sol --------- Co-authored-by: Alexandru Niculae <43644109+avniculae@users.noreply.github.com> Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com>
* feat: initial rwa atoken manager impl * feat: rwa atoken manager tests * Update src/contracts/interfaces/IRwaATokenManager.sol Co-authored-by: YBM <yan.bin.man@gmail.com> * Update src/contracts/interfaces/IRwaATokenManager.sol Co-authored-by: YBM <yan.bin.man@gmail.com> * fi: rwa atoken manager docs * Update tests/protocol/configuration/RwaATokenManager.t.sol Co-authored-by: YBM <yan.bin.man@gmail.com> * fix: address comments * fix: comments * fix: address comments * fix: address comments * feat: validate authorizedTransfer validates transfer * fix: compiler warnings * fix: rename transfer roles * Update src/contracts/interfaces/IRwaATokenManager.sol Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com> * Update src/contracts/interfaces/IRwaATokenManager.sol Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com> * Update src/contracts/interfaces/IRwaATokenManager.sol Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com> * Update src/contracts/interfaces/IRwaATokenManager.sol Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com> * fix: rename transfer role * Update src/contracts/misc/RwaATokenManager.sol Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com> * Update src/contracts/interfaces/IRwaATokenManager.sol Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com> * fix: comments --------- Co-authored-by: YBM <yan.bin.man@gmail.com> Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com>
* feat: init docs; final natspec updates * doc: cleanup * chore: address pr comments * chore: pr comments * chore: pr comments
Update with latest v3-origin
* feat: move targeted rwa pool tests * feat: rwa pool tests * feat: rwa tokenization tests * feat: add rwa rescueTokens tests * feat: add rwa gas tests * fix: gas snapshots * fix: address comments * feat: clean up atoken mocks * fix: fn order * fix: address comments * fix: fuzz tests * fix: comment * fix: comments * feat: horizon tests restructure * fix: Fix typo * fix: Fix typo * Update tests/protocol/horizon/Pool.Horizon.t.sol Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com> * Update tests/protocol/horizon/Pool.Horizon.t.sol Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com> * fix: small tests fixes * fix: mock atoken instance cleanup * fix: mocks cleanup * fix: cleanup --------- Co-authored-by: miguelmtzinf <miguelmtz.mail@gmail.com> Co-authored-by: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com>
* fix: [I-02] * fix: [I-03] * fix: [I-05] * fix: [I-06] * fix: import file paths * fix: [I-07] * Update docs/Horizon/Horizon-overview.md Co-authored-by: YBM <yan@avara.xyz> * Update docs/Horizon/Horizon-overview.md Co-authored-by: YBM <yan@avara.xyz> * Update docs/Horizon/Horizon-overview.md Co-authored-by: YBM <yan@avara.xyz> * Update docs/Horizon/Horizon-overview.md Co-authored-by: YBM <yan@avara.xyz> * fix: docs * fix: docs --------- Co-authored-by: YBM <yan@avara.xyz>
* Add Certora formal verification work * fix: Fix typos --------- Co-authored-by: Nissan Levi <124057587+nisnislevi@users.noreply.github.com>
There was a problem hiding this comment.
Verification Results
- Group ID: eb089271-6a12-4bfe-a006-263cf0ee5bed
| Job | Result | VERIFIED | Link |
|---|---|---|---|
| VariableDebtToken.conf | ✅ | 15 | Link |
| UserConfiguration.conf | ✅ | 13 | Link |
| stableRemoved.conf | ✅ | 2 | Link |
| RwaAToken.conf | ✅ | 13 | Link |
| ReserveConfiguration.conf | ✅ | 19 | Link |
| NEW-pool-simple-properties.conf --rule_sanity none --rule cannotBorrowZeroAmount | ✅ | 1 | Link |
| NEW-pool-simple-properties.conf --rule_sanity none --rule cannotBorrowOnReserveDisabledForBorrowing | ✅ | 1 | Link |
| NEW-pool-simple-properties.conf --rule_sanity none --rule cannotBorrowOnInactiveReserve | ✅ | 1 | Link |
| NEW-pool-simple-properties.conf --rule_sanity none --rule cannotBorrowOnFrozenReserve | ✅ | 1 | Link |
| NEW-pool-simple-properties.conf --rule cannotWithdrawZeroAmount | ✅ | 1 | Link |
| NEW-pool-simple-properties.conf --rule cannotWithdrawFromInactiveReserve | ✅ | 1 | Link |
| NEW-pool-simple-properties.conf --rule cannotDepositZeroAmount | ✅ | 1 | Link |
| NEW-pool-simple-properties.conf --rule cannotDepositInInactiveReserve | ✅ | 1 | Link |
| NEW-pool-simple-properties.conf --rule cannotDepositInFrozenReserve | ✅ | 1 | Link |
| NEW-pool-no-summarizations.conf | ✅ | 3 | Link |
| EModeConfiguration.conf | ✅ | 5 | Link |
| AToken.conf | ✅ | 13 | Link |
DhairyaSethi
approved these changes
Aug 21, 2025
There was a problem hiding this comment.
Verification Results
- Group ID: 26252431-af24-4740-8d37-f44b09f5f5c2
| Job | Result | VERIFIED | Link |
|---|---|---|---|
| verifyStataToken.conf --rule totalClaimableRewards_stable | ✅ | 2 | Link |
| verifyStataToken.conf --rule totalAssets_stable | ✅ | 2 | Link |
| verifyStataToken.conf --rule solvency_total_asset_geq_total_supply | ✅ | 2 | Link |
| verifyStataToken.conf --rule solvency_positive_total_supply_only_if_positive_asset | ✅ | 2 | Link |
| verifyStataToken.conf --rule singleAssetAccruedRewards | ✅ | 2 | Link |
| verifyStataToken.conf --rule rewardsTotalDeclinesOnlyByClaim | ✅ | 2 | Link |
| verifyStataToken.conf --rule rewardsConsistencyWhenSufficientRewardsExist | ✅ | 2 | Link |
| verifyStataToken.conf --rule rewardsConsistencyWhenInsufficientRewards | ✅ | 2 | Link |
| verifyStataToken.conf --rule getClaimableRewards_stable | ✅ | 2 | Link |
| verifyStataToken.conf --rule getClaimableRewards_stable_after_refreshRewardTokens | ✅ | 2 | Link |
| verifyStataToken.conf --rule getClaimableRewards_stable_after_deposit | ✅ | 2 | Link |
| verifyStataToken.conf --rule getClaimableRewardsBefore_leq_claimed_claimRewardsOnBehalf | ✅ | 2 | Link |
| verifyERC4626Extended.conf --rule redeemSum | ✅ | 2 | Link |
| verifyERC4626Extended.conf --rule redeemATokensSum | ✅ | 2 | Link |
| verifyERC4626DepositSummarization.conf --rule depositCheckIndexGRayAssert1 depositATokensCheckIndexGRayAssert1 depositWithPermitCheckIndexGRayAssert1 depositCheckIndexERayAssert1 depositATokensCheckIndexERayAssert1 depositWithPermitCheckIndexERayAssert1 | ✅ | 7 | Link |
| verifyERC4626.conf --rule maxMintMustntRevert maxDepositMustntRevert maxRedeemMustntRevert maxWithdrawMustntRevert totalAssetsMustntRevert | ✅ | 6 | Link |
| verifyDoubleClaim.conf --rule prevent_duplicate_reward_claiming_single_reward_sufficient | ✅ | 2 | Link |
| verifyDoubleClaim.conf --rule prevent_duplicate_reward_claiming_single_reward_insufficient | ✅ | 2 | Link |
| verifyAToken.conf --rule aTokenBalanceIsFixed_for_collectAndUpdateRewards aTokenBalanceIsFixed_for_claimRewards aTokenBalanceIsFixed_for_claimRewardsOnBehalf | ✅ | 4 | Link |
| verifyAToken.conf --rule aTokenBalanceIsFixed_for_claimSingleRewardOnBehalf aTokenBalanceIsFixed_for_claimRewardsToSelf | ✅ | 3 | Link |
| tWithPermitCheckIndexGRayAssert2 depositCheckIndexERayAssert2 depositATokensCheckIndexERayAssert2 depositWithPermitCheckIndexERayAssert2 mintCheckIndexGRayUpperBound mintCheckIndexGRayLowerBound mintCheckIndexEqualsRay | ✅ | 10 | Link |
| ToAssetsCheck convertToSharesCheck toAssetsDoesNotRevert sharesConversionRoundedDown toSharesDoesNotRevert previewDepositAmountCheck maxRedeemCompliance maxWithdrawConversionCompliance previewMintIndependentOfAllowance | ✅ | 23 | Link |
| ingRange previewRedeemRoundingRange amountConversionPreserved sharesConversionPreserved accountsJoiningSplittingIsLimited convertSumOfAssetsPreserved previewDepositSameAsDeposit previewMintSameAsMint maxDepositConstant | ✅ | 10 | Link |
🌈 Test ResultsNo files changed, compilation skipped
Ran 20 tests for tests/protocol/configuration/ACLManager.t.sol:ACLManagerTest
[PASS] testDefaultAdminRoleAfterDeploy() (gas: 20689)
[PASS] test_defaultAdmin_grantAdminRole_FlashBorrowAdmin() (gas: 65510)
[PASS] test_defaultAdmin_grants_AssetsListingRole() (gas: 37593)
[PASS] test_defaultAdmin_grants_BridgeRole() (gas: 37659)
[PASS] test_defaultAdmin_grants_EmergencyAdminRole() (gas: 37606)
[PASS] test_defaultAdmin_grants_PoolAdminRole() (gas: 37726)
[PASS] test_defaultAdmin_grants_RiskRole() (gas: 37723)
[PASS] test_defaultAdmin_remove_AssetsListingRole() (gas: 29442)
[PASS] test_defaultAdmin_remove_BridgeRole() (gas: 29531)
[PASS] test_defaultAdmin_remove_EmergencyAdminRole() (gas: 29426)
[PASS] test_defaultAdmin_remove_PoolAdminRole() (gas: 29548)
[PASS] test_defaultAdmin_remove_RiskRole() (gas: 29432)
[PASS] test_flashBorrowAdmin_grantRole_FlashBorrowRole() (gas: 91916)
[PASS] test_flashBorrowAdmin_removeRole_FlashBorrowRole() (gas: 76438)
[PASS] test_remove_riskAdmin() (gas: 29442)
[PASS] test_revert_anyUser_grantAdminRole_FlashBorrowAdmin() (gas: 72851)
[PASS] test_revert_deploy_ACLADMIN_zeroAddress() (gas: 1469924)
[PASS] test_reverts_defaultAdmin_notRoleAdmin_addRole_FlashBorrowRole() (gas: 98836)
[PASS] test_reverts_defaultAdmin_notRoleAdmin_revokeRole_FlashBorrowRole() (gas: 125219)
[PASS] test_reverts_notAdmin_grantRole_FlashBorrow() (gas: 113990)
Suite result: ok. 20 passed; 0 failed; 0 skipped; finished in 8.06ms (2.00ms CPU time)
Ran 18 tests for tests/protocol/pool/Pool.Borrow.t.sol:PoolBorrowTests
[PASS] test_borrow_variable_in_isolation() (gas: 557607)
[PASS] test_reverts_borrow_cap() (gas: 303525)
[PASS] test_reverts_borrow_collateral_balance_zero() (gas: 81484)
[PASS] test_reverts_borrow_collateral_can_not_cover() (gas: 316038)
[PASS] test_reverts_borrow_debt_ceiling() (gas: 649154)
[PASS] test_reverts_borrow_debt_ceiling_exceeded() (gas: 390265)
[PASS] test_reverts_borrow_hf_lt_1() (gas: 564936)
[PASS] test_reverts_borrow_inconsistent_emode_category() (gas: 429768)
[PASS] test_reverts_borrow_invalidAmount() (gas: 64941)
[PASS] test_reverts_borrow_not_borrowable_isolation() (gas: 374498)
[PASS] test_reverts_borrow_reserveFrozen() (gas: 132863)
[PASS] test_reverts_borrow_reserveInactive() (gas: 140844)
[PASS] test_reverts_borrow_reservePaused() (gas: 103564)
[PASS] test_reverts_borrow_sentinel_oracle_down() (gas: 315651)
[PASS] test_reverts_borrow_sioled_borrowing_violation() (gas: 709802)
[PASS] test_reverts_deprecated_stable_borrow() (gas: 406653)
[PASS] test_reverts_variable_borrow_transferred_funds() (gas: 381059)
[PASS] test_variable_borrow() (gas: 347647)
Suite result: ok. 18 passed; 0 failed; 0 skipped; finished in 55.85ms (10.71ms CPU time)
Ran 17 tests for tests/gas/Pool.Operations.gas.t.sol:PoolOperations_gas_Tests
[PASS] test_borrow() (gas: 988860)
[PASS] test_flashLoanSimple() (gas: 640023)
[PASS] test_flashLoan_with_one_asset() (gas: 769228)
[PASS] test_flashLoan_with_one_asset_with_borrowing() (gas: 1199067)
[PASS] test_flashLoan_with_two_assets() (gas: 1098816)
[PASS] test_flashLoan_with_two_assets_with_borrowing() (gas: 1925720)
[PASS] test_liquidationCall_deficit() (gas: 1415409)
[PASS] test_liquidationCall_deficitInAdditionalReserve() (gas: 1800382)
[PASS] test_liquidationCall_full() (gas: 1415520)
[PASS] test_liquidationCall_partial() (gas: 1401393)
[PASS] test_liquidationCall_receive_ATokens_full() (gas: 1391900)
[PASS] test_liquidationCall_receive_ATokens_partial() (gas: 1377533)
[PASS] test_repay() (gas: 1362862)
[PASS] test_repay_with_ATokens() (gas: 1162764)
[PASS] test_supply() (gas: 1861560)
[PASS] test_withdraw() (gas: 807238)
[PASS] test_withdraw_with_active_borrows() (gas: 982650)
Suite result: ok. 17 passed; 0 failed; 0 skipped; finished in 293.35ms (187.13ms CPU time)
Ran 28 tests for tests/invariants/CryticToFoundry.t.sol:CryticToFoundry
[PASS] test_replay_V33_setUserEMode() (gas: 3701776)
[PASS] test_replay_V33_supply() (gas: 2082225)
[PASS] test_replay_V33_transferFrom() (gas: 2561112)
[PASS] test_replay_v33_2liquidationCall() (gas: 2765522)
[PASS] test_replay_v33_2repayWithAtokens() (gas: 2099354)
[PASS] test_replay_v33_2setUserEMode() (gas: 2588993)
[PASS] test_replay_v33_2transfer() (gas: 2103815)
[PASS] test_replay_v33_3liquidationCall() (gas: 2867888)
[PASS] test_replay_v33_assert_BORROWING_HSPOST_C() (gas: 2211520)
[PASS] test_replay_v33_assert_BORROWING_HSPOST_G() (gas: 2607357)
[PASS] test_replay_v33_borrow() (gas: 6400295)
[PASS] test_replay_v33_echidna_BASE_INVARIANT_B() (gas: 3557830)
[PASS] test_replay_v33_echidna_BORROWING_INVARIANT_B() (gas: 7580864)
[PASS] test_replay_v33_echidna_BORROWING_INVARIANT_C() (gas: 19466604)
[PASS] test_replay_v33_eliminateReserveDeficit() (gas: 3557812)
[PASS] test_replay_v33_liquidationCall() (gas: 2280446)
[PASS] test_replay_v33_repayWithATokens() (gas: 2606738)
[PASS] test_replay_v33_setPoolPause() (gas: 3762970)
[PASS] test_replay_v33_setReserveActive() (gas: 2158095)
[PASS] test_replay_v33_supply() (gas: 2727304)
[PASS] test_v32_2_borrow() (gas: 2286442)
[PASS] test_v32_2_liquidationCall() (gas: 2674297)
[PASS] test_v32_borrow() (gas: 2131991)
[PASS] test_v32_liquidationCall() (gas: 2890097)
[PASS] test_v32_mintToTreasury() (gas: 2552053)
[PASS] test_v32_repay() (gas: 1971625)
[PASS] test_v32_setPoolPause() (gas: 4681145)
[PASS] test_v32_withdrawEchidna() (gas: 2120583)
Suite result: ok. 28 passed; 0 failed; 0 skipped; finished in 341.93ms (318.56ms CPU time)
Ran 13 tests for tests/deployments/DeploymentsGasLimits.t.sol:DeploymentsGasLimits
[PASS] test0AaveV3SetupDeployment() (gas: 4759041)
[PASS] test10ConfigEngineDeployment() (gas: 6574845)
[PASS] test11StaticATokenDeployment() (gas: 6703281)
[PASS] test12PeripheralsTreasuryPartner() (gas: 7595730)
[PASS] test1AaveV3GettersBatch1Deployment() (gas: 6573257)
[PASS] test2AaveV3GettersBatch2Deployment() (gas: 2063021)
[PASS] test3AaveV3PoolDeployment() (gas: 8514974)
[PASS] test4AaveV3L2PoolDeployment() (gas: 8765607)
[PASS] test5PeripheralsRelease() (gas: 7109059)
[PASS] test6MiscDeployment() (gas: 1970664)
[PASS] test7ParaswapDeployment() (gas: 5156198)
[PASS] test8SetupMarket() (gas: 2750795)
[PASS] test9TokensMarket() (gas: 5984955)
Suite result: ok. 13 passed; 0 failed; 0 skipped; finished in 17.33ms (6.88ms CPU time)
Ran 22 tests for tests/horizon/AToken.Horizon.t.sol:ATokenHorizonTests
[PASS] test_fuzz_reverts_rwaAToken_approve_OperationNotSupported(address,address,uint256) (runs: 1000, μ: 17642, ~: 17642)
[PASS] test_fuzz_reverts_rwaAToken_authorizedTransfer_CallerNotRwaATokenTransferAdmin(address,address,address,uint256) (runs: 1000, μ: 31544, ~: 31544)
[PASS] test_fuzz_reverts_rwaAToken_authorizedTransfer_NotEnoughBalance(address,address,uint256) (runs: 1000, μ: 98635, ~: 98412)
[PASS] test_fuzz_reverts_rwaAToken_decreaseAllowance_OperationNotSupported(address,address,uint256) (runs: 1000, μ: 17729, ~: 17729)
[PASS] test_fuzz_reverts_rwaAToken_increaseAllowance_OperationNotSupported(address,address,uint256) (runs: 1000, μ: 17640, ~: 17640)
[PASS] test_fuzz_reverts_rwaAToken_permit_OperationNotSupported(address,address,address,uint256,uint256,uint8,bytes32,bytes32) (runs: 1000, μ: 18169, ~: 18169)
[PASS] test_fuzz_reverts_rwaAToken_transferFrom_OperationNotSupported(address,address,address,uint256) (runs: 1000, μ: 17998, ~: 17998)
[PASS] test_fuzz_reverts_rwaAToken_transferOnLiquidation_OperationNotSupported(address,address,address,uint256) (runs: 1000, μ: 17863, ~: 17863)
[PASS] test_fuzz_reverts_rwaAToken_transfer_OperationNotSupported(address,address,uint256) (runs: 1000, μ: 17620, ~: 17620)
[PASS] test_fuzz_rwaAToken_authorizedTransfer_by_rwaATokenTransferAdmin(address,address,uint256) (runs: 1000, μ: 166790, ~: 166796)
[PASS] test_reverts_rwaAToken_approve_OperationNotSupported() (gas: 21705)
[PASS] test_reverts_rwaAToken_authorizedTransfer_CallerNotRwaATokenTransferAdmin() (gas: 37652)
[PASS] test_reverts_rwaAToken_authorizedTransfer_NotEnoughBalance() (gas: 86878)
Logs:
Bound result 101000000
[PASS] test_reverts_rwaAToken_decreaseAllowance_OperationNotSupported() (gas: 21702)
[PASS] test_reverts_rwaAToken_increaseAllowance_OperationNotSupported() (gas: 21681)
[PASS] test_reverts_rwaAToken_permit_OperationNotSupported() (gas: 21997)
[PASS] test_reverts_rwaAToken_transferFrom_OperationNotSupported() (gas: 23930)
[PASS] test_reverts_rwaAToken_transfer_OperationNotSupported() (gas: 21635)
[PASS] test_reverts_rwaAtoken_transferOnLiquidation_OperationNotSupported() (gas: 23862)
[PASS] test_rwaAToken_authorizedTransfer_by_rwaATokenTransferAdmin_all() (gas: 184225)
Logs:
Bound result 100000000
[PASS] test_rwaAToken_authorizedTransfer_by_rwaATokenTransferAdmin_partial() (gas: 180507)
Logs:
Bound result 1
[PASS] test_rwaAToken_authorizedTransfer_by_rwaATokenTransferAdmin_zero() (gas: 150380)
Logs:
Bound result 0
Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 971.17ms (930.09ms CPU time)
Ran 9 tests for tests/gas/AToken.Transfer.gas.t.sol:ATokenTransfer_gas_Tests
[PASS] test_transfer_fullAmount() (gas: 604123)
[PASS] test_transfer_fullAmount_dirtyReceiver() (gas: 1062068)
[PASS] test_transfer_fullAmount_senderCollateralDisabled() (gas: 700037)
[PASS] test_transfer_fullAmount_senderCollateralDisabled_receiverNonZeroFunds() (gas: 1103240)
[PASS] test_transfer_fullAmount_senderCollateralDisabled_receiverNonZeroFunds2() (gas: 1007350)
[PASS] test_transfer_partialAmount() (gas: 700131)
[PASS] test_transfer_partialAmount_receiverNonZeroFunds() (gas: 1103315)
[PASS] test_transfer_partialAmount_senderCollateralEnabled() (gas: 609006)
[PASS] test_transfer_partialAmount_senderCollateralEnabled_receiverNonZeroFunds() (gas: 1012168)
Suite result: ok. 9 passed; 0 failed; 0 skipped; finished in 180.73ms (84.61ms CPU time)
Ran 17 tests for tests/protocol/tokenization-rwa/ATokenEdgeCases.Rwa.t.sol:ATokenEdgeCasesRwaTests
[SKIP: Not applicable to RWAs] testApprove() (gas: 0)
[SKIP: Not applicable to RWAs] testApproveMax() (gas: 0)
[SKIP: Not applicable to RWAs] testApproveWithZeroAddressSpender() (gas: 0)
[PASS] testCheckGetters() (gas: 259921)
[SKIP: Not applicable to RWAs] testDecreaseAllowance() (gas: 0)
[SKIP: Not applicable to RWAs] testIncreaseAllowance() (gas: 0)
[SKIP: Not applicable to RWAs] testIncreaseAllowanceFromZero() (gas: 0)
[SKIP: Not applicable to RWAs] testMintToTreasury_amount_zero() (gas: 0)
[SKIP: Not applicable to RWAs] testTransferFromZeroAmount() (gas: 0)
[PASS] test_burn_zeroAddress() (gas: 259360)
[PASS] test_mintToZeroAddress() (gas: 82518)
[PASS] test_poolAdmin_setIncentivesController() (gas: 35712)
[PASS] test_revert_notAdmin_setIncentivesController() (gas: 40281)
[PASS] test_reverts_burnAmountScaledZero() (gas: 19478)
[PASS] test_reverts_mintAmountScaledZero() (gas: 19798)
[SKIP: Not applicable to RWAs] test_transferFrom_zeroAddress_origin() (gas: 0)
[SKIP: Not applicable to RWAs] test_transfer_amount_MAX_UINT_128() (gas: 0)
Suite result: ok. 7 passed; 0 failed; 10 skipped; finished in 37.20ms (1.97ms CPU time)
Ran 17 tests for tests/protocol/tokenization/ATokenEdgeCases.t.sol:ATokenEdgeCasesTests
[PASS] testApprove() (gas: 45105)
[PASS] testApproveMax() (gas: 45208)
[PASS] testApproveWithZeroAddressSpender() (gas: 42159)
[PASS] testCheckGetters() (gas: 259762)
[PASS] testDecreaseAllowance() (gas: 53034)
[PASS] testIncreaseAllowance() (gas: 53078)
[PASS] testIncreaseAllowanceFromZero() (gas: 48398)
[PASS] testMintToTreasury_amount_zero() (gas: 15793)
[PASS] testTransferFromZeroAmount() (gas: 129523)
[PASS] test_burn_zeroAddress() (gas: 259125)
[PASS] test_mintToZeroAddress() (gas: 82271)
[PASS] test_poolAdmin_setIncentivesController() (gas: 35820)
[PASS] test_revert_notAdmin_setIncentivesController() (gas: 40389)
[PASS] test_reverts_burnAmountScaledZero() (gas: 19433)
[PASS] test_reverts_mintAmountScaledZero() (gas: 19577)
[PASS] test_transferFrom_zeroAddress_origin() (gas: 129334)
[PASS] test_transfer_amount_MAX_UINT_128() (gas: 16460)
Suite result: ok. 17 passed; 0 failed; 0 skipped; finished in 36.67ms (2.67ms CPU time)
Ran 8 tests for tests/protocol/tokenization-rwa/ATokenEvents.Rwa.t.sol:ATokenEventsRwaTests
[PASS] test_atoken_burnEvents_fullBalance() (gas: 563072)
[PASS] test_atoken_burnEvents_multipleWithdrawals_withInterests() (gas: 650691)
[PASS] test_atoken_burnEvents_singleWithdraw_WithInterests() (gas: 573674)
[PASS] test_atoken_burnEvents_singleWithdraw_noInterests() (gas: 2358721)
[PASS] test_atoken_burnEvents_withdrawAmountLessThanInterests() (gas: 576522)
[PASS] test_atoken_mintEvents_firstSupply() (gas: 2371530)
[PASS] test_atoken_mintEvents_supplyAfterBorrow() (gas: 629294)
[PASS] test_mintToTreasury_events() (gas: 90151)
Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 44.13ms (9.21ms CPU time)
Ran 8 tests for tests/protocol/tokenization/ATokenEvents.t.sol:ATokenEventsTests
[PASS] test_atoken_burnEvents_fullBalance() (gas: 563072)
[PASS] test_atoken_burnEvents_multipleWithdrawals_withInterests() (gas: 650691)
[PASS] test_atoken_burnEvents_singleWithdraw_WithInterests() (gas: 573674)
[PASS] test_atoken_burnEvents_singleWithdraw_noInterests() (gas: 254908)
[PASS] test_atoken_burnEvents_withdrawAmountLessThanInterests() (gas: 576522)
[PASS] test_atoken_mintEvents_firstSupply() (gas: 252188)
[PASS] test_atoken_mintEvents_supplyAfterBorrow() (gas: 629294)
[PASS] test_mintToTreasury_events() (gas: 90162)
Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 42.98ms (8.39ms CPU time)
Ran 4 tests for tests/protocol/tokenization-rwa/ATokenModifiers.Rwa.t.sol:ATokenModifiersRwaTests
[PASS] test_revert_notAdmin_burn() (gas: 17129)
[PASS] test_revert_notAdmin_mint() (gas: 17399)
[SKIP: Not applicable to RWAs] test_revert_notAdmin_transferOnLiquidation() (gas: 0)
[SKIP: Not applicable to RWAs] test_revert_notAdmin_transferUnderlyingTo() (gas: 0)
Suite result: ok. 2 passed; 0 failed; 2 skipped; finished in 34.39ms (169.55µs CPU time)
Ran 4 tests for tests/protocol/tokenization/ATokenModifiers.t.sol:ATokenModifiersTests
[PASS] test_revert_notAdmin_burn() (gas: 17084)
[PASS] test_revert_notAdmin_mint() (gas: 17178)
[PASS] test_revert_notAdmin_transferOnLiquidation() (gas: 17210)
[PASS] test_revert_notAdmin_transferUnderlyingTo() (gas: 17015)
Suite result: ok. 4 passed; 0 failed; 0 skipped; finished in 34.17ms (219.04µs CPU time)
Ran 9 tests for tests/protocol/tokenization/ATokenPermit.t.sol:ATokenPermitTests
[PASS] testCheckDomainSeparator() (gas: 26163)
[PASS] test_cancelPermit() (gas: 100723)
[PASS] test_chain_fork_calculateDomainSeparator() (gas: 32906)
[PASS] test_revert_submitPermit_0_expiration() (gas: 46713)
[PASS] test_revert_submitPermit_invalid_expiration_previosCurrentBlock() (gas: 47192)
[PASS] test_revert_submitPermit_invalid_nonce() (gas: 55102)
[PASS] test_revert_submitPermit_invalid_owner() (gas: 46540)
[PASS] test_revert_submitPermit_invalid_signature() (gas: 54962)
[PASS] test_submitPermit() (gas: 94311)
Suite result: ok. 9 passed; 0 failed; 0 skipped; finished in 37.17ms (3.55ms CPU time)
Ran 3 tests for tests/protocol/tokenization-rwa/ATokenRepay.Rwa.t.sol:ATokenRepayRwaTests
[PASS] test_repay_allDebt() (gas: 275412)
[PASS] test_repay_partialDebt() (gas: 274535)
[PASS] test_revert_repay_withoutFunds() (gas: 180152)
Suite result: ok. 3 passed; 0 failed; 0 skipped; finished in 34.76ms (1.55ms CPU time)
Ran 3 tests for tests/protocol/tokenization/ATokenRepay.t.sol:ATokenRepayTests
[PASS] test_repay_allDebt() (gas: 275412)
[PASS] test_repay_partialDebt() (gas: 274535)
[PASS] test_revert_repay_withoutFunds() (gas: 180152)
Suite result: ok. 3 passed; 0 failed; 0 skipped; finished in 34.03ms (1.56ms CPU time)
Ran 3 tests for tests/protocol/tokenization-rwa/ATokenRescueTokens.Rwa.t.sol:ATokenRescueTokensRwaTests
[PASS] test_rescueTokens() (gas: 77921)
[PASS] test_reverts_rescueTokens_CALLER_NOT_POOL_ADMIN() (gas: 70834)
[PASS] test_reverts_rescueTokens_UNDERLYING_CANNOT_BE_RESCUED() (gas: 71573)
Suite result: ok. 3 passed; 0 failed; 0 skipped; finished in 34.99ms (508.55µs CPU time)
Ran 3 tests for tests/protocol/tokenization/ATokenRescueTokens.sol:ATokenRescueTokensTests
[PASS] test_rescueTokens() (gas: 77965)
[PASS] test_reverts_rescueTokens_CALLER_NOT_POOL_ADMIN() (gas: 70878)
[PASS] test_reverts_rescueTokens_UNDERLYING_CANNOT_BE_RESCUED() (gas: 71617)
Suite result: ok. 3 passed; 0 failed; 0 skipped; finished in 34.09ms (491.58µs CPU time)
Ran 11 tests for tests/protocol/tokenization/ATokenTransfers.t.sol:ATokenTransferTests
[PASS] test_atoken_alice_transfer_all_to_bob() (gas: 162086)
[PASS] test_atoken_alice_transfer_to_bob() (gas: 232071)
[PASS] test_atoken_alice_transfer_to_bob_zero() (gas: 160039)
[PASS] test_atoken_alice_transfer_to_carol_accrues_interests() (gas: 224488)
[PASS] test_atoken_alice_transfer_to_herself() (gas: 81567)
[PASS] test_atoken_alice_transfer_to_herself_zero() (gas: 81608)
[PASS] test_atoken_multiple_transfers() (gas: 201287)
[PASS] test_atoken_transfer_sets_enabled_as_collateral(uint64,uint256) (runs: 498, μ: 391359, ~: 395469)
[PASS] test_atoken_transfer_some_collateral_from_bob_borrower_to_alice() (gas: 526503)
[PASS] test_atoken_transfer_to_bob_them_bob_borrows() (gas: 396745)
[PASS] test_reverts_atoken_transfer_all_collateral_from_bob_borrower_to_alice() (gas: 407119)
Suite result: ok. 11 passed; 0 failed; 0 skipped; finished in 462.04ms (429.76ms CPU time)
Ran 12 tests for tests/misc/AaveOracle.t.sol:AaveOracleTest
[PASS] testAddSingleSource() (gas: 936861)
[PASS] testAssetZeroPriceAndZeroFallbackPrice() (gas: 1076118)
[PASS] testAssetZeroPriceNonZeroFallback() (gas: 1096069)
[PASS] testAssetZeroPriceWithoutFallback() (gas: 918563)
[PASS] testEmptySource() (gas: 821588)
[PASS] testGetBaseCurrencyPrice() (gas: 12315)
[PASS] testGetPriceViaFallbackOracle() (gas: 1000286)
[PASS] testUpdateFallbackOracle() (gas: 178617)
[PASS] testUpdateSingleSource() (gas: 126963)
[PASS] testUpdateSourceBaseCurrency() (gas: 138544)
[PASS] test_revert_setAssetSources_inconsistentParams() (gas: 822966)
[PASS] test_revert_setAssetSources_wrongCaller() (gas: 24620)
Suite result: ok. 12 passed; 0 failed; 0 skipped; finished in 35.97ms (2.11ms CPU time)
Ran 5 tests for tests/deployments/AaveV3BatchDeployment.t.sol:AaveV3BatchDeployment
[PASS] testAaveV3BatchDeploy() (gas: 57445997)
[PASS] testAaveV3BatchDeploymentCheck() (gas: 77872157)
[PASS] testAaveV3Batch_reuseIncentivesProxy() (gas: 56922811)
[PASS] testAaveV3L2BatchDeploymentCheck() (gas: 79699924)
[PASS] testAaveV3TreasuryPartnerBatchDeploymentCheck() (gas: 78379184)
Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 117.21ms (111.91ms CPU time)
Ran 12 tests for tests/deployments/AaveV3BatchTests.t.sol:AaveV3BatchTests
[PASS] test0AaveV3SetupDeployment() (gas: 4759128)
[PASS] test10StaticATokenDeployment() (gas: 6703331)
[PASS] test1AaveV3GettersDeployment() (gas: 7834796)
[PASS] test2AaveV3PoolDeployment() (gas: 8515008)
[PASS] test3AaveV3L2PoolDeployment() (gas: 8765684)
[PASS] test4PeripheralsRelease() (gas: 7109081)
[PASS] test5MiscDeployment() (gas: 1539370)
[PASS] test6ParaswapRelease() (gas: 5156175)
[PASS] test7SetupMarket() (gas: 2726119)
[PASS] test8TokensMarket() (gas: 5984964)
[PASS] test9ConfigEngineDeployment() (gas: 6574908)
[PASS] testAaveV3FullBatchOrchestration() (gas: 57442234)
Suite result: ok. 12 passed; 0 failed; 0 skipped; finished in 22.40ms (11.97ms CPU time)
Ran 15 tests for tests/protocol/pool-rwa/Pool.Repay.Rwa.t.sol:PoolRepayRwaTests
[PASS] test_full_repay_borrow_variable_in_isolation() (gas: 579625)
[PASS] test_partial_repay_borrow_variable_in_isolation() (gas: 632062)
[PASS] test_repayWithATokens_full_collateral_variable_borrow() (gas: 620264)
[PASS] test_repayWithATokens_full_variable_borrow() (gas: 416055)
[PASS] test_repayWithATokens_fuzz_collateral_variable_borrow(uint256,uint32) (runs: 461, μ: 607359, ~: 608300)
[PASS] test_repayWithPermit(uint128,uint128,uint128,uint128,uint128) (runs: 982, μ: 574065, ~: 572328)
[PASS] test_repayWithPermit_not_failing_if_permit_was_used(uint128,uint128,uint128,uint128,uint128) (runs: 983, μ: 578668, ~: 577287)
[PASS] test_repayWithPermit_should_revert_if_permit_is_less_then_repay_amount(uint128,uint128,uint128,uint128,uint128) (runs: 986, μ: 529935, ~: 525247)
[PASS] test_repay_full_variable_borrow() (gas: 402685)
[PASS] test_revert_repay_full_stable_borrow() (gas: 354256)
[PASS] test_reverts_borrow_invalidAmount() (gas: 2182239)
[PASS] test_reverts_borrow_reserveInactive() (gas: 2239926)
[PASS] test_reverts_borrow_reservePaused() (gas: 2207177)
[PASS] test_reverts_no_explicit_repay_on_behalf() (gas: 328243)
[PASS] test_reverts_repay_no_debt() (gas: 2190810)
Suite result: ok. 15 passed; 0 failed; 0 skipped; finished in 6.92s (6.88s CPU time)
Ran 15 tests for tests/protocol/pool/Pool.Repay.t.sol:PoolRepayTests
[PASS] test_full_repay_borrow_variable_in_isolation() (gas: 576922)
[PASS] test_partial_repay_borrow_variable_in_isolation() (gas: 629359)
[PASS] test_repayWithATokens_full_collateral_variable_borrow() (gas: 617517)
[PASS] test_repayWithATokens_full_variable_borrow() (gas: 416055)
[PASS] test_repayWithATokens_fuzz_collateral_variable_borrow(uint256,uint32) (runs: 411, μ: 604204, ~: 605553)
[PASS] test_repayWithPermit(uint128,uint128,uint128,uint128,uint128) (runs: 978, μ: 573742, ~: 571795)
[PASS] test_repayWithPermit_not_failing_if_permit_was_used(uint128,uint128,uint128,uint128,uint128) (runs: 986, μ: 579026, ~: 577287)
[PASS] test_repayWithPermit_should_revert_if_permit_is_less_then_repay_amount(uint128,uint128,uint128,uint128,uint128) (runs: 991, μ: 528973, ~: 525247)
[PASS] test_repay_full_variable_borrow() (gas: 402685)
[PASS] test_revert_repay_full_stable_borrow() (gas: 354256)
[PASS] test_reverts_borrow_invalidAmount() (gas: 51504)
[PASS] test_reverts_borrow_reserveInactive() (gas: 129691)
[PASS] test_reverts_borrow_reservePaused() (gas: 92442)
[PASS] test_reverts_no_explicit_repay_on_behalf() (gas: 328243)
[PASS] test_reverts_repay_no_debt() (gas: 52075)
Suite result: ok. 15 passed; 0 failed; 0 skipped; finished in 7.27s (7.23s CPU time)
Ran 17 tests for tests/extensions/stata-token/ERC20AaveLMUpgradable.t.sol:ERC20AaveLMUpgradableTest
[PASS] test_7201() (gas: 3358)
[PASS] test_claimRewards(uint256,uint32,uint88,uint32) (runs: 1000, μ: 833081, ~: 796595)
[PASS] test_claimRewardsOnBehalfOf_self(uint256,uint32,uint88,uint32) (runs: 1000, μ: 833741, ~: 796809)
[PASS] test_claimRewardsOnBehalfOf_shouldRevertForInvalidClaimer(uint256,uint32,uint88,uint32) (runs: 1000, μ: 771175, ~: 772820)
[PASS] test_claimRewardsOnBehalfOf_validClaimer(uint256,uint32,uint88,uint32) (runs: 1000, μ: 867685, ~: 829207)
[PASS] test_claimRewardsToSelf(uint256,uint32,uint88,uint32) (runs: 1000, μ: 834814, ~: 796508)
[PASS] test_claimableRewards(uint256,uint32,uint88,uint32) (runs: 1000, μ: 772151, ~: 773744)
[PASS] test_collectAndUpdateRewards(uint256,uint32,uint88,uint32) (runs: 1000, μ: 814502, ~: 792863)
[PASS] test_correctAccountingForDelayedRegistration() (gas: 822384)
[PASS] test_getReferenceAsset() (gas: 12908)
[PASS] test_isRegisteredRewardToken() (gas: 633216)
[PASS] test_noRewardsInitialized() (gas: 39241)
[PASS] test_noopWhenNotInitialized() (gas: 52824)
[PASS] test_rewardTokens() (gas: 631357)
[PASS] test_transfer(uint256,uint32,uint88,uint32,address,uint256) (runs: 1000, μ: 847129, ~: 863387)
[PASS] test_transfer_toSelf(uint256,uint32,uint88,uint32) (runs: 1000, μ: 803922, ~: 797438)
[PASS] test_zeroIncentivesController() (gas: 37692)
Suite result: ok. 17 passed; 0 failed; 0 skipped; finished in 14.88s (14.85s CPU time)
Ran 37 tests for tests/protocol/pool-rwa/Pool.Rwa.t.sol:PoolRwaTests
[PASS] test_dropReserve() (gas: 99058)
[PASS] test_getBorrowLogic() (gas: 13619)
[PASS] test_getBridgeLogic() (gas: 13617)
[PASS] test_getEModeLogic() (gas: 13618)
[PASS] test_getFlashLoanLogic() (gas: 13598)
[PASS] test_getLiquidationLogic() (gas: 13687)
[PASS] test_getPoolLogic() (gas: 13683)
[PASS] test_getSupplyLogic() (gas: 13682)
[PASS] test_getVirtualUnderlyingBalance() (gas: 244743)
[PASS] test_getters_getUserAccountData() (gas: 603228)
[PASS] test_mintToTreasury() (gas: 696895)
[PASS] test_mintToTreasury_skip_invalid_addresses() (gas: 701520)
[PASS] test_noop_setUserUseReserveAsCollateral_true_when_already_is_activated() (gas: 290768)
[PASS] test_pool_defaultValues() (gas: 4368459)
[PASS] test_rescueTokens(uint256) (runs: 1000, μ: 81870, ~: 82155)
[PASS] test_resetIsolationModeTotalDebt() (gas: 725164)
[PASS] test_reverts_initReserve_not_poolConfigurator(address) (runs: 1000, μ: 25430, ~: 25430)
[PASS] test_reverts_modifiers_not_poolConfigurator(address) (runs: 1000, μ: 127079, ~: 127079)
[PASS] test_reverts_new_Pool_invalidAddressesProvider() (gas: 4380474)
[PASS] test_reverts_setReserveInterestRateStrategyAddress_AssetNotListed(address,address) (runs: 1000, μ: 54183, ~: 54183)
[PASS] test_reverts_setReserveInterestRateStrategyAddress_ZeroAssetAddress(address) (runs: 1000, μ: 22732, ~: 22732)
[PASS] test_reverts_setUserEmode_0_bad_hf() (gas: 974029)
[PASS] test_reverts_setUserUseReserveAsCollateral_false_hf_lower_lqt() (gas: 605142)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_ltv_zero() (gas: 296779)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_reserve_inactive() (gas: 212145)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_reserve_paused() (gas: 291639)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_user_balance_zero() (gas: 71802)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_user_isolation_mode() (gas: 782467)
[PASS] test_setLiquidationGracePeriod(uint40) (runs: 1000, μ: 34724, ~: 34834)
[PASS] test_setLiquidationGracePeriod_assetNotListed(uint40) (runs: 1000, μ: 27115, ~: 27115)
[PASS] test_setReserveInterestRateStrategyAddress() (gas: 899626)
[PASS] test_setUserEmode() (gas: 227533)
[PASS] test_setUserEmode_twice() (gas: 358044)
[PASS] test_setUserEmode_twice_inconsistent_category() (gas: 972101)
[PASS] test_setUserUseReserveAsCollateral_false() (gas: 240328)
[PASS] test_setUserUseReserveAsCollateral_true() (gas: 277847)
[PASS] test_updateBridgeProtocolFee() (gas: 253)
Suite result: ok. 37 passed; 0 failed; 0 skipped; finished in 838.08ms (801.24ms CPU time)
Ran 2 tests for tests/gas/Pool.Setters.gas.t.sol:PoolSetters_gas_Tests
[PASS] test_setUserEMode() (gas: 1762143)
[PASS] test_setUserUseReserveAsCollateral() (gas: 650249)
Suite result: ok. 2 passed; 0 failed; 0 skipped; finished in 134.83ms (28.80ms CPU time)
Ran 29 tests for tests/horizon/Pool.Supply.Horizon.t.sol:PoolSupplyHorizonTests
[PASS] test_deprecated_deposit() (gas: 248863)
[PASS] test_first_supply() (gas: 252332)
Logs:
Bound result 1000000
[PASS] test_fuzz_first_supply(uint256) (runs: 1000, μ: 252679, ~: 252927)
[PASS] test_fuzz_reverts_deposit_onBehalfOfNotSupported(uint256,address) (runs: 1000, μ: 151708, ~: 152018)
[PASS] test_fuzz_reverts_supply_UnauthorizedRwaAccount(uint256) (runs: 1000, μ: 106597, ~: 106811)
[PASS] test_fuzz_reverts_supply_cap(address) (runs: 1000, μ: 111288, ~: 111288)
[PASS] test_fuzz_reverts_supply_invalidAmount(address) (runs: 1000, μ: 50966, ~: 50966)
[PASS] test_fuzz_reverts_supply_onBehalfOfNotSupported(uint256,address) (runs: 999, μ: 151709, ~: 151924)
[PASS] test_fuzz_reverts_supply_reserveFrozen(address) (runs: 1000, μ: 121020, ~: 121020)
[PASS] test_fuzz_reverts_supply_reserveInactive(address) (runs: 1000, μ: 129025, ~: 129025)
[PASS] test_fuzz_reverts_supply_reservePaused(address) (runs: 1000, μ: 91776, ~: 91776)
[PASS] test_fuzz_reverts_supply_to_aToken(address) (runs: 1000, μ: 54088, ~: 54088)
[PASS] test_fuzz_supplyWithPermit_fails_gracefully(uint128,uint128,uint128,address) (runs: 475, μ: 212404, ~: 212404)
[PASS] test_fuzz_supplyWithPermit_should_revert_with_onBehalfOfNotSupported(uint128,uint128,uint128,address) (runs: 493, μ: 263694, ~: 263694)
[PASS] test_fuzz_supplyWithPermit_with_relayer_no_approvals_should_revert_with_onBehalfOfNotSupported(uint128,uint128,uint128,address,address) (runs: 498, μ: 262061, ~: 262149)
[PASS] test_fuzz_supplyWithPermit_with_relayer_should_revert_with_onBehalfOfNotSupported(uint128,uint128,uint128,address) (runs: 471, μ: 296476, ~: 296476)
[PASS] test_reverts_deprecated_deposit_onBehalfOfNotSupported() (gas: 153357)
Logs:
Bound result 1000000
[PASS] test_reverts_supply_cap() (gas: 111252)
[PASS] test_reverts_supply_invalidAmount() (gas: 51052)
[PASS] test_reverts_supply_onBehalfOfNotSupported() (gas: 153327)
Logs:
Bound result 1000000
[PASS] test_reverts_supply_reserveFrozen() (gas: 121060)
[PASS] test_reverts_supply_reserveInactive() (gas: 128911)
[PASS] test_reverts_supply_reservePaused() (gas: 91727)
[PASS] test_reverts_supply_to_aToken() (gas: 56083)
[PASS] test_supplyWithPermit(uint128,uint128,uint128) (runs: 463, μ: 344431, ~: 344431)
[PASS] test_supplyWithPermit_not_failing_if_permit_was_used(uint128,uint128,uint128) (runs: 449, μ: 342564, ~: 342564)
[PASS] test_supplyWithPermit_should_revert_if_permit_is_less_than_supply_amount(uint128,uint128) (runs: 497, μ: 204766, ~: 204766)
[PASS] test_supplyWithPermit_with_relayer_should_revert_with_onBehalfOfNotSupported() (gas: 298214)
[PASS] test_supply_after_collateral_enabled() (gas: 299777)
Logs:
Bound result 1000000
Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 4.27s (4.24s CPU time)
Ran 13 tests for tests/protocol/pool-rwa/Pool.Supply.Rwa.t.sol:PoolSupplyRwaTests
[PASS] test_deprecated_deposit() (gas: 241083)
[PASS] test_first_supply() (gas: 241062)
[PASS] test_first_supply_on_behalf() (gas: 2272518)
[PASS] test_reverts_supply_cap() (gas: 105371)
[PASS] test_reverts_supply_invalidAmount() (gas: 47720)
[PASS] test_reverts_supply_reserveFrozen() (gas: 117663)
[PASS] test_reverts_supply_reserveInactive() (gas: 125623)
[PASS] test_reverts_supply_reservePaused() (gas: 88395)
[PASS] test_reverts_supply_to_aToken() (gas: 50239)
[PASS] test_supplyWithPermit(uint128,uint128,uint128) (runs: 476, μ: 413869, ~: 413901)
[PASS] test_supplyWithPermit_not_failing_if_permit_was_used(uint128,uint128,uint128) (runs: 469, μ: 414141, ~: 414141)
[PASS] test_supplyWithPermit_should_revert_if_permit_is_less_then_supply_amount(uint128,uint128) (runs: 508, μ: 280943, ~: 280948)
[PASS] test_supply_after_collateral_enabled() (gas: 287990)
Suite result: ok. 13 passed; 0 failed; 0 skipped; finished in 1.92s (1.88s CPU time)
Ran 13 tests for tests/protocol/pool/Pool.Supply.t.sol:PoolSupplyTests
[PASS] test_deprecated_deposit() (gas: 240892)
[PASS] test_first_supply() (gas: 240871)
[PASS] test_first_supply_on_behalf() (gas: 242918)
[PASS] test_reverts_supply_cap() (gas: 105305)
[PASS] test_reverts_supply_invalidAmount() (gas: 47720)
[PASS] test_reverts_supply_reserveFrozen() (gas: 117663)
[PASS] test_reverts_supply_reserveInactive() (gas: 125623)
[PASS] test_reverts_supply_reservePaused() (gas: 88395)
[PASS] test_reverts_supply_to_aToken() (gas: 50239)
[PASS] test_supplyWithPermit(uint128,uint128,uint128) (runs: 436, μ: 413651, ~: 413686)
[PASS] test_supplyWithPermit_not_failing_if_permit_was_used(uint128,uint128,uint128) (runs: 459, μ: 413877, ~: 413894)
[PASS] test_supplyWithPermit_should_revert_if_permit_is_less_then_supply_amount(uint128,uint128) (runs: 518, μ: 280944, ~: 280945)
[PASS] test_supply_after_collateral_enabled() (gas: 287552)
Suite result: ok. 13 passed; 0 failed; 0 skipped; finished in 1.83s (1.79s CPU time)
Ran 11 tests for tests/protocol/pool-rwa/Pool.Withdraw.Rwa.t.sol:PoolWithdrawRwaTests
[PASS] test_Reverts_withdraw_transferred_funds() (gas: 2793401)
[PASS] test_full_withdraw() (gas: 234976)
[PASS] test_full_withdraw_to() (gas: 240504)
[PASS] test_partial_withdraw() (gas: 231484)
[PASS] test_reverts_withdraw_hf_lt_lqt() (gas: 2903375)
[PASS] test_reverts_withdraw_invalidAmount() (gas: 247392)
[PASS] test_reverts_withdraw_invalidBalance() (gas: 249462)
[PASS] test_reverts_withdraw_reserveInactive() (gas: 203536)
[PASS] test_reverts_withdraw_reservePaused() (gas: 284923)
[PASS] test_reverts_withdraw_to_atoken() (gas: 247365)
[PASS] test_withdraw_not_enabled_as_collateral() (gas: 248380)
Suite result: ok. 11 passed; 0 failed; 0 skipped; finished in 44.12ms (7.25ms CPU time)
Ran 11 tests for tests/protocol/pool/Pool.Withdraw.t.sol:PoolWithdrawTests
[PASS] test_Reverts_withdraw_transferred_funds() (gas: 550228)
[PASS] test_full_withdraw() (gas: 234777)
[PASS] test_full_withdraw_to() (gas: 240305)
[PASS] test_partial_withdraw() (gas: 231268)
[PASS] test_reverts_withdraw_hf_lt_lqt() (gas: 680750)
[PASS] test_reverts_withdraw_invalidAmount() (gas: 247145)
[PASS] test_reverts_withdraw_invalidBalance() (gas: 249215)
[PASS] test_reverts_withdraw_reserveInactive() (gas: 203289)
[PASS] test_reverts_withdraw_reservePaused() (gas: 284676)
[PASS] test_reverts_withdraw_to_atoken() (gas: 247118)
[PASS] test_withdraw_not_enabled_as_collateral() (gas: 248199)
Suite result: ok. 11 passed; 0 failed; 0 skipped; finished in 40.40ms (6.18ms CPU time)
Ran 37 tests for tests/protocol/pool/Pool.t.sol:PoolTests
[PASS] test_dropReserve() (gas: 99058)
[PASS] test_getBorrowLogic() (gas: 13619)
[PASS] test_getBridgeLogic() (gas: 13617)
[PASS] test_getEModeLogic() (gas: 13618)
[PASS] test_getFlashLoanLogic() (gas: 13598)
[PASS] test_getLiquidationLogic() (gas: 13687)
[PASS] test_getPoolLogic() (gas: 13683)
[PASS] test_getSupplyLogic() (gas: 13682)
[PASS] test_getVirtualUnderlyingBalance() (gas: 244743)
[PASS] test_getters_getUserAccountData() (gas: 600481)
[PASS] test_mintToTreasury() (gas: 694148)
[PASS] test_mintToTreasury_skip_invalid_addresses() (gas: 698773)
[PASS] test_noop_setUserUseReserveAsCollateral_true_when_already_is_activated() (gas: 290768)
[PASS] test_pool_defaultValues() (gas: 4368459)
[PASS] test_rescueTokens(uint256) (runs: 1000, μ: 81878, ~: 82155)
[PASS] test_resetIsolationModeTotalDebt() (gas: 722461)
[PASS] test_reverts_initReserve_not_poolConfigurator(address) (runs: 1000, μ: 25430, ~: 25430)
[PASS] test_reverts_modifiers_not_poolConfigurator(address) (runs: 1000, μ: 127079, ~: 127079)
[PASS] test_reverts_new_Pool_invalidAddressesProvider() (gas: 4380474)
[PASS] test_reverts_setReserveInterestRateStrategyAddress_AssetNotListed(address,address) (runs: 999, μ: 54183, ~: 54183)
[PASS] test_reverts_setReserveInterestRateStrategyAddress_ZeroAssetAddress(address) (runs: 1000, μ: 22732, ~: 22732)
[PASS] test_reverts_setUserEmode_0_bad_hf() (gas: 971035)
[PASS] test_reverts_setUserUseReserveAsCollateral_false_hf_lower_lqt() (gas: 602417)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_ltv_zero() (gas: 296779)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_reserve_inactive() (gas: 212145)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_reserve_paused() (gas: 291639)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_user_balance_zero() (gas: 71802)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_user_isolation_mode() (gas: 779764)
[PASS] test_setLiquidationGracePeriod(uint40) (runs: 1000, μ: 34744, ~: 34834)
[PASS] test_setLiquidationGracePeriod_assetNotListed(uint40) (runs: 1000, μ: 27115, ~: 27115)
[PASS] test_setReserveInterestRateStrategyAddress() (gas: 899626)
[PASS] test_setUserEmode() (gas: 227533)
[PASS] test_setUserEmode_twice() (gas: 358044)
[PASS] test_setUserEmode_twice_inconsistent_category() (gas: 969107)
[PASS] test_setUserUseReserveAsCollateral_false() (gas: 240328)
[PASS] test_setUserUseReserveAsCollateral_true() (gas: 277847)
[PASS] test_updateBridgeProtocolFee() (gas: 253)
Suite result: ok. 37 passed; 0 failed; 0 skipped; finished in 865.02ms (829.40ms CPU time)
Ran 22 tests for tests/protocol/configuration/PoolAddressesProvider.t.sol:PoolAddressesProviderTests
[PASS] test_PoolDataProvider_changeContract() (gas: 1472600)
[PASS] test_getter_getMarketId() (gas: 1435029)
[PASS] test_new_PoolAddressesProvider() (gas: 1444259)
[PASS] test_reverts_setAddressAsProxy_notAuth() (gas: 1448435)
[PASS] test_reverts_setAddress_noAuth() (gas: 1453612)
[PASS] test_reverts_setters_notOwner() (gas: 1451221)
[PASS] test_setACLManager_changeContract() (gas: 3014111)
[PASS] test_setACLManager_setACLAdmin() (gas: 2248064)
[PASS] test_setAddress() (gas: 1462527)
[PASS] test_setAddressAsProxy_new_proxy() (gas: 2020261)
[PASS] test_setAddressAsProxy_upgrade_proxy() (gas: 2132633)
[PASS] test_setAddress_updateAddress() (gas: 1471653)
[PASS] test_setPoolConfiguratorImpl() (gas: 5939538)
[PASS] test_setPoolConfiguratorImpl_upgrade() (gas: 10340515)
[PASS] test_setPoolDataProvider() (gas: 1463045)
[PASS] test_setPoolImpl() (gas: 6251535)
[PASS] test_setPoolImpl_upgrade() (gas: 10652172)
[PASS] test_setPriceOracle() (gas: 1463202)
[PASS] test_setPriceOracleSentinel() (gas: 1463073)
[PASS] test_setPriceOracleSentinel_changeContract() (gas: 1472677)
[PASS] test_setPriceOracle_changeContract() (gas: 1472938)
[PASS] test_setter_setMarketId() (gas: 1446179)
Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 42.94ms (7.84ms CPU time)
Ran 17 tests for tests/extensions/v3-config-engine/AaveV3ConfigEngineTest.t.sol:AaveV3ConfigEngineTest
[PASS] testAssetEModeUpdates() (gas: 6585338)
[PASS] testBorrowUpdatesNoChange() (gas: 5608300)
[PASS] testBorrowsUpdates() (gas: 5675487)
[PASS] testCapsUpdate() (gas: 5617730)
[PASS] testCollateralUpdateCorrectBonus() (gas: 5632902)
[PASS] testCollateralUpdateWrongBonus() (gas: 732663)
[PASS] testCollateralsUpdates() (gas: 5632391)
[PASS] testCollateralsUpdatesNoChange() (gas: 5606275)
[PASS] testCollateralsUpdatesNoChangeShouldNotEmit() (gas: 738297)
[PASS] testEModeCategoryUpdates() (gas: 5712936)
[PASS] testEModeCategoryUpdatesNoChange() (gas: 5604778)
[PASS] testEModeCategoryUpdatesNoChangeShouldNotEmit() (gas: 717805)
[PASS] testEModeCategoryUpdatesWrongBonus() (gas: 720961)
[PASS] testListings() (gas: 8938036)
[PASS] testListingsCustom() (gas: 12661271)
[PASS] testPriceFeedsUpdates() (gas: 5689362)
[PASS] testRateStrategiesUpdates() (gas: 5687804)
Suite result: ok. 17 passed; 0 failed; 0 skipped; finished in 22.30s (22.26s CPU time)
Ran 2 tests for tests/deployments/AaveV3PermissionsTest.t.sol:AaveV3PermissionsTest
[PASS] testCheckPermissions() (gas: 55803528)
[PASS] testCheckPermissionsTreasuryPartner() (gas: 56292889)
Suite result: ok. 2 passed; 0 failed; 0 skipped; finished in 40.05ms (35.15ms CPU time)
Ran 7 tests for tests/protocol/configuration/AddressesProviderRegistry.t.sol:PoolAddressesProviderRegistryTest
[PASS] testAddAddressesProvider() (gas: 120613)
[PASS] testRemoveAddressesProvider() (gas: 97154)
[PASS] testRemoveMultipleAddressesProvider() (gas: 242924)
[PASS] test_addressesProviderAddedToRegistry() (gas: 16393)
[PASS] test_removesLastProvider() (gas: 32653)
[PASS] test_revert_registry_0() (gas: 15558)
[PASS] test_revert_removeNonExistingAddressesProvider() (gas: 27603)
Suite result: ok. 7 passed; 0 failed; 0 skipped; finished in 35.45ms (1.52ms CPU time)
Ran 1 test for tests/template/BaseTest.t.sol:BaseTest
[PASS] test_default() (gas: 245785)
Suite result: ok. 1 passed; 0 failed; 0 skipped; finished in 34.34ms (298.74µs CPU time)
Ran 12 tests for tests/protocol/libraries/logic/BridgeLogic.t.sol:BridgeLogicTests
[PASS] test_backUnbacked_but_unbacked_is_zero_with_fee() (gas: 190751)
[PASS] test_backUnbacked_but_unbacked_is_zero_with_only_fee() (gas: 190809)
[PASS] test_backUnbacked_but_unbacked_is_zero_without_fee() (gas: 156155)
[PASS] test_backUnbacked_onlyFee() (gas: 356413)
[PASS] test_backUnbacked_withFee() (gas: 356593)
[PASS] test_backUnbacked_withoutFee() (gas: 333891)
[PASS] test_multiple_backUnbacked() (gas: 631084)
[PASS] test_multiple_unbackedMint_with_cap() (gas: 478054)
[PASS] test_revert_multiple_unbackedMint_with_cap() (gas: 419371)
[PASS] test_revert_unathorized_unbackedMint() (gas: 30598)
[PASS] test_revert_unbackedMint_zero_cap() (gas: 86100)
[PASS] test_unbackedMint_with_cap() (gas: 265578)
Suite result: ok. 12 passed; 0 failed; 0 skipped; finished in 45.29ms (11.23ms CPU time)
Ran 5 tests for tests/treasury/Collector.t.sol:CollectorTest
[PASS] testApprove() (gas: 49719)
[PASS] testApproveWhenNotFundsAdmin() (gas: 18193)
[PASS] testTransfer() (gas: 54873)
[PASS] testTransferWhenNotFundsAdmin() (gas: 18217)
[PASS] test_receiveEth() (gas: 20274)
Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 2.84ms (212.66µs CPU time)
Ran 6 tests for tests/treasury/Collector.t.sol:FundsAdminRoleBytesTest
[PASS] testApprove() (gas: 49675)
[PASS] testApproveWhenNotFundsAdmin() (gas: 18171)
[PASS] testTransfer() (gas: 54918)
[PASS] testTransferWhenNotFundsAdmin() (gas: 18195)
[PASS] test_receiveEth() (gas: 20297)
[PASS] test_successful() (gas: 13389)
Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 2.85ms (234.43µs CPU time)
Ran 7 tests for tests/treasury/Collector.t.sol:IsFundsAdminTest
[PASS] testApprove() (gas: 49675)
[PASS] testApproveWhenNotFundsAdmin() (gas: 18193)
[PASS] testTransfer() (gas: 54873)
[PASS] testTransferWhenNotFundsAdmin() (gas: 18217)
[PASS] test_isFundsAdmin() (gas: 24267)
[PASS] test_isNotFundsAdmin() (gas: 17595)
[PASS] test_receiveEth() (gas: 20297)
Suite result: ok. 7 passed; 0 failed; 0 skipped; finished in 3.27ms (406.47µs CPU time)
Ran 26 tests for tests/treasury/Collector.t.sol:StreamsTest
[PASS] testApprove() (gas: 49653)
[PASS] testApproveWhenNotFundsAdmin() (gas: 18345)
[PASS] testCancelStreamByFundsAdmin() (gas: 206193)
[PASS] testCancelStreamByRecipient() (gas: 231303)
[PASS] testCancelStreamWhenNotAdminOrRecipient() (gas: 242254)
[PASS] testCancelStreamWhenStreamNotExists() (gas: 22848)
[PASS] testCreateStream() (gas: 244333)
[PASS] testCreateStreamWhenDepositIsZero() (gas: 27266)
[PASS] testCreateStreamWhenNotFundsAdmin() (gas: 24611)
[PASS] testCreateStreamWhenRecipientIsCollector() (gas: 25055)
[PASS] testCreateStreamWhenRecipientIsTheCaller() (gas: 25310)
[PASS] testCreateStreamWhenRecipientIsZero() (gas: 25078)
[PASS] testCreateStreamWhenStartTimeInThePast() (gas: 25778)
[PASS] testCreateStreamWhenStopTimeBeforeStart() (gas: 23224)
[PASS] testGetNextStreamId() (gas: 17598)
[PASS] testGetNotExistingStream() (gas: 18426)
[PASS] testGetStream() (gas: 234368)
[PASS] testTransfer() (gas: 54962)
[PASS] testTransferWhenNotFundsAdmin() (gas: 18347)
[PASS] testWithdrawFromStream() (gas: 307230)
[PASS] testWithdrawFromStreamFinishesSuccessfully() (gas: 230235)
[PASS] testWithdrawFromStreamWhenAmountExceedsBalance() (gas: 243637)
[PASS] testWithdrawFromStreamWhenAmountIsZero() (gas: 238129)
[PASS] testWithdrawFromStreamWhenNotAdminOrRecipient() (gas: 240288)
[PASS] testWithdrawFromStreamWhenStreamNotExists() (gas: 23014)
[PASS] test_receiveEth() (gas: 20319)
Suite result: ok. 26 passed; 0 failed; 0 skipped; finished in 7.65ms (2.07ms CPU time)
Ran 24 tests for tests/protocol/pool-rwa/pool-configurator/PoolConfigurator.ACLModifiers.Rwa.t.sol:PoolConfiguratorACLModifiersRwaTest
[PASS] test_reverts_disableLiquidationGracePeriod_on_unauth(address,address) (runs: 1000, μ: 38594, ~: 38594)
[PASS] test_reverts_notAdmin_dropReserve(address) (runs: 1000, μ: 36181, ~: 36181)
[PASS] test_reverts_notAdmin_initReserves((uint8,string,string,string,string,address,address,address,bool),address) (runs: 1000, μ: 1055704, ~: 1055779)
[PASS] test_reverts_notAdmin_setReserveActive(address) (runs: 1000, μ: 36344, ~: 36347)
[PASS] test_reverts_notAdmin_updateAToken(address) (runs: 1000, μ: 35272, ~: 35272)
[PASS] test_reverts_notAdmin_updateFlashLoanPremiumProtocol(address) (runs: 1000, μ: 34033, ~: 34033)
[PASS] test_reverts_notAdmin_updateFlashLoanPremiumTotal(address) (runs: 1000, μ: 34030, ~: 34030)
[PASS] test_reverts_notAdmin_updateVariableDebtToken(address) (runs: 1000, μ: 35015, ~: 35015)
[PASS] test_reverts_notRiskAdmin_configureReserveAsCollateral(address) (runs: 1000, μ: 38679, ~: 38679)
[PASS] test_reverts_notRiskAdmin_setAssetCollateralInEMode(address) (runs: 999, μ: 38813, ~: 38813)
[PASS] test_reverts_notRiskAdmin_setBorrowCap(address) (runs: 1000, μ: 38605, ~: 38605)
[PASS] test_reverts_notRiskAdmin_setEModeCategory(address) (runs: 1000, μ: 39132, ~: 39132)
[PASS] test_reverts_notRiskAdmin_setReserveBorrowing(address) (runs: 1000, μ: 38702, ~: 38702)
[PASS] test_reverts_notRiskAdmin_setReserveFactor(address) (runs: 1000, μ: 38606, ~: 38606)
[PASS] test_reverts_notRiskAdmin_setReserveInterestRateData(address,address) (runs: 1000, μ: 39368, ~: 39368)
[PASS] test_reverts_notRiskAdmin_setReserveInterestRateStrategyAddress(address) (runs: 1000, μ: 39276, ~: 39276)
[PASS] test_reverts_notRiskAdmin_setSupplyCap(address) (runs: 1000, μ: 38517, ~: 38517)
[PASS] test_reverts_notRiskOrPoolOrEmergencyAdmin_setReserveFreeze(address) (runs: 1000, μ: 43208, ~: 43208)
[PASS] test_reverts_setDebtCeiling(address) (runs: 1000, μ: 38629, ~: 38629)
[PASS] test_reverts_setPoolPause_noGracePeriod_unauth(address,bool) (runs: 1000, μ: 38557, ~: 38557)
[PASS] test_reverts_setPoolPause_unauth(address,bool,uint40) (runs: 1000, μ: 56180, ~: 56180)
[PASS] test_reverts_setReservePause_noGracePeriod_off_unauth(address,address,bool) (runs: 1000, μ: 38907, ~: 38907)
[PASS] test_reverts_setReservePause_off_unauth(address,address,bool,uint40) (runs: 1000, μ: 39016, ~: 39016)
[PASS] test_reverts_setReservePause_on_unauth(address,address,bool,uint40) (runs: 1000, μ: 38993, ~: 38993)
Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 2.59s (2.55s CPU time)
Ran 9 tests for tests/protocol/pool-rwa/Pool.Deficit.Rwa.t.sol:PoolDeficitRwaTests
[PASS] test_eliminateReserveDeficit_exactDeficit(address,uint120) (runs: 1000, μ: 1517284, ~: 1517462)
[PASS] test_eliminateReserveDeficit_fullUserBalance(address,uint120) (runs: 1000, μ: 1520312, ~: 1520494)
[PASS] test_eliminateReserveDeficit_parcial(address,uint120,uint120) (runs: 1000, μ: 1506497, ~: 1506616)
[PASS] test_eliminateReserveDeficit_surplus(address,uint120) (runs: 999, μ: 1515577, ~: 1515750)
[PASS] test_interestRate() (gas: 1499455)
Logs:
Bound result 500000000000000000000000
[PASS] test_reverts_eliminateReserveDeficit_has_borrows(address,uint120,uint120) (runs: 999, μ: 1584569, ~: 1584452)
[PASS] test_reverts_eliminateReserveDeficit_invalid_amount(address,uint120) (runs: 1000, μ: 1213130, ~: 1213308)
[PASS] test_reverts_eliminateReserveDeficit_invalid_caller(address,uint120) (runs: 1000, μ: 1188396, ~: 1188600)
[PASS] test_reverts_eliminateReserveDeficit_reserve_not_in_deficit(address) (runs: 1000, μ: 2220652, ~: 2220652)
Suite result: ok. 9 passed; 0 failed; 0 skipped; finished in 29.16s (29.13s CPU time)
Ran 24 tests for tests/protocol/pool/pool-configurator/PoolConfigurator.ACLModifiers.t.sol:PoolConfiguratorACLModifiersTest
[PASS] test_reverts_disableLiquidationGracePeriod_on_unauth(address,address) (runs: 1000, μ: 38594, ~: 38594)
[PASS] test_reverts_notAdmin_dropReserve(address) (runs: 1000, μ: 36181, ~: 36181)
[PASS] test_reverts_notAdmin_initReserves((uint8,string,string,string,string,address,address,address,bool),address) (runs: 1000, μ: 1055682, ~: 1055699)
[PASS] test_reverts_notAdmin_setReserveActive(address) (runs: 1000, μ: 36347, ~: 36347)
[PASS] test_reverts_notAdmin_updateAToken(address) (runs: 1000, μ: 35272, ~: 35272)
[PASS] test_reverts_notAdmin_updateFlashLoanPremiumProtocol(address) (runs: 1000, μ: 34033, ~: 34033)
[PASS] test_reverts_notAdmin_updateFlashLoanPremiumTotal(address) (runs: 1000, μ: 34030, ~: 34030)
[PASS] test_reverts_notAdmin_updateVariableDebtToken(address) (runs: 1000, μ: 35015, ~: 35015)
[PASS] test_reverts_notRiskAdmin_configureReserveAsCollateral(address) (runs: 1000, μ: 38679, ~: 38679)
[PASS] test_reverts_notRiskAdmin_setAssetCollateralInEMode(address) (runs: 1000, μ: 38813, ~: 38813)
[PASS] test_reverts_notRiskAdmin_setBorrowCap(address) (runs: 1000, μ: 38605, ~: 38605)
[PASS] test_reverts_notRiskAdmin_setEModeCategory(address) (runs: 1000, μ: 39132, ~: 39132)
[PASS] test_reverts_notRiskAdmin_setReserveBorrowing(address) (runs: 1000, μ: 38702, ~: 38702)
[PASS] test_reverts_notRiskAdmin_setReserveFactor(address) (runs: 1000, μ: 38606, ~: 38606)
[PASS] test_reverts_notRiskAdmin_setReserveInterestRateData(address,address) (runs: 1000, μ: 39368, ~: 39368)
[PASS] test_reverts_notRiskAdmin_setReserveInterestRateStrategyAddress(address) (runs: 999, μ: 39276, ~: 39276)
[PASS] test_reverts_notRiskAdmin_setSupplyCap(address) (runs: 1000, μ: 38517, ~: 38517)
[PASS] test_reverts_notRiskOrPoolOrEmergencyAdmin_setReserveFreeze(address) (runs: 1000, μ: 43208, ~: 43208)
[PASS] test_reverts_setDebtCeiling(address) (runs: 1000, μ: 38629, ~: 38629)
[PASS] test_reverts_setPoolPause_noGracePeriod_unauth(address,bool) (runs: 1000, μ: 38557, ~: 38557)
[PASS] test_reverts_setPoolPause_unauth(address,bool,uint40) (runs: 1000, μ: 56180, ~: 56180)
[PASS] test_reverts_setReservePause_noGracePeriod_off_unauth(address,address,bool) (runs: 999, μ: 38907, ~: 38907)
[PASS] test_reverts_setReservePause_off_unauth(address,address,bool,uint40) (runs: 1000, μ: 39016, ~: 39016)
[PASS] test_reverts_setReservePause_on_unauth(address,address,bool,uint40) (runs: 1000, μ: 38993, ~: 38993)
Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 2.45s (2.41s CPU time)
Ran 10 tests for tests/protocol/pool-rwa/pool-configurator/PoolConfigurator.borrowCaps.Rwa.t.sol:PoolConfiguratorBorrowCapRwaTests
[PASS] test_borrow_eq_cap() (gas: 2527593)
[PASS] test_borrow_interests_reach_cap() (gas: 2529641)
[PASS] test_borrow_lt_cap() (gas: 2515385)
[PASS] test_default_borrowCap_zero() (gas: 27547)
[PASS] test_reverts_borrow_after_borrow_interests_reach_cap() (gas: 2576061)
[PASS] test_reverts_borrow_gt_cap() (gas: 142508)
[PASS] test_reverts_setBorrowCap_gt_max_cap() (gas: 48711)
[PASS] test_reverts_unauthorized_setBorrowCap() (gas: 35517)
[PASS] test_setBorrowCap() (gas: 76727)
[PASS] test_setBorrowCap_them_setBorrowCap_zero() (gas: 2535930)
Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 33.24ms (4.37ms CPU time)
Ran 10 tests for tests/protocol/pool/pool-configurator/PoolConfigurator.borrowCaps.t.sol:PoolConfiguratorBorrowCapTests
[PASS] test_borrow_eq_cap() (gas: 312319)
[PASS] test_borrow_interests_reach_cap() (gas: 314367)
[PASS] test_borrow_lt_cap() (gas: 300089)
[PASS] test_default_borrowCap_zero() (gas: 27547)
[PASS] test_reverts_borrow_after_borrow_interests_reach_cap() (gas: 360790)
[PASS] test_reverts_borrow_gt_cap() (gas: 142508)
[PASS] test_reverts_setBorrowCap_gt_max_cap() (gas: 48711)
[PASS] test_reverts_unauthorized_setBorrowCap() (gas: 35517)
[PASS] test_setBorrowCap() (gas: 76727)
[PASS] test_setBorrowCap_them_setBorrowCap_zero() (gas: 320656)
Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 29.38ms (3.03ms CPU time)
Ran 13 tests for tests/protocol/pool-rwa/pool-configurator/PoolConfigurator.eMode.Rwa.sol:PoolConfiguratorEModeConfigRwaTests
[PASS] test_addAnotherAssetBorrowableInEMode() (gas: 269494)
[PASS] test_addAnotherAssetCollateralInEMode() (gas: 249745)
[PASS] test_configureEmodeCategory() (gas: 119120)
[PASS] test_removeBorrowableFromEmode() (gas: 182460)
[PASS] test_removeCollateralFromEmode() (gas: 223997)
[PASS] test_reverts_setEmodeCategory_lb_lte_percentageFactor() (gas: 59662)
[PASS] test_reverts_setEmodeCategory_liquidation_threshold_doesnt_match_bonus() (gas: 35793)
[PASS] test_reverts_setEmodeCategory_ltv_gt_liqThreshold() (gas: 34377)
[PASS] test_reverts_setEmodeCategory_zero_liqThreshold() (gas: 34249)
[PASS] test_reverts_setEmodeCategory_zero_ltv() (gas: 34162)
[PASS] test_setAssetBorrowableInEMode() (gas: 202372)
[PASS] test_setAssetCollateralInEMode() (gas: 182537)
[PASS] test_updateEModeCategory() (gas: 205647)
Suite result: ok. 13 passed; 0 failed; 0 skipped; finished in 29.56ms (3.70ms CPU time)
Ran 13 tests for tests/protocol/pool/pool-configurator/PoolConfigurator.eMode.sol:PoolConfiguratorEModeConfigTests
[PASS] test_addAnotherAssetBorrowableInEMode() (gas: 269494)
[PASS] test_addAnotherAssetCollateralInEMode() (gas: 249745)
[PASS] test_configureEmodeCategory() (gas: 119120)
[PASS] test_removeBorrowableFromEmode() (gas: 182460)
[PASS] test_removeCollateralFromEmode() (gas: 223997)
[PASS] test_reverts_setEmodeCategory_lb_lte_percentageFactor() (gas: 59662)
[PASS] test_reverts_setEmodeCategory_liquidation_threshold_doesnt_match_bonus() (gas: 35793)
[PASS] test_reverts_setEmodeCategory_ltv_gt_liqThreshold() (gas: 34377)
[PASS] test_reverts_setEmodeCategory_zero_liqThreshold() (gas: 34249)
[PASS] test_reverts_setEmodeCategory_zero_ltv() (gas: 34162)
[PASS] test_setAssetBorrowableInEMode() (gas: 202372)
[PASS] test_setAssetCollateralInEMode() (gas: 182537)
[PASS] test_updateEModeCategory() (gas: 205647)
Suite result: ok. 13 passed; 0 failed; 0 skipped; finished in 30.04ms (3.71ms CPU time)
Ran 19 tests for tests/deployments/HorizonPhaseOneListing.t.sol:HorizonPhaseOneListingTest
[PASS] test_eMode_JAAA_GHO() (gas: 1183043)
Logs:
Aave V3 Batch Deployment
sender 0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38
Warning: Paraswap Adapters will be skipped at deployment due missing config.paraswapAugustusRegistry
[PASS] test_eMode_JAAA_Stablecoins() (gas: 2253542)
Logs:
Aave V3 Batch Deployment
sender 0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38
Warning: Paraswap Adapters will be skipped at deployment due missing config.paraswapAugustusRegistry
[PASS] test_eMode_JTRSY_GHO() (gas: 1182937)
Logs:
Aave V3 Batch Deployment
sender 0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38
Warning: Paraswap Adapters will be skipped at deployment due missing config.paraswapAugustusRegistry
[PASS] test_eMode_JTRSY_Stablecoins() (gas: 2253260)
Logs:
Aave V3 Batch Deployment
sender 0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38
Warning: Paraswap Adapters will be skipped at deployment due missing config.paraswapAugustusRegistry
[PASS] test_eMode_USCC_GHO() (gas: 1207524)
Logs:
Aave V3 Batch Deployment
sender 0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38
Warning: Paraswap Adapters will be skipped at deployment due missing config.paraswapAugustusRegistry
[PASS] test_eMode_USCC_Stablecoins() (gas: 2277553)
Logs:
Aave V3 Batch Deployment
sender 0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38
Warning: Paraswap Adapters will be skipped at deployment due missing config.paraswapAugustusRegistry
[PASS] test_eMode_USTB_GHO() (gas: 1208655)
Logs:
Aave V3 Batch Deployment
sender 0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38
Warning: Paraswap Adapters will be skipped at deployment due missing config.paraswapAugustusRegistry
[PASS] test_eMode_USTB_Stablecoins() (gas: 2278435)
Logs:
Aave V3 Batch Deployment
sender 0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38
Warning: Paraswap Adapters will be skipped at deployment due missing config.paraswapAugustusRegistry
[PASS] test_eMode_USYC_GHO() (gas: 1218992)
Logs:
Aave V3 Batch Deployment
sender 0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38
Warning: Paraswap Adapters will be skipped at deployment due missing config.paraswapAugustusRegistry
[PASS] test_eMode_USYC_Stablecoins() (gas: 2288024)
Logs:
Aave V3 Batch Deployment
sender 0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38
Warning: Paraswap Adapters will be skipped at deployment due missing config.paraswapAugustusRegistry
[PASS] test_listing_GHO() (gas: 240022)
Logs:
Aave V3 Batch Deployment
sender 0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38
Warning: Paraswap Adapters will be skipped at deployment due missing config.paraswapAugustusRegistry
[PASS] test_listing_JAAA() (gas: 224836)
Logs:
Aave V3 Batch Deployment
sender 0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38
Warning: Paraswap Adapters will be skipped at deployment due missing config.paraswapAugustusRegistry
[PASS] test_listing_JTRSY() (gas: 224835)
Logs:
Aave V3 Batch Deployment
sender 0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38
Warning: Paraswap Adapters will be skipped at deployment due missing config.paraswapAugustusRegistry
[PASS] test_listing_RLUSD() (gas: 245534)
Logs:
Aave V3 Batch Deployment
sender 0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38
Warning: Paraswap Adapters will be skipped at deployment due missing config.paraswapAugustusRegistry
[PASS] test_listing_USCC() (gas: 224791)
Logs:
Aave V3 Batch Deployment
sender 0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38
Warning: Paraswap Adapters will be skipped at deployment due missing config.paraswapAugustusRegistry
[PASS] test_listing_USDC() (gas: 245558)
Logs:
Aave V3 Batch Deployment
sender 0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38
Warning: Paraswap Adapters will be skipped at deployment due missing config.paraswapAugustusRegistry
[PASS] test_listing_USTB() (gas: 224791)
Logs:
Aave V3 Batch Deployment
sender 0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38
Warning: Paraswap Adapters will be skipped at deployment due missing config.paraswapAugustusRegistry
[PASS] test_listing_USYC() (gas: 206174)
Logs:
Aave V3 Batch Deployment
sender 0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38
Warning: Paraswap Adapters will be skipped at deployment due missing config.paraswapAugustusRegistry
[PASS] test_permissions() (gas: 104905)
Logs:
Aave V3 Batch Deployment
sender 0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38
Warning: Paraswap Adapters will be skipped at deployment due missing config.paraswapAugustusRegistry
Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 6.18s (1.04s CPU time)
Ran 6 tests for tests/misc/aave-upgradeability/InitializableImmutableAdminUpgradeabilityProxy.t.sol:InitializableImmutableAdminUpgradeabilityProxyTests
[PASS] test_proxy_fallback() (gas: 597826)
[PASS] test_proxy_upgradeTo() (gas: 619697)
[PASS] test_proxy_upgradeToAndCall() (gas: 625580)
[PASS] test_proxy_upgradeToAndCall_initialize() (gas: 594922)
[PASS] test_reverts_upgradeToAndCall_notAdmin() (gas: 600809)
[PASS] test_reverts_upgradeTo_notAdmin() (gas: 598615)
Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 9.05ms (1.39ms CPU time)
Ran 28 tests for tests/extensions/stata-token/ERC4626StataTokenUpgradeable.t.sol:ERC4626StataTokenUpgradeableTest
[PASS] test_7201() (gas: 3469)
[PASS] test_convertersAndPreviews(uint128) (runs: 1000, μ: 43755, ~: 43755)
[PASS] test_depositATokens(uint128,uint256,address) (runs: 1000, μ: 523378, ~: 523792)
[PASS] test_depositATokens_self() (gas: 523894)
Logs:
Bound result 1000000000000000000
Bound result 1000000000000000000
[PASS] test_depositWithPermit_aToken(uint128,uint256,address) (runs: 1000, μ: 556135, ~: 556710)
[PASS] test_depositWithPermit_emptyPermit_aToken_preApproval(uint128,uint256,address) (runs: 1000, μ: 529445, ~: 529846)
[PASS] test_depositWithPermit_emptyPermit_underlying_preApproval(uint128,uint256,address) (runs: 1000, μ: 466815, ~: 466678)
[PASS] test_depositWithPermit_shouldRevert_emptyPermit_noPreApproval(uint128) (runs: 1000, μ: 396126, ~: 396036)
[PASS] test_depositWithPermit_underlying(uint128,uint256,address) (runs: 1000, μ: 488053, ~: 487918)
[PASS] test_deposit_shouldRevert_insufficientAllowance(uint128) (runs: 1000, μ: 387028, ~: 386928)
[PASS] test_latestAnswer_priceShouldBeEqualOnDefaultIndex() (gas: 37293)
[PASS] test_latestAnswer_priceShouldReflectIndexAccrual(uint256) (runs: 1000, μ: 42241, ~: 42268)
[PASS] test_maxDeposit_cap(uint256) (runs: 1000, μ: 110170, ~: 110476)
[PASS] test_maxDeposit_freeze() (gas: 116806)
[PASS] test_maxDeposit_noCap() (gas: 98267)
[PASS] test_maxDeposit_paused() (gas: 90091)
[PASS] test_maxRedeem_inSufficientAvailableLiquidity(uint256) (runs: 1000, μ: 976194, ~: 976320)
[PASS] test_maxRedeem_paused(uint128) (runs: 1000, μ: 547160, ~: 547059)
[PASS] test_maxRedeem_sufficientAvailableLiquidity(uint128) (runs: 1000, μ: 518905, ~: 518814)
[PASS] test_mint(uint256,address) (runs: 1000, μ: 457070, ~: 456890)
[PASS] test_mint_shouldRevert_mintMoreThenBalance(uint256,address) (runs: 1000, μ: 248285, ~: 248127)
[PASS] test_redeem(uint256,address) (runs: 1000, μ: 578626, ~: 578457)
[PASS] test_redeemATokens(uint256,address) (runs: 999, μ: 585052, ~: 584893)
[PASS] test_redeemATokens_onBehalf(uint256) (runs: 1000, μ: 605564, ~: 605384)
[PASS] test_redeemATokens_onBehalf_shouldRevert_insufficientAllowance(uint256,uint256) (runs: 1000, μ: 537860, ~: 538434)
[PASS] test_totalAssets_shouldbeZeroOnZeroSupply() (gas: 26117)
[PASS] test_withdraw(uint256,address) (runs: 1000, μ: 582473, ~: 582312)
[PASS] test_withdraw_shouldRevert_moreThenAvailable(uint256,address) (runs: 1000, μ: 523170, ~: 523000)
Suite result: ok. 28 passed; 0 failed; 0 skipped; finished in 19.57s (19.54s CPU time)
Ran 9 tests for tests/rewards/EmissionsManager.t.sol:EmissionManagerTest
[PASS] test_configureAssets() (gas: 598175)
[PASS] test_new_EmissionManager() (gas: 747563)
[PASS] test_setClaimer() (gas: 51471)
[PASS] test_setDistributionEnd() (gas: 605444)
[PASS] test_setEmissionAdmin() (gas: 43012)
[PASS] test_setEmissionPerSecond() (gas: 611933)
[PASS] test_setRewardOracle() (gas: 687191)
[PASS] test_setRewardsController() (gas: 19086)
[PASS] test_setTransferStrategy() (gas: 888754)
Suite result: ok. 9 passed; 0 failed; 0 skipped; finished in 36.97ms (1.65ms CPU time)
Ran 47 tests for tests/protocol/pool/L2Pool.t.sol:L2PoolTests
[PASS] test_dropReserve() (gas: 98864)
[PASS] test_getBorrowLogic() (gas: 13620)
[PASS] test_getBridgeLogic() (gas: 13706)
[PASS] test_getEModeLogic() (gas: 13708)
[PASS] test_getFlashLoanLogic() (gas: 13685)
[PASS] test_getLiquidationLogic() (gas: 13685)
[PASS] test_getPoolLogic() (gas: 13706)
[PASS] test_getSupplyLogic() (gas: 13683)
[PASS] test_getVirtualUnderlyingBalance() (gas: 244672)
[PASS] test_getters_getUserAccountData() (gas: 600305)
[PASS] test_l2_borrow() (gas: 433240)
[PASS] test_l2_liquidationCall() (gas: 1086968)
[PASS] test_l2_partial_withdraw() (gas: 307375)
[PASS] test_l2_repay() (gas: 461851)
[PASS] test_l2_repay_atokens() (gas: 469511)
[PASS] test_l2_repay_permit(uint128,uint128,uint128,uint128,uint128) (runs: 987, μ: 630100, ~: 628634)
[PASS] test_l2_set_user_collateral() (gas: 267056)
[PASS] test_l2_supply() (gas: 250760)
[PASS] test_l2_supply_permit(uint128,uint128) (runs: 975, μ: 419241, ~: 419245)
[PASS] test_l2_withdraw() (gas: 243292)
[PASS] test_mintToTreasury() (gas: 694438)
[PASS] test_mintToTreasury_skip_invalid_addresses() (gas: 698997)
[PASS] test_noop_setUserUseReserveAsCollateral_true_when_already_is_activated() (gas: 290835)
[PASS] test_pool_defaultValues() (gas: 4368448)
[PASS] test_rescueTokens(uint256) (runs: 1000, μ: 81921, ~: 82198)
[PASS] test_resetIsolationModeTotalDebt() (gas: 722710)
[PASS] test_reverts_initReserve_not_poolConfigurator(address) (runs: 1000, μ: 25515, ~: 25515)
[PASS] test_reverts_modifiers_not_poolConfigurator(address) (runs: 1000, μ: 127035, ~: 127035)
[PASS] test_reverts_new_Pool_invalidAddressesProvider() (gas: 4380496)
[PASS] test_reverts_setReserveInterestRateStrategyAddress_AssetNotListed(address,address) (runs: 1000, μ: 54184, ~: 54184)
[PASS] test_reverts_setReserveInterestRateStrategyAddress_ZeroAssetAddress(address) (runs: 1000, μ: 22733, ~: 22733)
[PASS] test_reverts_setUserEmode_0_bad_hf() (gas: 971170)
[PASS] test_reverts_setUserUseReserveAsCollateral_false_hf_lower_lqt() (gas: 602374)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_ltv_zero() (gas: 296738)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_reserve_inactive() (gas: 212016)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_reserve_paused() (gas: 291598)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_user_balance_zero() (gas: 71869)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_user_isolation_mode() (gas: 779504)
[PASS] test_setLiquidationGracePeriod(uint40) (runs: 1000, μ: 34650, ~: 34746)
[PASS] test_setLiquidationGracePeriod_assetNotListed(uint40) (runs: 1000, μ: 27115, ~: 27115)
[PASS] test_setReserveInterestRateStrategyAddress() (gas: 899736)
[PASS] test_setUserEmode() (gas: 227668)
[PASS] test_setUserEmode_twice() (gas: 358158)
[PASS] test_setUserEmode_twice_inconsistent_category() (gas: 969265)
[PASS] test_setUserUseReserveAsCollateral_false() (gas: 240307)
[PASS] test_setUserUseReserveAsCollateral_true() (gas: 277892)
[PASS] test_updateBridgeProtocolFee() (gas: 187)
Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 4.17s (4.13s CPU time)
Ran 5 tests for tests/protocol/libraries/math/MathUtils.t.sol:MathUtilsTests
[PASS] test_calculateCompoundInterest_1() (gas: 10340)
[PASS] test_calculateCompoundInterest_2() (gas: 10337)
[PASS] test_calculateCompoundInterest_edge() (gas: 9166)
[PASS] test_calculateLinearInterest() (gas: 9211)
[PASS] test_constants() (gas: 8334)
Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 1.08ms (127.22µs CPU time)
Ran 17 tests for tests/extensions/paraswap-adapters/ParaswapAdapters.t.sol:ParaswapAdaptersTest
[PASS] test_rescueTokens() (gas: 196192)
[PASS] test_reverts_offset_out_of_range_swap_liquidity_permit_flashloan() (gas: 739972)
[PASS] test_reverts_swapAndDeposit_offset() (gas: 811061)
[PASS] test_reverts_swapAndRepay_offset_out_of_range() (gas: 914305)
[PASS] test_reverts_withdrawAndSwap_offset_out_of_range() (gas: 791019)
[PASS] test_swapAndDeposit() (gas: 891441)
[PASS] test_swapAndDeposit_permit() (gas: 938488)
[PASS] test_swapAndRepay() (gas: 988948)
[PASS] test_swapAndRepay_flashloan() (gas: 1076972)
[PASS] test_swapAndRepay_flashloan_permit() (gas: 1119603)
[PASS] test_swapAndRepay_no_collateral_leftovers() (gas: 1038433)
[PASS] test_swapAndRepay_permit() (gas: 1035825)
[PASS] test_swap_liquidity_flashloan() (gas: 1002304)
[PASS] test_swap_liquidity_pe...*[Comment body truncated]* |
♻️ Forge Gas Snapshots🔕 Unchanged
|
Forge Build Sizes🔕 Unchanged
|
🔮 Coverage report
|
yan-man
approved these changes
Aug 21, 2025
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.
Same as #24, which got mistakenly merged without squashing. Main was fixed and this PR will bring the deployment scripts again on main