Open
Conversation
Certora Run Started (Certora Prover Run)
Certora Run Summary
|
Certora Run Started (Certora Prover Run)
Certora Run Summary
|
Certora Run Started (Certora Prover Run)
Certora Run Summary
|
Certora Run Started (Certora Prover Run)
Certora Run Summary
|
Certora Run Started (Certora Prover Run)
Certora Run Summary
|
Codecov Report✅ All modified and coverable lines are covered by tests. Additional details and impacted files@@ Coverage Diff @@
## main #8 +/- ##
=======================================
Coverage 97.47% 97.47%
=======================================
Files 67 67
Lines 3486 3486
=======================================
Hits 3398 3398
Misses 88 88 ☔ View full report in Codecov by Sentry. 🚀 New features to boost your workflow:
|
Forge Build Sizes
🔕 Unchanged
|
🔮 Coverage report
|
🌈 Test ResultsNo files changed, compilation skipped
Ran 20 tests for tests/protocol/configuration/ACLManager.t.sol:ACLManagerTest
[PASS] testDefaultAdminRoleAfterDeploy() (gas: 20677)
[PASS] test_defaultAdmin_grantAdminRole_FlashBorrowAdmin() (gas: 65496)
[PASS] test_defaultAdmin_grants_AssetsListingRole() (gas: 37587)
[PASS] test_defaultAdmin_grants_BridgeRole() (gas: 37653)
[PASS] test_defaultAdmin_grants_EmergencyAdminRole() (gas: 37600)
[PASS] test_defaultAdmin_grants_PoolAdminRole() (gas: 37720)
[PASS] test_defaultAdmin_grants_RiskRole() (gas: 37717)
[PASS] test_defaultAdmin_remove_AssetsListingRole() (gas: 29432)
[PASS] test_defaultAdmin_remove_BridgeRole() (gas: 29521)
[PASS] test_defaultAdmin_remove_EmergencyAdminRole() (gas: 29416)
[PASS] test_defaultAdmin_remove_PoolAdminRole() (gas: 29538)
[PASS] test_defaultAdmin_remove_RiskRole() (gas: 29423)
[PASS] test_flashBorrowAdmin_grantRole_FlashBorrowRole() (gas: 91896)
[PASS] test_flashBorrowAdmin_removeRole_FlashBorrowRole() (gas: 76412)
[PASS] test_remove_riskAdmin() (gas: 29432)
[PASS] test_revert_anyUser_grantAdminRole_FlashBorrowAdmin() (gas: 72834)
[PASS] test_revert_deploy_ACLADMIN_zeroAddress() (gas: 1523412)
[PASS] test_reverts_defaultAdmin_notRoleAdmin_addRole_FlashBorrowRole() (gas: 98813)
[PASS] test_reverts_defaultAdmin_notRoleAdmin_revokeRole_FlashBorrowRole() (gas: 125190)
[PASS] test_reverts_notAdmin_grantRole_FlashBorrow() (gas: 113970)
Suite result: ok. 20 passed; 0 failed; 0 skipped; finished in 7.72ms (1.97ms CPU time)
Ran 7 tests for tests/protocol/configuration/AddressesProviderRegistry.t.sol:PoolAddressesProviderRegistryTest
[PASS] testAddAddressesProvider() (gas: 120369)
[PASS] testRemoveAddressesProvider() (gas: 96895)
[PASS] testRemoveMultipleAddressesProvider() (gas: 242308)
[PASS] test_addressesProviderAddedToRegistry() (gas: 16383)
[PASS] test_removesLastProvider() (gas: 32576)
[PASS] test_revert_registry_0() (gas: 15287)
[PASS] test_revert_removeNonExistingAddressesProvider() (gas: 27258)
Suite result: ok. 7 passed; 0 failed; 0 skipped; finished in 42.00ms (1.53ms CPU time)
Ran 19 tests for tests/gas/AToken.Transfer.gas.t.sol:ATokenTransfer_gas_Tests
[PASS] test_transferFrom_fullAmount() (gas: 733871)
[PASS] test_transferFrom_fullAmount_dirtyReceiver() (gas: 1255856)
[PASS] test_transferFrom_fullAmount_senderCollateralDisabled() (gas: 782658)
[PASS] test_transferFrom_fullAmount_senderCollateralDisabled_receiverNonZeroFunds() (gas: 1281732)
[PASS] test_transferFrom_fullAmount_senderCollateralDisabled_receiverNonZeroFunds2() (gas: 1232877)
[PASS] test_transferFrom_partialAmount() (gas: 744465)
[PASS] test_transferFrom_partialAmount_receiverNonZeroFunds() (gas: 1243508)
[PASS] test_transferFrom_partialAmount_senderCollateralEnabled() (gas: 700473)
[PASS] test_transferFrom_partialAmount_senderCollateralEnabled_receiverNonZeroFunds() (gas: 1199492)
[PASS] test_transfer_fullAmount() (gas: 671874)
[PASS] test_transfer_fullAmount_dirtyReceiver() (gas: 1193887)
[PASS] test_transfer_fullAmount_senderCollateralDisabled() (gas: 720776)
[PASS] test_transfer_fullAmount_senderCollateralDisabled_receiverDirty() (gas: 1190763)
[PASS] test_transfer_fullAmount_senderCollateralDisabled_receiverNonZeroFunds() (gas: 1219800)
[PASS] test_transfer_fullAmount_senderCollateralDisabled_receiverNonZeroFunds2() (gas: 1171011)
[PASS] test_transfer_partialAmount() (gas: 692017)
[PASS] test_transfer_partialAmount_receiverNonZeroFunds() (gas: 1191066)
[PASS] test_transfer_partialAmount_senderCollateralEnabled() (gas: 647982)
[PASS] test_transfer_partialAmount_senderCollateralEnabled_receiverNonZeroFunds() (gas: 1147032)
Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 67.02ms (28.88ms CPU time)
Ran 1 test for tests/template/BaseTest.t.sol:BaseTest
[PASS] test_default() (gas: 224064)
Suite result: ok. 1 passed; 0 failed; 0 skipped; finished in 31.81ms (931.40µs CPU time)
Ran 5 tests for tests/treasury/Collector.t.sol:CollectorTest
[PASS] testApprove() (gas: 49702)
[PASS] testApproveWhenNotFundsAdmin() (gas: 18183)
[PASS] testTransfer() (gas: 54858)
[PASS] testTransferWhenNotFundsAdmin() (gas: 18207)
[PASS] test_receiveEth() (gas: 20265)
Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 2.78ms (263.63µs CPU time)
Ran 6 tests for tests/treasury/Collector.t.sol:FundsAdminRoleBytesTest
[PASS] testApprove() (gas: 49658)
[PASS] testApproveWhenNotFundsAdmin() (gas: 18161)
[PASS] testTransfer() (gas: 54903)
[PASS] testTransferWhenNotFundsAdmin() (gas: 18185)
[PASS] test_receiveEth() (gas: 20288)
[PASS] test_successful() (gas: 13383)
Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 2.82ms (307.30µs CPU time)
Ran 7 tests for tests/treasury/Collector.t.sol:IsFundsAdminTest
[PASS] testApprove() (gas: 49658)
[PASS] testApproveWhenNotFundsAdmin() (gas: 18183)
[PASS] testTransfer() (gas: 54858)
[PASS] testTransferWhenNotFundsAdmin() (gas: 18207)
[PASS] test_isFundsAdmin() (gas: 24249)
[PASS] test_isNotFundsAdmin() (gas: 17579)
[PASS] test_receiveEth() (gas: 20288)
Suite result: ok. 7 passed; 0 failed; 0 skipped; finished in 3.66ms (931.91µs CPU time)
Ran 26 tests for tests/treasury/Collector.t.sol:StreamsTest
[PASS] testApprove() (gas: 49636)
[PASS] testApproveWhenNotFundsAdmin() (gas: 18335)
[PASS] testCancelStreamByFundsAdmin() (gas: 206160)
[PASS] testCancelStreamByRecipient() (gas: 231265)
[PASS] testCancelStreamWhenNotAdminOrRecipient() (gas: 242221)
[PASS] testCancelStreamWhenStreamNotExists() (gas: 22839)
[PASS] testCreateStream() (gas: 244288)
[PASS] testCreateStreamWhenDepositIsZero() (gas: 27252)
[PASS] testCreateStreamWhenNotFundsAdmin() (gas: 24600)
[PASS] testCreateStreamWhenRecipientIsCollector() (gas: 25041)
[PASS] testCreateStreamWhenRecipientIsTheCaller() (gas: 25296)
[PASS] testCreateStreamWhenRecipientIsZero() (gas: 25064)
[PASS] testCreateStreamWhenStartTimeInThePast() (gas: 25761)
[PASS] testCreateStreamWhenStopTimeBeforeStart() (gas: 23210)
[PASS] testGetNextStreamId() (gas: 17592)
[PASS] testGetNotExistingStream() (gas: 18416)
[PASS] testGetStream() (gas: 234347)
[PASS] testTransfer() (gas: 54947)
[PASS] testTransferWhenNotFundsAdmin() (gas: 18337)
[PASS] testWithdrawFromStream() (gas: 307164)
[PASS] testWithdrawFromStreamFinishesSuccessfully() (gas: 230192)
[PASS] testWithdrawFromStreamWhenAmountExceedsBalance() (gas: 243607)
[PASS] testWithdrawFromStreamWhenAmountIsZero() (gas: 238105)
[PASS] testWithdrawFromStreamWhenNotAdminOrRecipient() (gas: 240264)
[PASS] testWithdrawFromStreamWhenStreamNotExists() (gas: 23004)
[PASS] test_receiveEth() (gas: 20310)
Suite result: ok. 26 passed; 0 failed; 0 skipped; finished in 7.53ms (4.89ms CPU time)
Ran 10 tests for tests/protocol/tokenization/ATokenDelegation.t.sol:ATokenDelegationTest
[PASS] test_delegate() (gas: 401010)
[PASS] test_getDelegates() (gas: 133834)
[PASS] test_getPowersCurrent() (gas: 643688)
[PASS] test_getPowersCurrent_with_index_growth() (gas: 745616)
[PASS] test_initial_state_without_delegation() (gas: 47449)
[PASS] test_mint_and_burn() (gas: 2662394)
[PASS] test_precision() (gas: 1107763)
[PASS] test_transfer() (gas: 2317760)
[PASS] test_transferFrom() (gas: 2428856)
[PASS] test_transferOnLiquidation() (gas: 2178174)
Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 93.87ms (58.79ms CPU time)
Ran 10 tests for tests/protocol/tokenization/ATokenDelegation.t.sol:ATokenDelegationTestWithPermits
[PASS] test_delegate() (gas: 488098)
[PASS] test_getDelegates() (gas: 195820)
[PASS] test_getPowersCurrent() (gas: 751931)
[PASS] test_getPowersCurrent_with_index_growth() (gas: 821103)
[PASS] test_initial_state_without_delegation() (gas: 47449)
[PASS] test_mint_and_burn() (gas: 2742014)
[PASS] test_precision() (gas: 1107763)
[PASS] test_transfer() (gas: 2477132)
[PASS] test_transferFrom() (gas: 2564619)
[PASS] test_transferOnLiquidation() (gas: 2337541)
Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 106.21ms (75.55ms CPU time)
Ran 15 tests for tests/protocol/tokenization/ATokenEdgeCases.t.sol:ATokenEdgeCasesTests
[PASS] testApprove() (gas: 45201)
[PASS] testApproveMax() (gas: 45260)
[PASS] testApproveWithZeroAddressSpender() (gas: 42243)
[PASS] testCheckGetters() (gas: 261393)
[PASS] testDecreaseAllowance() (gas: 53198)
[PASS] testIncreaseAllowance() (gas: 53224)
[PASS] testIncreaseAllowanceFromZero() (gas: 48461)
[PASS] testMintToTreasury_amount_zero() (gas: 15692)
[PASS] testTransferFromZeroAmount() (gas: 124605)
[PASS] test_burn_zeroAddress() (gas: 257597)
[PASS] test_mintToZeroAddress() (gas: 80228)
[PASS] test_reverts_burnAmountScaledZero() (gas: 18964)
[PASS] test_reverts_mintAmountScaledZero() (gas: 19075)
[PASS] test_transferFrom_zeroAddress_origin() (gas: 124416)
[PASS] test_transfer_amount_MAX_UINT_120() (gas: 16576)
Suite result: ok. 15 passed; 0 failed; 0 skipped; finished in 33.05ms (3.17ms CPU time)
Ran 13 tests for tests/protocol/tokenization/ATokenEvents.t.sol:ATokenEventsTests
[PASS] test_allowance_events_in_approve_function() (gas: 58868)
[PASS] test_allowance_events_in_decreaseAllowance_function() (gas: 56974)
[PASS] test_allowance_events_in_increaseAllowance_function() (gas: 52385)
[PASS] test_allowance_events_in_renounceAllowance_function() (gas: 35045)
[PASS] test_allowance_events_in_transferFrom_function() (gas: 224498)
[PASS] test_atoken_burnEvents_fullBalance() (gas: 520214)
[PASS] test_atoken_burnEvents_multipleWithdrawals_withInterests() (gas: 606779)
[PASS] test_atoken_burnEvents_singleWithdraw_WithInterests() (gas: 530850)
[PASS] test_atoken_burnEvents_singleWithdraw_noInterests() (gas: 245632)
[PASS] test_atoken_burnEvents_withdrawAmountLessThanInterests() (gas: 533585)
[PASS] test_atoken_mintEvents_firstSupply() (gas: 245094)
[PASS] test_atoken_mintEvents_supplyAfterBorrow() (gas: 584053)
[PASS] test_mintToTreasury_events() (gas: 85780)
Suite result: ok. 13 passed; 0 failed; 0 skipped; finished in 83.74ms (25.44ms CPU time)
Ran 4 tests for tests/protocol/tokenization/ATokenModifiers.t.sol:ATokenModifiersTests
[PASS] test_revert_notAdmin_burn() (gas: 16880)
[PASS] test_revert_notAdmin_mint() (gas: 16883)
[PASS] test_revert_notAdmin_transferOnLiquidation() (gas: 16910)
[PASS] test_revert_notAdmin_transferUnderlyingTo() (gas: 16687)
Suite result: ok. 4 passed; 0 failed; 0 skipped; finished in 28.23ms (254.46µs CPU time)
Ran 9 tests for tests/protocol/tokenization/ATokenPermit.t.sol:ATokenPermitTests
[PASS] testCheckDomainSeparator() (gas: 26105)
[PASS] test_cancelPermit() (gas: 94221)
[PASS] test_chain_fork_calculateDomainSeparator() (gas: 32890)
[PASS] test_revert_submitPermit_0_expiration() (gas: 41222)
[PASS] test_revert_submitPermit_InvalidExpiration_previosCurrentBlock() (gas: 42120)
[PASS] test_revert_submitPermit_InvalidSignature() (gas: 49668)
[PASS] test_revert_submitPermit_invalid_nonce() (gas: 50252)
[PASS] test_revert_submitPermit_invalid_owner() (gas: 41071)
[PASS] test_submitPermit() (gas: 89802)
Suite result: ok. 9 passed; 0 failed; 0 skipped; finished in 47.92ms (3.46ms CPU time)
Ran 3 tests for tests/protocol/tokenization/ATokenRepay.t.sol:ATokenRepayTests
[PASS] test_repay_allDebt() (gas: 240834)
[PASS] test_repay_partialDebt() (gas: 237786)
[PASS] test_revert_repay_withoutFunds() (gas: 133408)
Suite result: ok. 3 passed; 0 failed; 0 skipped; finished in 31.91ms (3.17ms CPU time)
Ran 3 tests for tests/protocol/tokenization/ATokenRescueTokens.sol:ATokenRescueTokensTests
[PASS] test_rescueTokens() (gas: 77616)
[PASS] test_reverts_rescueTokens_CALLER_NOT_POOL_ADMIN() (gas: 70453)
[PASS] test_reverts_rescueTokens_UnderlyingCannotBeRescued() (gas: 71112)
Suite result: ok. 3 passed; 0 failed; 0 skipped; finished in 30.84ms (516.02µs CPU time)
Ran 9 tests for tests/rewards/EmissionsManager.t.sol:EmissionManagerTest
[PASS] test_configureAssets() (gas: 582123)
[PASS] test_new_EmissionManager() (gas: 756819)
[PASS] test_setClaimer() (gas: 51517)
[PASS] test_setDistributionEnd() (gas: 589381)
[PASS] test_setEmissionAdmin() (gas: 43116)
[PASS] test_setEmissionPerSecond() (gas: 595890)
[PASS] test_setRewardOracle() (gas: 671191)
[PASS] test_setRewardsController() (gas: 19122)
[PASS] test_setTransferStrategy() (gas: 856073)
Suite result: ok. 9 passed; 0 failed; 0 skipped; finished in 32.47ms (1.67ms CPU time)
Ran 6 tests for tests/misc/aave-upgradeability/InitializableImmutableAdminUpgradeabilityProxy.t.sol:InitializableImmutableAdminUpgradeabilityProxyTests
[PASS] test_proxy_fallback() (gas: 600016)
[PASS] test_proxy_upgradeTo() (gas: 622088)
[PASS] test_proxy_upgradeToAndCall() (gas: 627937)
[PASS] test_proxy_upgradeToAndCall_initialize() (gas: 597095)
[PASS] test_reverts_upgradeToAndCall_notAdmin() (gas: 602961)
[PASS] test_reverts_upgradeTo_notAdmin() (gas: 600781)
Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 2.45ms (1.39ms CPU time)
Ran 23 tests for tests/protocol/pool/Pool.FlashLoans.t.sol:PoolFlashLoansTests
[PASS] test_flashloan() (gas: 183132)
[PASS] test_flashloan_borrow() (gas: 503834)
[PASS] test_flashloan_borrow_inside_flashloan_and_check_rate_after() (gas: 1706172)
[PASS] test_flashloan_multiple() (gas: 286657)
[PASS] test_flashloan_rounding_accruedToTreasury() (gas: 464985)
[PASS] test_flashloan_rounding_premium() (gas: 174364)
[PASS] test_flashloan_simple() (gas: 150144)
[PASS] test_flashloan_simple_2() (gas: 152228)
[PASS] test_flashloan_simple_borrow_inside_flashloan_and_check_rate_after() (gas: 1134859)
[PASS] test_flashloan_simple_rounding_accruedToTreasury() (gas: 442937)
[PASS] test_flashloan_simple_rounding_premium() (gas: 147812)
[PASS] test_revert_flashloan_borrow_stable() (gas: 207075)
[PASS] test_reverts_flashLoan_invalid_return() (gas: 180197)
[PASS] test_reverts_flashLoan_reserve_inactive() (gas: 143226)
[PASS] test_reverts_flashLoan_reserve_not_flash_loan_enabled() (gas: 102568)
[PASS] test_reverts_flashLoan_reserve_paused() (gas: 99423)
[PASS] test_reverts_flashLoan_same_asset_more_then_once(uint8) (runs: 1000, μ: 140340, ~: 103916)
[PASS] test_reverts_flashLoan_simple_invalid_return() (gas: 144183)
[PASS] test_reverts_flashloan_simple_transferred_funds() (gas: 153783)
[PASS] test_reverts_flashloan_transferred_funds() (gas: 183647)
[PASS] test_reverts_flashloans_eoa() (gas: 107774)
[PASS] test_reverts_supply_flashloan_simple_transfer_withdraw() (gas: 814771)
[PASS] test_reverts_supply_flashloan_transfer_withdraw() (gas: 846483)
Suite result: ok. 23 passed; 0 failed; 0 skipped; finished in 850.20ms (817.13ms CPU time)
Ran 7 tests for tests/protocol/tokenization/ATokenRounding.t.sol:ATokenRoundingTest
[PASS] test_balanceShouldRoundDown() (gas: 48321)
[PASS] test_fuzzEdge(uint256,uint256,uint256) (runs: 1000, μ: 325003, ~: 325084)
Logs:
Bound result 88883586588080880847916714633
Bound result 33997618014316978820534741794
Bound result 34513501089976653932795
[PASS] test_supplyShouldRoundDown() (gas: 282794)
[PASS] test_supplyShouldRoundDown_revertIfZero() (gas: 144624)
[PASS] test_totalSupplyShouldRoundDown() (gas: 44087)
[PASS] test_transferAmountShouldBeRoundedUp() (gas: 387188)
[PASS] test_withdrawShouldRoundUp() (gas: 353876)
Suite result: ok. 7 passed; 0 failed; 0 skipped; finished in 890.39ms (854.88ms CPU time)
Ran 12 tests for tests/gas/Pool.Getters.gas.t.sol:PoolGetters_gas_Tests
[PASS] test_getEModeCategoryCollateralConfig() (gas: 16653)
[PASS] test_getEModeCategoryData() (gas: 20422)
[PASS] test_getLiquidationGracePeriod() (gas: 18151)
[PASS] test_getReserveData() (gas: 41837)
[PASS] test_getUserAccountData() (gas: 30897)
[PASS] test_getUserAccountData_oneSupplies() (gas: 605166)
[PASS] test_getUserAccountData_oneSupplies_with_eMode_enabled() (gas: 905581)
[PASS] test_getUserAccountData_twoSupplies() (gas: 1164075)
[PASS] test_getUserAccountData_twoSupplies_oneBorrows() (gas: 2009874)
[PASS] test_getUserAccountData_twoSupplies_oneBorrows_with_eMode_enabled() (gas: 2508539)
[PASS] test_getUserAccountData_twoSupplies_with_eMode_enabled() (gas: 1564335)
[PASS] test_getUserAccountData_with_eMode_enabled() (gas: 213914)
Suite result: ok. 12 passed; 0 failed; 0 skipped; finished in 51.67ms (15.82ms CPU time)
Ran 13 tests for tests/protocol/tokenization/ATokenTransfers.t.sol:ATokenTransferTests
[PASS] test_approve_and_renounceAllowance() (gas: 41204)
[PASS] test_atoken_alice_transfer_all_to_bob() (gas: 128984)
[PASS] test_atoken_alice_transfer_to_bob() (gas: 196754)
[PASS] test_atoken_alice_transfer_to_bob_zero() (gas: 152047)
[PASS] test_atoken_alice_transfer_to_carol_accrues_interests() (gas: 215541)
[PASS] test_atoken_alice_transfer_to_herself() (gas: 75663)
[PASS] test_atoken_alice_transfer_to_herself_zero() (gas: 75617)
[PASS] test_atoken_multiple_transfers() (gas: 168040)
[PASS] test_atoken_transfer_sets_enabled_as_collateral(uint256,uint256) (runs: 1000, μ: 360706, ~: 360599)
Logs:
Bound result 2311731808
Bound result 1532649602
[PASS] test_atoken_transfer_some_collateral_from_bob_borrower_to_alice() (gas: 510716)
[PASS] test_atoken_transfer_to_bob_them_bob_borrows() (gas: 391621)
[PASS] test_reverts_atoken_transfer_all_collateral_from_bob_borrower_to_alice() (gas: 384049)
[PASS] test_scaled_balance_token_base_alice_transfer_to_bob_accrues_interests() (gas: 109535)
Suite result: ok. 13 passed; 0 failed; 0 skipped; finished in 969.61ms (941.89ms CPU time)
Ran 6 tests for tests/gas/ATokenWithDelegation.Transfer.gas.t.sol:ATokenWithDelegation_gas_Tests
[PASS] test_transfer_fullAmountSenderWithAndReceiverWithoutDelegations() (gas: 271073)
[PASS] test_transfer_fullAmountSenderWithoutAndReceiverWithDelegations_notDelegatees() (gas: 263010)
[PASS] test_transfer_fullAmountWithDelegations_delegatees() (gas: 569266)
[PASS] test_transfer_fullAmountWithDelegations_notDelegatees() (gas: 375119)
[PASS] test_transfer_fullAmountWithoutDelegations_delegatees() (gas: 357195)
[PASS] test_transfer_fullAmountWithoutDelegations_notDelegatees() (gas: 159002)
Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 40.70ms (3.02ms CPU time)
Ran 1 test for tests/protocol/tokenization/ATokenWithDelegationRounding.t.sol:ATokenWithDelegationRoundingTest
[PASS] test_getPowerCurrent_and_delegate_shouldRoundDown() (gas: 227432)
Suite result: ok. 1 passed; 0 failed; 0 skipped; finished in 32.93ms (814.49µs CPU time)
Ran 4 tests for tests/protocol/tokenization/AToken_TransferFrom.t.sol:ATokenTransferFromTests
[PASS] test_transferFrom(uint128,uint256) (runs: 1000, μ: 149464, ~: 151453)
Logs:
Bound result 32519298283972017233292236492229
Bound result 16917111901699476485540
[PASS] test_transferFrom_max_allowance() (gas: 190574)
[PASS] test_transferFrom_shouldRevertIfSenderInsufficientAllowance() (gas: 58447)
[PASS] test_transferFrom_shouldRevertIfSenderIsNotApproved() (gas: 31499)
Suite result: ok. 4 passed; 0 failed; 0 skipped; finished in 521.79ms (495.07ms CPU time)
Ran 12 tests for tests/misc/AaveOracle.t.sol:AaveOracleTest
[PASS] testAddSingleSource() (gas: 906871)
[PASS] testAssetZeroPriceAndZeroFallbackPrice() (gas: 1045968)
[PASS] testAssetZeroPriceNonZeroFallback() (gas: 1065911)
[PASS] testAssetZeroPriceWithoutFallback() (gas: 888584)
[PASS] testEmptySource() (gas: 791876)
[PASS] testGetBaseCurrencyPrice() (gas: 12312)
[PASS] testGetPriceViaFallbackOracle() (gas: 970390)
[PASS] testUpdateFallbackOracle() (gas: 178435)
[PASS] testUpdateSingleSource() (gas: 126689)
[PASS] testUpdateSourceBaseCurrency() (gas: 138281)
[PASS] test_revert_setAssetSources_inconsistentParams() (gas: 792758)
[PASS] test_revert_setAssetSources_wrongCaller() (gas: 24207)
Suite result: ok. 12 passed; 0 failed; 0 skipped; finished in 32.47ms (2.10ms CPU time)
Ran 7 tests for tests/utils/AaveSetters.t.sol:AaveSettersTest
[PASS] test_setATokenBalance() (gas: 41767)
[PASS] test_setATokenTotalSupply() (gas: 38191)
[PASS] test_setLastUpdateTimestamp() (gas: 61267)
[PASS] test_setLiquidityIndex() (gas: 59946)
[PASS] test_setVTokenBalance() (gas: 41901)
[PASS] test_setVTokenTotalSupply() (gas: 38200)
[PASS] test_setVariableBorrowIndex() (gas: 59989)
Suite result: ok. 7 passed; 0 failed; 0 skipped; finished in 32.23ms (1.08ms CPU time)
Ran 4 tests for tests/deployments/AaveV3BatchDeployment.t.sol:AaveV3BatchDeployment
[PASS] testAaveV3BatchDeploy() (gas: 50025305)
[PASS] testAaveV3BatchDeploymentCheck() (gas: 57937158)
[PASS] testAaveV3Batch_reuseIncentivesProxy() (gas: 49523860)
[PASS] testAaveV3L2BatchDeploymentCheck() (gas: 59711736)
Suite result: ok. 4 passed; 0 failed; 0 skipped; finished in 89.94ms (85.37ms CPU time)
Ran 11 tests for tests/deployments/AaveV3BatchTests.t.sol:AaveV3BatchTests
[PASS] test0AaveV3SetupDeployment() (gas: 5251213)
[PASS] test10StaticATokenDeployment() (gas: 6676200)
[PASS] test1AaveV3GettersDeployment() (gas: 7429906)
[PASS] test2AaveV3PoolDeployment() (gas: 8348193)
[PASS] test3AaveV3L2PoolDeployment() (gas: 8608764)
[PASS] test4PeripheralsRelease() (gas: 7059608)
[PASS] test5MiscDeployment() (gas: 844185)
[PASS] test7SetupMarket() (gas: 2641206)
[PASS] test8TokensMarket() (gas: 3883791)
[PASS] test9ConfigEngineDeployment() (gas: 7374303)
[PASS] testAaveV3FullBatchOrchestration() (gas: 50022717)
Suite result: ok. 11 passed; 0 failed; 0 skipped; finished in 20.09ms (11.24ms CPU time)
Ran 5 tests for tests/invariants/CryticToFoundry.t.sol:CryticToFoundry
[PASS] test_replay_V33_supply() (gas: 115104991)
[PASS] test_replay_v33_2transfer() (gas: 145282537)
[PASS] test_replay_v33_supply() (gas: 236527090)
[PASS] test_v32_borrow() (gas: 115164583)
[PASS] test_v32_withdrawEchidna() (gas: 115146547)
Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 2.55s (2.53s CPU time)
Ran 11 tests for tests/deployments/DeploymentsGasLimits.t.sol:DeploymentsGasLimits
[PASS] test0AaveV3SetupDeployment() (gas: 5251103)
[PASS] test10ConfigEngineDeployment() (gas: 7374240)
[PASS] test11StaticATokenDeployment() (gas: 6676133)
[PASS] test1AaveV3GettersBatch1Deployment() (gas: 4604224)
[PASS] test2AaveV3GettersBatch2Deployment() (gas: 3599145)
[PASS] test3AaveV3PoolDeployment() (gas: 8348159)
[PASS] test4AaveV3L2PoolDeployment() (gas: 8608687)
[PASS] test5PeripheralsRelease() (gas: 7059630)
[PASS] test6MiscDeployment() (gas: 1247715)
[PASS] test8SetupMarket() (gas: 2665837)
[PASS] test9TokensMarket() (gas: 3883793)
Suite result: ok. 11 passed; 0 failed; 0 skipped; finished in 15.24ms (5.65ms CPU time)
Ran 23 tests for tests/extensions/v3-config-engine/AaveV3ConfigEngineTest.t.sol:AaveV3ConfigEngineTest
[PASS] testAssetEModeUpdates() (gas: 2780720)
[PASS] testBorrowUpdatesNoChange() (gas: 2446529)
[PASS] testBorrowsUpdates() (gas: 2515307)
[PASS] testCapsUpdate() (gas: 2456281)
[PASS] testCollateralUpdateCorrectBonus() (gas: 2472421)
[PASS] testCollateralUpdateLtZeroDebtCeilingShouldRevert() (gas: 990631)
[PASS] testCollateralUpdateLtZeroLiqProtocolFeeOnly() (gas: 2592220)
[PASS] testCollateralUpdateWrongBonus() (gas: 798200)
[PASS] testCollateralsUpdates() (gas: 2472232)
[PASS] testCollateralsUpdatesNoChange() (gas: 2444614)
[PASS] testCollateralsUpdatesNoChangeShouldNotEmit() (gas: 803801)
[PASS] testEModeCategoryCreation() (gas: 1241659)
[PASS] testEModeCategoryUpdates() (gas: 2601597)
[PASS] testEModeCategoryUpdatesNoChange() (gas: 2603238)
[PASS] testEModeCategoryUpdatesNoChangeShouldNotEmit() (gas: 878152)
[PASS] testEModeCategoryUpdatesWrongBonus() (gas: 868390)
[PASS] testListingWithEModeCategoryCreation() (gas: 5726955)
[PASS] testListings() (gas: 5437686)
[PASS] testListingsCustom() (gas: 9260214)
[PASS] testListingsCustomWithEModeCategoryCreation() (gas: 9550206)
[PASS] testPriceFeedUpdateInvalidDecimalsShouldRevert() (gas: 870327)
[PASS] testPriceFeedsUpdates() (gas: 2524320)
[PASS] testRateStrategiesUpdates() (gas: 2511229)
Suite result: ok. 23 passed; 0 failed; 0 skipped; finished in 247.14ms (253.85ms CPU time)
Ran 1 test for tests/deployments/AaveV3PermissionsTest.t.sol:AaveV3PermissionsTest
[PASS] testCheckPermissions() (gas: 48314301)
Suite result: ok. 1 passed; 0 failed; 0 skipped; finished in 21.58ms (17.92ms CPU time)
Ran 4 tests for tests/protocol/pool/pool-configurator/PoolConfigurator.upgradeabilty.t.sol:PoolConfiguratorUpgradeabilityTests
[PASS] test_getConfiguratorLogic() (gas: 13601)
[PASS] test_setReserveInterestRateData() (gas: 142573)
[PASS] test_updateAToken() (gas: 2384516)
[PASS] test_updateVariableDebtToken() (gas: 1683120)
Suite result: ok. 4 passed; 0 failed; 0 skipped; finished in 35.19ms (3.82ms CPU time)
Ran 3 tests for tests/protocol/libraries/logic/PoolLogic.initReserves.edge.t.sol:PoolLogicInitReservesTests
[PASS] test_initReserves_return_false_after_dropped_reserve() (gas: 618084)
[PASS] test_reverts_initReserves_max() (gas: 174166)
[PASS] test_reverts_initReserves_reserveAlreadyAdded() (gas: 197304)
Suite result: ok. 3 passed; 0 failed; 0 skipped; finished in 30.93ms (582.80µs CPU time)
Ran 11 tests for tests/misc/PriceOracleSentinel.t.sol:PriceOracleSentinelTest
[PASS] test_isBorrowAllowed_network_down() (gas: 27215)
[PASS] test_isBorrowAllowed_network_up_not_grace_period() (gas: 47299)
[PASS] test_isBorrowAllowed_true_network_up_grace_period_pass() (gas: 47353)
[PASS] test_isLiquidationAllowed_network_down() (gas: 27126)
[PASS] test_isLiquidationAllowed_network_up_not_grace_period() (gas: 47276)
[PASS] test_isLiquidationAllowed_true_network_up_grace_period_pass() (gas: 47374)
[PASS] test_new_PriceOracleSentinel() (gas: 395850)
[PASS] test_reverts_setGracePeriod_not_poolAdmin() (gas: 25429)
[PASS] test_reverts_setSequencerOracle_not_poolAdmin() (gas: 22340)
[PASS] test_setGracePeriod() (gas: 32317)
[PASS] test_setSequencerOracle() (gas: 24455)
Suite result: ok. 11 passed; 0 failed; 0 skipped; finished in 31.98ms (911.48µs CPU time)
Ran 18 tests for tests/gas/ProtocolDataProvider.gas.t.sol:ProtocolDataProvider_gas_Tests
[PASS] test_getATokenTotalSupply() (gas: 40320)
[PASS] test_getAllATokens() (gas: 75395)
[PASS] test_getAllReservesTokens() (gas: 54783)
[PASS] test_getDebtCeiling() (gas: 21638)
[PASS] test_getFlashLoanEnabled() (gas: 21738)
[PASS] test_getInterestRateStrategyAddress() (gas: 19303)
[PASS] test_getIsVirtualAccActive() (gas: 10855)
[PASS] test_getLiquidationProtocolFee() (gas: 21719)
[PASS] test_getPaused() (gas: 21789)
[PASS] test_getReserveCaps() (gas: 21723)
[PASS] test_getReserveConfigurationData() (gas: 22702)
[PASS] test_getReserveDeficit() (gas: 21346)
[PASS] test_getReserveTokensAddresses() (gas: 25609)
[PASS] test_getSiloedBorrowing() (gas: 21793)
[PASS] test_getTotalDebt() (gas: 40320)
[PASS] test_getUnbackedMintCap() (gas: 10808)
[PASS] test_getUserReserveData() (gas: 607456)
[PASS] test_getVirtualUnderlyingBalance() (gas: 21532)
Suite result: ok. 18 passed; 0 failed; 0 skipped; finished in 35.51ms (2.26ms CPU time)
Ran 13 tests for tests/misc/rates/RateStrategy.calculateRates.t.sol:RateStrategyCalculateRatesTests
[PASS] test_calculate_rates_100_percent_usage() (gas: 47885)
Logs:
Bound result 8000
Bound result 400
[PASS] test_calculate_rates_80_bps_usage() (gas: 48004)
Logs:
Bound result 8000
Bound result 400
[PASS] test_calculate_rates_80_percent_usage() (gas: 90655)
Logs:
Bound result 8000
Bound result 400
[PASS] test_calculate_rates_80_percent_usage_and_50_percent_supply_usage_due_minted_tokens() (gas: 46210)
Logs:
Bound result 8000
Bound result 400
[PASS] test_calculate_rates_80_percent_usage_and_80_bps_supply_usage_due_minted_tokens() (gas: 46232)
Logs:
Bound result 8000
Bound result 400
[PASS] test_calculate_rates_above_op_usage((uint16,uint32,uint32,uint32),uint256,uint256,uint256) (runs: 1000, μ: 123581, ~: 123962)
Logs:
Bound result 3876
Bound result 197
Bound result 11012
Bound result 8856
Bound result 50
[PASS] test_calculate_rates_below_op_usage((uint16,uint32,uint32,uint32),uint256,uint256,uint256) (runs: 1000, μ: 117732, ~: 120332)
Logs:
Bound result 2911
Bound result 4751
Bound result 1023
Bound result 214
Bound result 1725540767
[PASS] test_calculate_rates_below_op_usage_when_no_debt((uint16,uint32,uint32,uint32),uint256,uint256) (runs: 1000, μ: 74646, ~: 75364)
Logs:
Bound result 3569
Bound result 71
[PASS] test_calculate_rates_empty_reserve((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 43496, ~: 43416)
Logs:
Bound result 6729
Bound result 23556
[PASS] test_calculate_rates_when_not_using_virtual_valance((uint16,uint32,uint32,uint32),uint256,uint256) (runs: 1000, μ: 67557, ~: 68630)
Logs:
Bound result 6822
Bound result 27
[PASS] test_calculate_rates_when_total_debt_0((uint16,uint32,uint32,uint32),uint256,uint256) (runs: 1000, μ: 67566, ~: 68639)
Logs:
Bound result 6822
Bound result 27
[PASS] test_fuzz_calculate_rates_80_percent_usage_added_and_virtual_equal(uint256) (runs: 1000, μ: 32801, ~: 33021)
Logs:
Bound result 115209646204721513
[PASS] test_zero_rates_strategy_calculate_rates() (gas: 18549)
Suite result: ok. 13 passed; 0 failed; 0 skipped; finished in 4.43s (4.40s CPU time)
Ran 53 tests for tests/protocol/pool/L2Pool.t.sol:L2PoolTests
[PASS] test_approvePositionManager_false() (gas: 42552)
[PASS] test_approvePositionManager_true() (gas: 48988)
[PASS] test_dropReserve() (gas: 96087)
[PASS] test_getBorrowLogic() (gas: 13674)
[PASS] test_getFlashLoanLogic() (gas: 13719)
[PASS] test_getLiquidationLogic() (gas: 13783)
[PASS] test_getPoolLogic() (gas: 13693)
[PASS] test_getSupplyLogic() (gas: 13715)
[PASS] test_getVirtualUnderlyingBalance() (gas: 357149)
[PASS] test_getters_getUserAccountData() (gas: 707957)
[PASS] test_l2_borrow() (gas: 407706)
[PASS] test_l2_liquidationCall() (gas: 1002381)
[PASS] test_l2_partial_withdraw() (gas: 294812)
[PASS] test_l2_repay() (gas: 429170)
[PASS] test_l2_repay_atokens() (gas: 437817)
[PASS] test_l2_repay_permit(uint128,uint128,uint128,uint128,uint128) (runs: 1000, μ: 603539, ~: 604193)
Logs:
Bound result 111299161249340576614332373245289222
Bound result 49542651451711212654180840349277652
Bound result 61511
Bound result 16881
[PASS] test_l2_set_user_collateral() (gas: 242250)
[PASS] test_l2_supply() (gas: 243511)
[PASS] test_l2_supply_permit(uint128,uint120) (runs: 1000, μ: 412451, ~: 412452)
[PASS] test_l2_withdraw() (gas: 233170)
[PASS] test_mintToTreasury() (gas: 784425)
[PASS] test_mintToTreasury_skip_invalid_addresses() (gas: 789013)
[PASS] test_noop_approvePositionManager_true_when_already_is_activated() (gas: 54177)
[PASS] test_noop_setUserUseReserveAsCollateralOnBehalfOf_true_when_already_is_activated() (gas: 425012)
[PASS] test_noop_setUserUseReserveAsCollateral_true_when_already_is_activated() (gas: 252797)
[PASS] test_pool_defaultValues() (gas: 4964064)
[PASS] test_renouncePositionManager() (gas: 38418)
[PASS] test_rescueTokens(uint256) (runs: 1000, μ: 81666, ~: 81909)
Logs:
Bound result 80263292
[PASS] test_resetIsolationModeTotalDebt() (gas: 833089)
[PASS] test_revert_setUserEModeOnBehalfOf_not_position_manager(address) (runs: 1000, μ: 212826, ~: 212826)
[PASS] test_reverts_impl_initialize() (gas: 4377678)
[PASS] test_reverts_initReserve_not_poolConfigurator(address) (runs: 1000, μ: 24928, ~: 24928)
[PASS] test_reverts_modifiers_not_poolConfigurator(address) (runs: 1000, μ: 98872, ~: 98872)
[PASS] test_reverts_new_Pool_invalidAddressesProvider() (gas: 4477931)
[PASS] test_reverts_setUserEmode_0_bad_hf() (gas: 944869)
[PASS] test_reverts_setUserUseReserveAsCollateralOnBehalfOf_caller_not_position_manager(address) (runs: 1000, μ: 403904, ~: 403904)
[PASS] test_reverts_setUserUseReserveAsCollateral_false_hf_lower_lqt() (gas: 698591)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_ltv_zero() (gas: 269103)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_reserve_inactive() (gas: 186409)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_reserve_paused() (gas: 260182)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_user_balance_zero() (gas: 50123)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_user_isolation_mode() (gas: 882638)
[PASS] test_setLiquidationGracePeriod(uint40) (runs: 1000, μ: 36623, ~: 36713)
[PASS] test_setLiquidationGracePeriod_assetNotListed(uint40) (runs: 1000, μ: 26634, ~: 26634)
[PASS] test_setUserEModeOnBehalfOf() (gas: 244720)
[PASS] test_setUserEmode() (gas: 218251)
[PASS] test_setUserEmode_twice() (gas: 356590)
[PASS] test_setUserEmode_twice_inconsistent_category() (gas: 951228)
[PASS] test_setUserUseReserveAsCollateralOnBehalfOf_false() (gas: 392376)
[PASS] test_setUserUseReserveAsCollateralOnBehalfOf_true() (gas: 419118)
[PASS] test_setUserUseReserveAsCollateral_false() (gas: 214415)
[PASS] test_setUserUseReserveAsCollateral_true() (gas: 246912)
[PASS] test_updateBridgeProtocolFee() (gas: 231)
Suite result: ok. 53 passed; 0 failed; 0 skipped; finished in 8.47s (8.44s CPU time)
Ran 11 tests for tests/protocol/libraries/math/MathUtils.t.sol:MathUtilsTests
[PASS] testMulDivCeil_NoRemainder() (gas: 3231)
[PASS] testMulDivCeil_RevertOnDivByZero() (gas: 3150)
[PASS] testMulDivCeil_RevertOnOverflow() (gas: 3166)
[PASS] testMulDivCeil_WithRemainder() (gas: 3230)
[PASS] testMulDivCeil_ZeroAOrB() (gas: 3779)
[PASS] test_calculateCompoundInterest_1() (gas: 4825)
[PASS] test_calculateCompoundInterest_2() (gas: 5264)
[PASS] test_calculateCompoundInterest_edge() (gas: 4972)
[PASS] test_calculateCompoundInterest_shouldNotOverflow() (gas: 4038)
[PASS] test_calculateLinearInterest() (gas: 4652)
[PASS] test_constants() (gas: 3159)
Suite result: ok. 11 passed; 0 failed; 0 skipped; finished in 1.57ms (222.72µs CPU time)
Ran 20 tests for tests/protocol/libraries/math/PercentageMath.t.sol:PercentageMathTests
[PASS] testPercentDivCeil_Exact() (gas: 3223)
[PASS] testPercentDivCeil_RevertOnDivByZero() (gas: 3188)
[PASS] testPercentDivCeil_RevertOnOverflow() (gas: 3178)
[PASS] testPercentDivCeil_WithCeilNeeded() (gas: 3289)
[PASS] testPercentMulCeil_Exact() (gas: 3250)
[PASS] testPercentMulCeil_RevertOnOverflow() (gas: 3190)
[PASS] testPercentMulCeil_WithRoundingUp() (gas: 3248)
[PASS] testPercentMulCeil_ZeroValueOrPercent() (gas: 3770)
[PASS] testPercentMulFloor_Exact() (gas: 3245)
[PASS] testPercentMulFloor_RevertOnOverflow() (gas: 3147)
[PASS] testPercentMulFloor_WithTruncation() (gas: 3199)
[PASS] testPercentMulFloor_ZeroInputs() (gas: 3739)
[PASS] test_constants() (gas: 4259)
[PASS] test_percentDiv() (gas: 4252)
[PASS] test_percentDiv_fuzz(uint256,uint256) (runs: 1000, μ: 3817, ~: 3849)
[PASS] test_percentDiv_revertOnDivByZero() (gas: 3164)
[PASS] test_percentDiv_revertOnOverflow() (gas: 3153)
[PASS] test_percentMul() (gas: 4260)
[PASS] test_percentMul_fuzz(uint256,uint256) (runs: 1000, μ: 3682, ~: 3771)
[PASS] test_percentMul_revertOnOverflow() (gas: 3215)
Suite result: ok. 20 passed; 0 failed; 0 skipped; finished in 103.80ms (92.90ms CPU time)
Ran 18 tests for tests/protocol/pool/Pool.Borrow.t.sol:PoolBorrowTests
[PASS] test_borrow_variable_in_isolation() (gas: 579152)
[PASS] test_reverts_borrow_DebtCeilingExceeded() (gas: 428335)
[PASS] test_reverts_borrow_InconsistentEModeCategory() (gas: 398164)
[PASS] test_reverts_borrow_cap() (gas: 285835)
[PASS] test_reverts_borrow_collateral_balance_zero() (gas: 219100)
[PASS] test_reverts_borrow_collateral_can_not_cover() (gas: 399470)
[PASS] test_reverts_borrow_debt_ceiling() (gas: 668923)
[PASS] test_reverts_borrow_hf_lt_1() (gas: 568420)
[PASS] test_reverts_borrow_invalidAmount() (gas: 61923)
[PASS] test_reverts_borrow_not_borrowable_isolation() (gas: 410898)
[PASS] test_reverts_borrow_reserveFrozen() (gas: 1168184)
[PASS] test_reverts_borrow_reserveInactive() (gas: 135807)
[PASS] test_reverts_borrow_reservePaused() (gas: 99971)
[PASS] test_reverts_borrow_sentinel_oracle_down() (gas: 298662)
[PASS] test_reverts_borrow_sioled_borrowing_violation() (gas: 667802)
[PASS] test_reverts_deprecated_stable_borrow() (gas: 380823)
[PASS] test_reverts_variable_borrow_transferred_funds() (gas: 366299)
[PASS] test_variable_borrow() (gas: 354992)
Suite result: ok. 18 passed; 0 failed; 0 skipped; finished in 80.02ms (35.51ms CPU time)
Ran 7 tests for tests/misc/rates/RateStrategy.setters.t.sol:RateStrategySettersTests
[PASS] test_new_SetReserveInterestRateParams((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 52116, ~: 52029)
Logs:
Bound result 3222
Bound result 60
[PASS] test_new_SetReserveInterestRateParams_when_not_configurator((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 25930, ~: 25843)
Logs:
Bound result 3222
Bound result 60
[PASS] test_reverts_SetReserveInterestRateParams_when_gt_maxRate((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 29099, ~: 29186)
Logs:
Bound result 6729
Bound result 1
[PASS] test_reverts_SetReserveInterestRateParams_when_gt_max_op((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 22028, ~: 22028)
[PASS] test_reverts_SetReserveInterestRateParams_when_lt_min_op((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 22076, ~: 22076)
[PASS] test_reverts_SetReserveInterestRateParams_when_reserve_0((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 26786, ~: 26699)
Logs:
Bound result 3222
Bound result 60
[PASS] test_reverts_SetReserveInterestRateParams_when_slope1_gt_slope2((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 23308, ~: 23308)
Suite result: ok. 7 passed; 0 failed; 0 skipped; finished in 2.66s (2.62s CPU time)
Ran 11 tests for tests/protocol/pool/Pool.Liquidations.CloseFactor.t.sol:PoolLiquidationCloseFactorTests
[PASS] test_fuzz_hf_gt_095_supply_gt_threshold_closeFactorShouldBe50(uint256,uint256) (runs: 1000, μ: 832895, ~: 832967)
Logs:
Bound result 8610338323413824768430
Bound result 989503255026608209
[PASS] test_fuzz_hf_gt_095_supply_lt_threshold_closeFactorShouldBe100(uint256,uint256) (runs: 1000, μ: 798197, ~: 798256)
Logs:
Bound result 833371223222689016
Bound result 989503255026608209
[PASS] test_fuzz_hf_lte_095_supply_gt_threshold_closeFactorShouldBe100(uint256,uint256) (runs: 1000, μ: 795530, ~: 793133)
Logs:
Bound result 872558060326510193808
Bound result 463644115968403258
[PASS] test_hf_gt_095_borrow_gt_threshold_collateral_lt_threshold_closeFactorShouldBe100() (gas: 1043524)
[PASS] test_hf_gt_095_supply_gt_threshold_closeFactorShouldBe50() (gas: 831576)
Logs:
Bound result 100000000000000000000
Bound result 970000000000000000
[PASS] test_hf_gt_095_supply_lt_threshold_closeFactorShouldBe100() (gas: 796777)
Logs:
Bound result 500000000000000000
Bound result 970000000000000000
[PASS] test_hf_helper(uint256) (runs: 1000, μ: 534098, ~: 534138)
Logs:
Bound result 817567625363940994
[PASS] test_hf_lte_095_supply_gt_threshold_closeFactorShouldBe100() (gas: 796908)
Logs:
Bound result 100000000000000000000
Bound result 940000000000000000
[PASS] test_liquidationdataprovider_edge_range() (gas: 950707)
[PASS] test_liquidationdataprovider_edge_range_reverse() (gas: 1004434)
[PASS] test_shouldRevertIfCloseFactorIs100ButCollateralIsBelowThreshold() (gas: 802076)
Suite result: ok. 11 passed; 0 failed; 0 skipped; finished in 10.76s (10.73s CPU time)
Ran 7 tests for tests/misc/rates/RateStrategy.setters.t.sol:RateStrategySettersTestsOverride
[PASS] test_new_SetReserveInterestRateParams((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 51497, ~: 51412)
Logs:
Bound result 8720
Bound result 567
[PASS] test_new_SetReserveInterestRateParams_when_not_configurator((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 25295, ~: 25210)
Logs:
Bound result 8720
Bound result 567
[PASS] test_reverts_SetReserveInterestRateParams_when_gt_maxRate((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 28478, ~: 28561)
Logs:
Bound result 2065
Bound result 0
[PASS] test_reverts_SetReserveInterestRateParams_when_gt_max_op((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 21403, ~: 21403)
[PASS] test_reverts_SetReserveInterestRateParams_when_lt_min_op((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 21451, ~: 21451)
[PASS] test_reverts_SetReserveInterestRateParams_when_reserve_0((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 26159, ~: 26074)
Logs:
Bound result 8720
Bound result 567
[PASS] test_reverts_SetReserveInterestRateParams_when_slope1_gt_slope2((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 22683, ~: 22683)
Suite result: ok. 7 passed; 0 failed; 0 skipped; finished in 2.22s (2.19s CPU time)
Ran 15 tests for tests/misc/rates/RateStrategy.t.sol:RateStrategyBaseTests
[PASS] test_getInterestRateDataBps((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 39970, ~: 39905)
Logs:
Bound result 9478
Bound result 60
[PASS] test_getInterestRateDataRay((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 40917, ~: 40852)
Logs:
Bound result 9478
Bound result 60
[PASS] test_getMaxVariableBorrowRate((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 38389, ~: 38324)
Logs:
Bound result 9478
Bound result 60
[PASS] test_initialization() (gas: 26143)
[PASS] test_new_DefaultReserveInterestRateStrategy_wrong_provider() (gas: 41972)
[PASS] test_new_SetReserveInterestRateParams((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 52035, ~: 51970)
Logs:
Bound result 9478
Bound result 60
[PASS] test_new_SetReserveInterestRateParams_override_method((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 49243, ~: 49178)
Logs:
Bound result 9478
Bound result 60
[PASS] test_new_SetReserveInterestRateParams_when_not_configurator((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 25904, ~: 25839)
Logs:
Bound result 9478
Bound result 60
[PASS] test_overflow_liquidity_rates() (gas: 57891)
[PASS] test_overflow_variable_rates() (gas: 638437)
[PASS] test_reverts_SetReserveInterestRateParams_when_gt_maxRate((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 33629, ~: 33629)
[PASS] test_reverts_SetReserveInterestRateParams_when_gt_max_op((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 30448, ~: 30448)
[PASS] test_reverts_SetReserveInterestRateParams_when_lt_min_op((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 30524, ~: 30524)
[PASS] test_reverts_SetReserveInterestRateParams_when_reserve_0((uint16,uint32,uint32,uint32)) (runs: 1000, μ: 27023, ~: 27023)
[PASS] test_reverts_SetReserveInterestRateParams_when_slope1_gt_slope2(uint16,uint32,uint32,uint32) (runs: 1000, μ: 32463, ~: 32463)
Suite result: ok. 15 passed; 0 failed; 0 skipped; finished in 3.92s (3.88s CPU time)
Ran 18 tests for tests/rewards/RewardsController.t.sol:RewardsControllerTest
[PASS] test_accrueRewards() (gas: 906577)
[PASS] test_claimAllRewards() (gas: 861356)
[PASS] test_claimAllRewardsOnBehalf() (gas: 895049)
[PASS] test_claimAllRewardsToSelf() (gas: 860983)
[PASS] test_claimRewards() (gas: 858289)
[PASS] test_claimRewardsOnBehalf() (gas: 896769)
[PASS] test_claimRewardsToSelf() (gas: 857968)
[PASS] test_claimRewards_partial() (gas: 858604)
[PASS] test_claimRewards_zero() (gas: 620057)
[PASS] test_claimRewards_zero_with_rewards() (gas: 626549)
[PASS] test_configureAssets() (gas: 601167)
[PASS] test_initialize_no_op() (gas: 3614302)
[PASS] test_new_RewardsController() (gas: 3610338)
[PASS] test_setClaimer() (gas: 58207)
[PASS] test_setDistributionEnd() (gas: 617015)
[PASS] test_setEmissionPerSecond() (gas: 621042)
[PASS] test_setRewardOracle() (gas: 694761)
[PASS] test_setTransferStrategy_PullRewardsTransferStrategy() (gas: 880619)
Suite result: ok. 18 passed; 0 failed; 0 skipped; finished in 49.28ms (21.20ms CPU time)
Ran 5 tests for tests/rewards/StakedTokenTransferStrategy.t.sol:StakedTokenTransferStrategyTest
[PASS] test_dropApproval() (gas: 18975)
[PASS] test_emergencyTransfer() (gas: 211650)
[PASS] test_getters() (gas: 18719)
[PASS] test_performTransfer() (gas: 22017)
[PASS] test_renewApproval() (gas: 23091)
Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 27.48ms (1.68ms CPU time)
Ran 3 tests for tests/gas/StataToken.gas.t.sol:StataToken_gas_Tests
[PASS] test_claimRewards() (gas: 3028611)
[PASS] test_deposit() (gas: 772070)
[PASS] test_depositATokens() (gas: 921428)
Suite result: ok. 3 passed; 0 failed; 0 skipped; finished in 44.97ms (6.93ms CPU time)
Ran 2 tests for tests/extensions/stata-token/StataTokenV2Getters.sol:StataTokenV2GettersTest
[PASS] test_getters() (gas: 69883)
[PASS] test_initializeShouldRevert() (gas: 21681)
Suite result: ok. 2 passed; 0 failed; 0 skipped; finished in 27.96ms (260.05µs CPU time)
Ran 10 tests for tests/extensions/stata-token/StataTokenV2Pausable.t.sol:StataTokenV2PausableTest
[PASS] test_canPause() (gas: 26789)
[PASS] test_canPause_shouldReturnFalse(address) (runs: 1000, μ: 27282, ~: 27282)
[PASS] test_claimingRewards_shouldRevert() (gas: 520120)
[PASS] test_deposit_shouldRevert() (gas: 467618)
[PASS] test_mint_shouldRevert() (gas: 471639)
[PASS] test_redeem_shouldRevert() (gas: 539652)
[PASS] test_setPaused_shouldRevertForInvalidCaller(address) (runs: 1000, μ: 30340, ~: 30340)
[PASS] test_setPaused_shouldSucceedForOwner() (gas: 53839)
[PASS] test_transfer_shouldRevert() (gas: 518036)
[PASS] test_withdraw_shouldRevert() (gas: 535484)
Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 423.20ms (395.44ms CPU time)
Ran 3 tests for tests/extensions/stata-token/StataTokenV2Permit.sol:StataTokenV2PermitTest
[PASS] test_permit() (gas: 89789)
[PASS] test_permit_expired() (gas: 37844)
[PASS] test_permit_invalidSigner() (gas: 66419)
Suite result: ok. 3 passed; 0 failed; 0 skipped; finished in 32.50ms (2.40ms CPU time)
Ran 17 tests for tests/extensions/stata-token/ERC20AaveLMUpgradable.t.sol:ERC20AaveLMUpgradableTest
[PASS] test_7201() (gas: 3355)
[PASS] test_claimRewards(uint256,uint32,uint88,uint32) (runs: 1000, μ: 835496, ~: 798035)
Logs:
Bound result 79228162513264337596539306696
Bound result 41262080
Bound result 829639079
Bound result 433
[PASS] test_claimRewardsOnBehalfOf_self(uint256,uint32,uint88,uint32) (runs: 1000, μ: 835711, ~: 798250)
Logs:
Bound result 79228162513264337596539306696
Bound result 41262080
Bound result 829639079
Bound result 433
[PASS] test_claimRewardsOnBehalfOf_shouldRevertForInvalidClaimer(uint256,uint32,uint88,uint32) (runs: 1000, μ: 772955, ~: 774314)
Logs:
Bound result 79228162513264337596539306696
Bound result 41262080
Bound result 829639079
Bound result 433
[PASS] test_claimRewardsOnBehalfOf_validClaimer(uint256,uint32,uint88,uint32) (runs: 1000, μ: 868094, ~: 830633)
Logs:
Bound result 79228162513264337596539306696
Bound result 41262080
Bound result 829639079
Bound result 433
[PASS] test_claimRewardsToSelf(uint256,uint32,uint88,uint32) (runs: 1000, μ: 835410, ~: 797949)
Logs:
Bound result 79228162513264337596539306696
Bound result 41262080
Bound result 829639079
Bound result 433
[PASS] test_claimableRewards(uint256,uint32,uint88,uint32) (runs: 1000, μ: 773819, ~: 775228)
Logs:
Bound result 79228162513264337596539306696
Bound result 41262080
Bound result 829639079
Bound result 433
[PASS] test_collectAndUpdateRewards(uint256,uint32,uint88,uint32) (runs: 1000, μ: 815980, ~: 794331)
Logs:
Bound result 79228162513264337596539306696
Bound result 41262080
Bound result 829639079
Bound result 433
[PASS] test_correctAccountingForDelayedRegistration() (gas: 823752)
[PASS] test_getReferenceAsset() (gas: 12902)
[PASS] test_isRegisteredRewardToken() (gas: 634056)
[PASS] test_noRewardsInitialized() (gas: 39220)
[PASS] test_noopWhenNotInitialized() (gas: 52782)
[PASS] test_rewardTokens() (gas: 632197)
[PASS] test_transfer(uint256,uint32,uint88,uint32,address,uint256) (runs: 1000, μ: 849232, ~: 864640)
Logs:
Bound result 79228162513264337593543952034
Bound result 1133
Bound result 5733
Bound result 100000000
[PASS] test_transfer_toSelf(uint256,uint32,uint88,uint32) (runs: 1000, μ: 806208, ~: 798872)
Logs:
Bound result 79228162513264337596539306696
Bound result 41262080
Bound result 829639079
Bound result 433
[PASS] test_zeroIncentivesController() (gas: 37689)
Suite result: ok. 17 passed; 0 failed; 0 skipped; finished in 16.15s (16.12s CPU time)
Ran 4 tests for tests/extensions/stata-token/StataTokenV2Rescuable.sol:StataTokenV2RescuableTest
[PASS] test_rescuable_shouldNotCauseInsolvency(uint256,uint256) (runs: 1000, μ: 735971, ~: 735976)
[PASS] test_rescuable_shouldRevertForInvalidCaller() (gas: 189988)
[PASS] test_rescuable_shouldTransferAssetsToCollector() (gas: 216816)
[PASS] test_rescuable_shouldWorkForAToken() (gas: 414228)
Suite result: ok. 4 passed; 0 failed; 0 skipped; finished in 2.77s (2.74s CPU time)
Ran 26 tests for tests/protocol/pool/Pool.Liquidations.t.sol:PoolLiquidationTests
[PASS] test_deficit_increased_after_liquidate_bad_debt() (gas: 792636)
[PASS] test_full_liquidate_atokens_edgecase_collateral_not_enough_to_cover_fee() (gas: 426279)
[PASS] test_full_liquidate_atokens_multiple_variable_borrows() (gas: 956030)
[PASS] test_full_liquidate_multiple_supplies_and_variable_borrows() (gas: 1105768)
[PASS] test_full_liquidate_multiple_variable_borrows() (gas: 975676)
[PASS] test_liquidate_borrow_bad_debt() (gas: 801796)
[PASS] test_liquidate_borrow_burn_multiple_assets_bad_debt() (gas: 1136187)
[PASS] test_liquidate_emode_position_ltzero_outside_emode() (gas: 1076779)
[PASS] test_liquidate_emode_position_without_emode_oracle() (gas: 1040553)
[PASS] test_liquidate_isolated_position() (gas: 893298)
[PASS] test_liquidate_variable_borrow_no_fee() (gas: 839022)
[PASS] test_liquidate_variable_borrow_repro() (gas: 1020273)
[PASS] test_liquidate_variable_borrow_same_collateral_and_borrow() (gas: 660699)
[PASS] test_liquidation_when_grace_period_disabled(uint40) (runs: 1000, μ: 841685, ~: 842015)
Logs:
Bound result 5308
[PASS] test_liquidation_with_liquidation_grace_period_collateral_active(uint40) (runs: 1000, μ: 996218, ~: 999228)
Logs:
Bound result 5189
[PASS] test_liquidation_with_liquidation_grace_period_debt_active(uint40) (runs: 1000, μ: 996788, ~: 999812)
Logs:
Bound result 5189
[PASS] test_liquidation_with_liquidation_grace_period_debt_collateral_active(uint40) (runs: 1000, μ: 1009957, ~: 1013052)
Logs:
Bound result 5189
[PASS] test_partial_liquidate_atokens_variable_borrow() (gas: 853349)
[PASS] test_partial_liquidate_variable_borrow() (gas: 837556)
[PASS] test_reverts_liquidation_collateral_not_active() (gas: 617642)
[PASS] test_reverts_liquidation_hf_gt_liquidation_threshold() (gas: 440939)
[PASS] test_reverts_liquidation_invalid_borrow() (gas: 575797)
[PASS] test_reverts_liquidation_oracle_sentinel_on() (gas: 336249)
[PASS] test_reverts_liquidation_reserveInactive() (gas: 174783)
[PASS] test_reverts_liquidation_reservePaused() (gas: 141748)
[PASS] test_self_liquidate_position_shouldRevert() (gas: 661920)
Suite result: ok. 26 passed; 0 failed; 0 skipped; finished in 13.71s (13.68s CPU time)
Ran 22 tests for tests/gas/Pool.Operations.gas.t.sol:PoolOperations_gas_Tests
[PASS] test_borrow() (gas: 1018719)
[PASS] test_borrow_onBehalfOf() (gas: 1100589)
[PASS] test_flashLoanSimple() (gas: 683444)
[PASS] test_flashLoan_with_one_asset() (gas: 812784)
[PASS] test_flashLoan_with_one_asset_with_borrowing() (gas: 1334756)
[PASS] test_flashLoan_with_two_assets() (gas: 1184093)
[PASS] test_flashLoan_with_two_assets_with_borrowing() (gas: 2214219)
[PASS] test_liquidationCall_deficit() (gas: 1513785)
[PASS] test_liquidationCall_deficitInAdditionalReserve() (gas: 1875340)
[PASS] test_liquidationCall_full() (gas: 1513852)
[PASS] test_liquidationCall_partial() (gas: 1499872)
[PASS] test_liquidationCall_receive_ATokens_full() (gas: 1485046)
[PASS] test_liquidationCall_receive_ATokens_partial() (gas: 1470830)
[PASS] test_mintToTreasury_one_asset() (gas: 1064432)
[PASS] test_mintToTreasury_one_asset_zero_amount() (gas: 46569)
[PASS] test_mintToTreasury_two_assets() (gas: 2135852)
[PASS] test_mintToTreasury_two_assets_zero_amount() (gas: 54137)
[PASS] test_repay() (gas: 1447593)
[PASS] test_repay_with_ATokens() (gas: 1298811)
[PASS] test_supply() (gas: 2065279)
[PASS] test_withdraw() (gas: 877202)
[PASS] test_withdraw_with_active_borrows() (gas: 1027790)
Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 84.37ms (46.47ms CPU time)
Ran 3 tests for tests/gas/Pool.OperationsComposition.gas.t.sol:PoolOperationsComposition_gas_Tests
[PASS] test_batchLiquidation() (gas: 2430744)
[PASS] test_repayAndWithdraw() (gas: 1437193)
[PASS] test_supplyAndBorrow() (gas: 730878)
Suite result: ok. 3 passed; 0 failed; 0 skipped; finished in 47.91ms (8.91ms CPU time)
Ran 18 tests for tests/protocol/tokenization/VariableDebtToken.t.sol:VariableDebtTokenEventsTests
[PASS] test_balanceOf() (gas: 230670)
[PASS] test_cancel_delegationWithSig() (gas: 95528)
[PASS] test_delegationWithSig() (gas: 90870)
[PASS] test_initialize_VariableDebtToken((uint8,string,string,string,string,address,address,address,bool)) (runs: 1000, μ: 3277926, ~: 3277968)
Logs:
Bound result 12
[PASS] test_mint_variableDebt_caller_alice((uint8,string,string,string,string,address,address,address,bool)) (runs: 1000, μ: 3351391, ~: 3351433)
Logs:
Bound result 12
[PASS] test_mint_variableDebt_caller_bob_onBehalf_alice((uint8,string,string,string,string,address,address,address,bool)) (runs: 1000, μ: 3364613, ~: 3364655)
Logs:
Bound result 12
[PASS] test_new_VariableDebtToken_implementation() (gas: 1583698)
[PASS] test_partial_burn_variableDebt((uint8,string,string,string,string,address,address,address,bool)) (runs: 1000, μ: 3367096, ~: 3367138)
Logs:
Bound result 12
[PASS] test_renounceDelegation() (gas: 46560)
[PASS] test_reverts_OperationNotSupported() (gas: 1601746)
[PASS] test_reverts_bad_expiration_delegationWithSig() (gas: 29246)
[PASS] test_reverts_bad_nonce_delegationWithSig() (gas: 104437)
[PASS] test_reverts_initialize_pool_do_not_match((uint8,string,string,string,string,address,address,address,bool)) (runs: 1000, μ: 2614447, ~: 2614393)
Logs:
Bound result 12
[PASS] test_reverts_zero_address_delegationWithSig() (gas: 28637)
[PASS] test_scaledBalanceOf() (gas: 285798)
[PASS] test_totalScaledSupply() (gas: 326212)
[PASS] test_totalSupply() (gas: 326163)
[PASS] test_total_burn_variableDebt((uint8,string,string,string,string,address,address,address,bool)) (runs: 1000, μ: 3366989, ~: 3367031)
Logs:
Bound result 12
Suite result: ok. 18 passed; 0 failed; 0 skipped; finished in 8.86s (8.83s CPU time)
Ran 5 tests for tests/protocol/tokenization/VariableDebtTokenRounding.t.sol:VariableDebtTokenRoundingTest
[PASS] test_balanceShouldRoundUp() (gas: 48617)
[PASS] test_borrowShouldRoundUp() (gas: 236151)
[PASS] test_creditDelegationAllowance(uint256) (runs: 1000, μ: 93985, ~: 93683)
Logs:
Bound result 1114035724780795133955842
[PASS] test_repayShouldRoundDown() (gas: 344716)
[PASS] test_totalSupplyShouldRoundUp() (gas: 44456)
Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 415.00ms (384.40ms CPU time)
Ran 3 tests for tests/protocol/tokenization/VariableDebtToken_MintOnBehalf.t.sol:VariableDebtToken_MintOnBehalfTests
[PASS] test_mint(uint128,uint256) (runs: 1000, μ: 83896, ~: 83694)
Logs:
Bound result 32519298283972017233292236492229
Bound result 1000000000000007194
[PASS] test_mint_shouldRevertIfSenderInsufficientAllowance() (gas: 49042)
[PASS] test_mint_shouldRevertIfSenderIsNotApproved() (gas: 22365)
Suite result: ok. 3 passed; 0 failed; 0 skipped; finished in 345.52ms (318.38ms CPU time)
Ran 37 tests for tests/protocol/libraries/math/WadRayMath.t.sol:WadRayMathTests
[PASS] testRayDivCeil_Exact() (gas: 3273)
[PASS] testRayDivCeil_RevertOnDivByZero() (gas: 3211)
[PASS] testRayDivCeil_RevertOnOverflow() (gas: 3179)
[PASS] testRayDivCeil_WithCeil() (gas: 3283)
[PASS] testRayDivCeil_ZeroNumerator() (gas: 3236)
[PASS] testRayDivFloor_Exact() (gas: 3245)
[PASS] testRayDivFloor_RevertOnDivByZero() (gas: 3144)
[PASS] testRayDivFloor_RevertOnOverflow() (gas: 3245)
[PASS] testRayDivFloor_Truncation() (gas: 3279)
[PASS] testRayDivFloor_ZeroNumerator() (gas: 3254)
[PASS] testRayMulCeil_Exact() (gas: 3248)
[PASS] testRayMulCeil_RevertOnOverflow() (gas: 3235)
[PASS] testRayMulCeil_WithCeil() (gas: 3220)
[PASS] testRayMulCeil_Zero() (gas: 3759)
[PASS] testRayMulFloor_Exact() (gas: 3312)
[PASS] testRayMulFloor_RevertOnOverflow() (gas: 3169)
[PASS] testRayMulFloor_Truncation() (gas: 3216)
[PASS] testRayMulFloor_Zero() (gas: 3730)
[PASS] test_constants() (gas: 5771)
[PASS] test_rayDiv() (gas: 4933)
[PASS] test_rayDiv_revertOnDivByZero() (gas: 3263)
[PASS] test_rayDiv_revertOnOverflow() (gas: 3237)
[PASS] test_rayMul() (gas: 4239)
[PASS] test_rayMul_revertOnOverflow() (gas: 3139)
[PASS] test_rayToWad() (gas: 4173)
[PASS] test_rayToWad_fuzz(uint256) (runs: 1000, μ: 3893, ~: 3841)
[PASS] test_wadDiv() (gas: 4813)
[PASS] test_wadDiv_fuzzing(uint256,uint256) (runs: 1000, μ: 3786, ~: 3850)
[PASS] test_wadDiv_revertOnDivByZero() (gas: 3251)
[PASS] test_wadDiv_revertOnOverflow() (gas: 3232)
[PASS] test_wadMul() (gas: 4195)
[PASS] test_wadMul_edge() (gas: 4253)
[PASS] test_wadMul_fuzzing(uint256,uint256) (runs: 1000, μ: 3725, ~: 3814)
[PASS] test_wadMul_revertOnOverflow() (gas: 3141)
[PASS] test_wadToRay() (gas: 4182)
[PASS] test_wadToRay_fuzz(uint256) (runs: 1000, μ: 3866, ~: 3925)
[PASS] test_wadToRay_revertOnOverflow() (gas: 3241)
Suite result: ok. 37 passed; 0 failed; 0 skipped; finished in 187.78ms (186.38ms CPU time)
Ran 15 tests for tests/helpers/WrappedTokenGateway.t.sol:WrappedTokenGatewayTests
[PASS] test_borrowDelegateApprove_repay() (gas: 455554)
[PASS] test_borrowVariableDebtWeth_repayWithEth() (gas: 785815)
[PASS] test_borrowVariableDebtWeth_repayWithEth_mismatchedValues() (gas: 778310)
[PASS] test_depositNativeEthInPool() (gas: 252319)
[PASS] test_fallback_revert() (gas: 10080)
[PASS] test_getWETHAddress() (gas: 10589)
[PASS] test_ownerCanRescueEth() (gas: 25215)
[PASS] test_ownerCanRescueTokens() (gas: 96752)
[PASS] test_sendEthFallback_revert() (gas: 16724)
[PASS] test_sendEth_revert() (gas: 16601)
[PASS] test_withdrawEth_full() (gas: 355769)
[PASS] test_withdrawEth_partial() (gas: 388362)
[PASS] test_withdrawEth_permit() (gas: 418132)
[PASS] test_withdrawEth_permit_frontrunRegression() (gas: 419059)
[PASS] test_withdrawEth_permit_full() (gas: 382335)
Suite result: ok. 15 passed; 0 failed; 0 skipped; finished in 45.45ms (16.53ms CPU time)
Ran 1 test for tests/gas/WrappedTokenGatewayV3.gas.t.sol:WrappedTokenGatewayV3_gas_Tests
[PASS] test_flow() (gas: 933114)
Suite result: ok. 1 passed; 0 failed; 0 skipped; finished in 37.71ms (1.82ms CPU time)
Ran 11 tests for tests/protocol/pool/Pool.Withdraw.t.sol:PoolWithdrawTests
[PASS] test_Reverts_withdraw_transferred_funds() (gas: 526096)
[PASS] test_full_withdraw() (gas: 246841)
[PASS] test_full_withdraw_to() (gas: 252324)
[PASS] test_partial_withdraw() (gas: 243324)
[PASS] test_reverts_WithdrawToAToken() (gas: 233989)
[PASS] test_reverts_withdraw_hf_lt_lqt() (gas: 650814)
[PASS] test_reverts_withdraw_invalidAmount() (gas: 234016)
[PASS] test_reverts_withdraw_invalidBalance() (gas: 236085)
[PASS] test_reverts_withdraw_reserveInactive() (gas: 198917)
[PASS] test_reverts_withdraw_reservePaused() (gas: 272972)
[PASS] test_withdraw_not_enabled_as_collateral() (gas: 251284)
Suite result: ok. 11 passed; 0 failed; 0 skipped; finished in 39.12ms (9.76ms CPU time)
Ran 43 tests for tests/protocol/pool/Pool.t.sol:PoolTests
[PASS] test_approvePositionManager_false() (gas: 42622)
[PASS] test_approvePositionManager_true() (gas: 49054)
[PASS] test_dropReserve() (gas: 96050)
[PASS] test_getBorrowLogic() (gas: 13740)
[PASS] test_getFlashLoanLogic() (gas: 13629)
[PASS] test_getLiquidationLogic() (gas: 13674)
[PASS] test_getPoolLogic() (gas: 13759)
[PASS] test_getSupplyLogic() (gas: 13692)
[PASS] test_getVirtualUnderlyingBalance() (gas: 357176)
[PASS] test_getters_getUserAccountData() (gas: 707846)
[PASS] test_mintToTreasury() (gas: 783715)
[PASS] test_mintToTreasury_skip_invalid_addresses() (gas: 788304)
[PASS] test_noop_approvePositionManager_true_when_already_is_activated() (gas: 54353)
[PASS] test_noop_setUserUseReserveAsCollateralOnBehalfOf_true_when_already_is_activated() (gas: 425011)
[PASS] test_noop_setUserUseReserveAsCollateral_true_when_already_is_activated() (gas: 252529)
[PASS] test_pool_defaultValues() (gas: 4964120)
[PASS] test_renouncePositionManager() (gas: 38488)
[PASS] test_rescueTokens(uint256) (runs: 1000, μ: 81711, ~: 81953)
Logs:
Bound result 80263292
[PASS] test_resetIsolationModeTotalDebt() (gas: 831954)
[PASS] test_revert_setUserEModeOnBehalfOf_not_position_manager(address) (runs: 1000, μ: 212580, ~: 212580)
[PASS] test_reverts_impl_initialize() (gas: 4377700)
[PASS] test_reverts_initReserve_not_poolConfigurator(address) (runs: 1000, μ: 24972, ~: 24972)
[PASS] test_reverts_modifiers_not_poolConfigurator(address) (runs: 1000, μ: 98915, ~: 98915)
[PASS] test_reverts_new_Pool_invalidAddressesProvider() (gas: 4477865)
[PASS] test_reverts_setUserEmode_0_bad_hf() (gas: 944665)
[PASS] test_reverts_setUserUseReserveAsCollateralOnBehalfOf_caller_not_position_manager(address) (runs: 1000, μ: 403839, ~: 403839)
[PASS] test_reverts_setUserUseReserveAsCollateral_false_hf_lower_lqt() (gas: 698391)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_ltv_zero() (gas: 268895)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_reserve_inactive() (gas: 186044)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_reserve_paused() (gas: 259929)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_user_balance_zero() (gas: 50034)
[PASS] test_reverts_setUserUseReserveAsCollateral_true_user_isolation_mode() (gas: 881976)
[PASS] test_setLiquidationGracePeriod(uint40) (runs: 1000, μ: 36581, ~: 36668)
[PASS] test_setLiquidationGracePeriod_assetNotListed(uint40) (runs: 1000, μ: 26544, ~: 26544)
[PASS] test_setUserEModeOnBehalfOf() (gas: 244519)
[PASS] test_setUserEmode() (gas: 218115)
[PASS] test_setUserEmode_twice() (gas: 356229)
[PASS] test_setUserEmode_twice_inconsistent_category() (gas: 950799)
[PASS] test_setUserUseReserveAsCollateralOnBehalfOf_false() (gas: 392357)
[PASS] test_setUserUseReserveAsCollateralOnBehalfOf_true() (gas: 419161)
[PASS] test_setUserUseReserveAsCollateral_false() (gas: 214370)
[PASS] test_setUserUseReserveAsCollateral_true() (gas: 246778)
[PASS] test_updateBridgeProtocolFee() (gas: 253)
Suite result: ok. 43 passed; 0 failed; 0 skipped; finished in 2.76s (2.73s CPU time)
Ran 22 tests for tests/protocol/configuration/PoolAddressesProvider.t.sol:PoolAddressesProviderTests
[PASS] test_PoolDataProvider_changeContract() (gas: 1526240)
[PASS] test_getter_getMarketId() (gas: 1488924)
[PASS] test_new_PoolAddressesProvider() (gas: 1498177)
[PASS] test_reverts_setAddressAsProxy_notAuth() (gas: 1502343)
[PASS] test_reverts_setAddress_noAuth() (gas: 1507539)
[PASS] test_reverts_setters_notOwner() (gas: 1505033)
[PASS] test_setACLManager_changeContract() (gas: 3067366)
[PASS] test_setACLManager_setACLAdmin() (gas: 2301622)
[PASS] test_setAddress() (gas: 1516437)
[PASS] test_setAddressAsProxy_new_proxy() (gas: 2096171)
[PASS] test_setAddressAsProxy_upgrade_proxy() (gas: 2228513)
[PASS] test_setAddress_updateAddress() (gas: 1525575)
[PASS] test_setPoolConfiguratorImpl() (gas: 6616637)
[PASS] test_setPoolConfiguratorImpl_upgrade() (gas: 11047460)
[PASS] test_setPoolDataProvider() (gas: 1516824)
[PASS] test_setPoolImpl() (gas: 7091458)
[PASS] test_setPoolImpl_upgrade() (gas: 11521750)
[PASS] test_setPriceOracle() (gas: 1516981)
[PASS] test_setPriceOracleSentinel() (gas: 1516852)
[PASS] test_setPriceOracleSentinel_changeContract() (gas: 1526317)
[PASS] test_setPriceOracle_changeContract() (gas: 1526578)
[PASS] test_setter_setMarketId() (gas: 1500043)
Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 47.67ms (11.73ms CPU time)
Ran 16 tests for tests/protocol/pool/Pool.Repay.t.sol:PoolRepayTests
[PASS] test_full_repay_borrow_variable_in_isolation() (gas: 570167)
[PASS] test_partial_repay_borrow_variable_in_isolation() (gas: 643026)
[PASS] test_repayWithATokens_full_collateral_variable_borrow() (gas: 610704)
[PASS] test_repayWithATokens_full_variable_borrow() (gas: 396446)
[PASS] test_repayWithATokens_fuzz_collateral_variable_borrow(uint256,uint32) (runs: 1000, μ: 603559, ~: 604208)
[PASS] test_repayWithATokens_shouldRevertIfUnhealthyAfterRepayment() (gas: 354581)
[PASS] test_repayWithPermit(uint128,uint128,uint128,uint128,uint128) (runs: 1000, μ: 575053, ~: 575661)
Logs:
Bound result 111299161249340576614332373245289222
Bound result 49542651451711212654180840349277652
Bound result 61511
Bound result 16881
[PASS] test_repayWithPermit_not_failing_if_permit_was_used(uint128,uint128,uint128,uint128,uint128) (runs: 1000, μ: 580808, ~: 581448)
Logs:
Bound result 111299161249340576614332373245289222
Bound result 49542651451711212654180840349277652
Bound result 61511
Bound result 16881
[PASS] test_repayWithPermit_should_revert_if_permit_is_less_then_repay_amount(uint128,uint128,uint128,uint128,uint128) (runs: 1000, μ: 499997, ~: 500177)
Logs:
Bound result 111299161249340576614332373245289222
Bound result 49542651451711212654180840349277652
Bound result 61511
Bound result 16881
[PASS] test_repay_full_variable_borrow() (gas: 382098)
[PASS] test_revert_repay_full_stable_borrow() (gas: 313553)
[PASS] test_reverts_borrow_invalidAmount() (gas: 59830)
[PASS] test_reverts_borrow_reserveInactive() (gas: 133079)
[PASS] test_reverts_borrow_reservePaused() (gas: 97371)
[PASS] test_reverts_no_explicit_repay_on_behalf() (gas: 308109)
[PASS] test_reverts_repay_no_debt() (gas: 60025)
Suite result: ok. 16 passed; 0 failed; 0 skipped; finished in 10.61s (10.58s CPU time)
Ran 4 tests for tests/protocol/pool/Pool.Rounding.t.sol:PoolRoundingTests
[PASS] test_borrowCapShouldRoundUp() (gas: 484055)
[PASS] test_debtBalanceInBaseCurrencyShouldRoundUp() (gas: 424055)
[PASS] test_reverts_withdrawShouldRoundDow...*[Comment body truncated]* |
♻️ Forge Gas Snapshots🔕 Unchanged
|
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
2 participants
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.
Code diffs between aave v3.6 xlayer instance and v3.6 mantle instance.