1- Vyper version: 0.5.0a1 +commit.7d73c468
2- Forge version: forge 1.7.1 -nightly (9afdb72 2026-05-07T06:53:56.793551106Z )
1+ Vyper version: 0.5.0a3 +commit.b4145b73
2+ Forge version: forge 1.7.2 -nightly (9022115 2026-06-01T09:37:43.127411618Z )
33Vyper config:
44{
55 "optimize": "gas"
@@ -12,8 +12,8 @@ Vyper config:
1212░░╚██╔╝░░░░░██║░░░██║░░░░░███████╗██║░░██║
1313░░░╚═╝░░░░░░╚═╝░░░╚═╝░░░░░╚══════╝╚═╝░░╚═╝
1414==========================================
15- AccessControlInvariants:statefulFuzzGetRoleAdmin() (runs: 256, calls: 3840, reverts: 3839 )
16- AccessControlInvariants:statefulFuzzHasRole() (runs: 256, calls: 3840, reverts: 3839 )
15+ AccessControlInvariants:statefulFuzzGetRoleAdmin() (runs: 256, calls: 3840, reverts: 3840 )
16+ AccessControlInvariants:statefulFuzzHasRole() (runs: 256, calls: 3840, reverts: 3840 )
1717AccessControlTest:testFuzzGrantRoleAdminRoleSuccess(address) (runs: 256, μ: 43703, ~: 43703)
1818AccessControlTest:testFuzzGrantRoleMultipleTimesSuccess(address) (runs: 256, μ: 48865, ~: 48865)
1919AccessControlTest:testFuzzGrantRoleNonAdmin(address,address) (runs: 256, μ: 16453, ~: 16453)
@@ -64,8 +64,8 @@ Base64Test:testEncodeWithDoublePadding() (gas: 178744)
6464Base64Test:testEncodeWithNoPadding() (gas: 177765)
6565Base64Test:testEncodeWithSinglePadding() (gas: 178847)
6666Base64Test:testInvalidPadding() (gas: 213468)
67- BatchDistributorInvariants:statefulFuzzNoEtherBalance() (runs: 256, calls: 3840, reverts: 3824 )
68- BatchDistributorInvariants:statefulFuzzNoTokenBalance() (runs: 256, calls: 3840, reverts: 3824 )
67+ BatchDistributorInvariants:statefulFuzzNoEtherBalance() (runs: 256, calls: 3840, reverts: 3817 )
68+ BatchDistributorInvariants:statefulFuzzNoTokenBalance() (runs: 256, calls: 3840, reverts: 3817 )
6969BatchDistributorTest:testDistributeEtherMultipleAddressesSuccess() (gas: 129500)
7070BatchDistributorTest:testDistributeEtherOneAddressSuccess() (gas: 56332)
7171BatchDistributorTest:testDistributeEtherReentrancy() (gas: 1630675)
@@ -84,9 +84,9 @@ BlockHashTest:testBlockHashCurrentAndFutureBlock() (gas: 12759)
8484BlockHashTest:testBlockHashHistoryContractNotDeployed() (gas: 43990)
8585BlockHashTest:testBlockHashWithin256Range() (gas: 10180)
8686BlockHashTest:testBlockHashWithin257And8191Range() (gas: 36450)
87- BlockHashTest:testFuzzBlockHashAbove8191Range(uint256,uint256,bytes32) (runs: 256, μ: 11776 , ~: 12037)
87+ BlockHashTest:testFuzzBlockHashAbove8191Range(uint256,uint256,bytes32) (runs: 256, μ: 11771 , ~: 12037)
8888BlockHashTest:testFuzzBlockHashCurrentAndFutureBlock(uint256) (runs: 256, μ: 11110, ~: 11101)
89- BlockHashTest:testFuzzBlockHashHistoryContractNotDeployed(uint256,uint256,bytes32) (runs: 256, μ: 16206 , ~: 16457)
89+ BlockHashTest:testFuzzBlockHashHistoryContractNotDeployed(uint256,uint256,bytes32) (runs: 256, μ: 16204 , ~: 16457)
9090BlockHashTest:testFuzzBlockHashWithin256Range(uint256,uint256,bytes32) (runs: 256, μ: 11688, ~: 11673)
9191BlockHashTest:testFuzzBlockHashWithin257And8191Range(uint256,uint256,bytes32) (runs: 256, μ: 37940, ~: 38282)
9292Create2Test:testComputeCreate2Address() (gas: 531438)
@@ -316,8 +316,8 @@ ERC1155Test:testUriBaseAndTokenUriNotSet() (gas: 2884902)
316316ERC1155Test:testUriBaseAndTokenUriSet() (gas: 64187)
317317ERC1155Test:testUriNoBaseURI() (gas: 2934305)
318318ERC1155Test:testUriNoTokenUri() (gas: 18805)
319- ERC20Invariants:statefulFuzzOwner() (runs: 256, calls: 3840, reverts: 3400 )
320- ERC20Invariants:statefulFuzzTotalSupply() (runs: 256, calls: 3840, reverts: 3400 )
319+ ERC20Invariants:statefulFuzzOwner() (runs: 256, calls: 3840, reverts: 3402 )
320+ ERC20Invariants:statefulFuzzTotalSupply() (runs: 256, calls: 3840, reverts: 3402 )
321321ERC20Test:testApproveExceedingBalanceCase1() (gas: 40075)
322322ERC20Test:testApproveExceedingBalanceCase2() (gas: 46340)
323323ERC20Test:testApproveFromZeroAddress() (gas: 12957)
@@ -438,8 +438,8 @@ ERC2981Test:testSupportsInterfaceSuccessGasCost() (gas: 6368)
438438ERC2981Test:testTransferOwnershipNonOwner() (gas: 12340)
439439ERC2981Test:testTransferOwnershipSuccess() (gas: 21810)
440440ERC2981Test:testTransferOwnershipToZeroAddress() (gas: 15485)
441- ERC4626VaultInvariants:statefulFuzzTotalAssets() (runs: 256, calls: 3840, reverts: 3318 )
442- ERC4626VaultInvariants:statefulFuzzTotalSupply() (runs: 256, calls: 3840, reverts: 3318 )
441+ ERC4626VaultInvariants:statefulFuzzTotalAssets() (runs: 256, calls: 3840, reverts: 3319 )
442+ ERC4626VaultInvariants:statefulFuzzTotalSupply() (runs: 256, calls: 3840, reverts: 3319 )
443443ERC4626VaultTest:testCachedDomainSeparator() (gas: 7667)
444444ERC4626VaultTest:testDepositInsufficientAllowance() (gas: 82078)
445445ERC4626VaultTest:testDepositWithNoApproval() (gas: 24418)
@@ -735,13 +735,13 @@ SignatureCheckerTest:testFuzzEOAWithInvalidSignature(bytes,string) (runs: 256,
735735SignatureCheckerTest:testFuzzEOAWithInvalidSigner(string,string) (runs: 256, μ: 19607, ~: 19606)
736736SignatureCheckerTest:testFuzzEOAWithValidSignature(string,string) (runs: 256, μ: 19539, ~: 19538)
737737SignatureCheckerTest:testInitialSetup() (gas: 5482)
738- TimelockControllerInvariants:statefulFuzzExecutedLessThanOrEqualToScheduled() (runs: 256, calls: 3840, reverts: 1283 )
739- TimelockControllerInvariants:statefulFuzzExecutedProposalCancellation() (runs: 256, calls: 3840, reverts: 1285 )
740- TimelockControllerInvariants:statefulFuzzExecutingCancelledProposal() (runs: 256, calls: 3840, reverts: 1276 )
741- TimelockControllerInvariants:statefulFuzzExecutingNotReadyProposal() (runs: 256, calls: 3840, reverts: 1284 )
742- TimelockControllerInvariants:statefulFuzzOnceProposalExecution() (runs: 256, calls: 3840, reverts: 1287 )
743- TimelockControllerInvariants:statefulFuzzProposalsExecutedMatchCount() (runs: 256, calls: 3840, reverts: 1283 )
744- TimelockControllerInvariants:statefulFuzzSumOfProposals() (runs: 256, calls: 3840, reverts: 1283 )
738+ TimelockControllerInvariants:statefulFuzzExecutedLessThanOrEqualToScheduled() (runs: 256, calls: 3840, reverts: 1280 )
739+ TimelockControllerInvariants:statefulFuzzExecutedProposalCancellation() (runs: 256, calls: 3840, reverts: 1280 )
740+ TimelockControllerInvariants:statefulFuzzExecutingCancelledProposal() (runs: 256, calls: 3840, reverts: 1280 )
741+ TimelockControllerInvariants:statefulFuzzExecutingNotReadyProposal() (runs: 256, calls: 3840, reverts: 1280 )
742+ TimelockControllerInvariants:statefulFuzzOnceProposalExecution() (runs: 256, calls: 3840, reverts: 1280 )
743+ TimelockControllerInvariants:statefulFuzzProposalsExecutedMatchCount() (runs: 256, calls: 3840, reverts: 1280 )
744+ TimelockControllerInvariants:statefulFuzzSumOfProposals() (runs: 256, calls: 3840, reverts: 1280 )
745745TimelockControllerTest:testAdminCannotBatchExecute() (gas: 750618)
746746TimelockControllerTest:testAdminCannotBatchSchedule() (gas: 748405)
747747TimelockControllerTest:testAdminCannotCancel() (gas: 13355)
0 commit comments