AuthTest:testCallFunctionAsOwner() (gas: 29784)
AuthTest:testCallFunctionWithPermissiveAuthority() (gas: 124292)
AuthTest:testCallFunctionWithPermissiveAuthority(address) (runs: 256, μ: 129216, ~: 129235)
AuthTest:testFailCallFunctionAsNonOwner() (gas: 15523)
AuthTest:testFailCallFunctionAsNonOwner(address) (runs: 256, μ: 15685, ~: 15685)
AuthTest:testFailCallFunctionAsOwnerWithOutOfOrderAuthority() (gas: 136021)
AuthTest:testFailCallFunctionWithRestrictiveAuthority() (gas: 129144)
AuthTest:testFailCallFunctionWithRestrictiveAuthority(address) (runs: 256, μ: 129329, ~: 129329)
AuthTest:testFailSetAuthorityAsNonOwner() (gas: 18325)
AuthTest:testFailSetAuthorityAsNonOwner(address,address) (runs: 256, μ: 18594, ~: 18594)
AuthTest:testFailSetAuthorityWithRestrictiveAuthority() (gas: 129077)
AuthTest:testFailSetAuthorityWithRestrictiveAuthority(address,address) (runs: 256, μ: 129409, ~: 129409)
AuthTest:testFailTransferOwnershipAsNonOwner() (gas: 15641)
AuthTest:testFailTransferOwnershipAsNonOwner(address,address) (runs: 256, μ: 15922, ~: 15922)
AuthTest:testFailTransferOwnershipAsOwnerWithOutOfOrderAuthority() (gas: 136159)
AuthTest:testFailTransferOwnershipAsOwnerWithOutOfOrderAuthority(address) (runs: 256, μ: 136344, ~: 136344)
AuthTest:testFailTransferOwnershipWithRestrictiveAuthority() (gas: 129338)
AuthTest:testFailTransferOwnershipWithRestrictiveAuthority(address,address) (runs: 256, μ: 129588, ~: 129588)
AuthTest:testSetAuthorityAsOwner() (gas: 32214)
AuthTest:testSetAuthorityAsOwner(address) (runs: 256, μ: 32384, ~: 32384)
AuthTest:testSetAuthorityAsOwnerWithOutOfOrderAuthority() (gas: 226419)
AuthTest:testSetAuthorityWithPermissiveAuthority() (gas: 125962)
AuthTest:testSetAuthorityWithPermissiveAuthority(address,address) (runs: 256, μ: 130958, ~: 131055)
AuthTest:testTransferOwnershipAsOwner() (gas: 15298)
AuthTest:testTransferOwnershipAsOwner(address) (runs: 256, μ: 15469, ~: 15469)
AuthTest:testTransferOwnershipWithPermissiveAuthority() (gas: 127926)
AuthTest:testTransferOwnershipWithPermissiveAuthority(address,address) (runs: 256, μ: 130981, ~: 131000)
Bytes32AddressLibTest:testFillLast12Bytes() (gas: 223)
Bytes32AddressLibTest:testFromLast20Bytes() (gas: 191)
CREATE3Test:testDeployERC20() (gas: 853111)
CREATE3Test:testDeployERC20(bytes32,string,string,uint8) (runs: 256, μ: 923654, ~: 921961)
CREATE3Test:testFailDoubleDeployDifferentBytecode() (gas: 9079256848778914174)
CREATE3Test:testFailDoubleDeployDifferentBytecode(bytes32,bytes,bytes) (runs: 256, μ: 5062195514745832485, ~: 8937393460516727435)
CREATE3Test:testFailDoubleDeploySameBytecode() (gas: 9079256848778906218)
CREATE3Test:testFailDoubleDeploySameBytecode(bytes32,bytes) (runs: 256, μ: 5027837975401088877, ~: 8937393460516728677)
DSTestPlusTest:testBound() (gas: 14214)
DSTestPlusTest:testBound(uint256,uint256,uint256) (runs: 256, μ: 2787, ~: 2793)
DSTestPlusTest:testBrutalizeMemory() (gas: 823)
DSTestPlusTest:testFailBoundMinBiggerThanMax() (gas: 309)
DSTestPlusTest:testFailBoundMinBiggerThanMax(uint256,uint256,uint256) (runs: 256, μ: 460, ~: 462)
DSTestPlusTest:testRelApproxEqBothZeroesPasses() (gas: 425)
ERC1155Test:testApproveAll() (gas: 31009)
ERC1155Test:testApproveAll(address,bool) (runs: 256, μ: 16872, ~: 11440)
ERC1155Test:testBatchBalanceOf() (gas: 157631)
ERC1155Test:testBatchBalanceOf(address[],uint256[],uint256[],bytes) (runs: 256, μ: 3307946, ~: 2596398)
ERC1155Test:testBatchBurn() (gas: 151074)
ERC1155Test:testBatchBurn(address,uint256[],uint256[],uint256[],bytes) (runs: 256, μ: 3425444, ~: 3021348)
ERC1155Test:testBatchMintToEOA() (gas: 137337)
ERC1155Test:testBatchMintToEOA(address,uint256[],uint256[],bytes) (runs: 256, μ: 3261893, ~: 2923515)
ERC1155Test:testBatchMintToERC1155Recipient() (gas: 995703)
ERC1155Test:testBatchMintToERC1155Recipient(uint256[],uint256[],bytes) (runs: 256, μ: 7336290, ~: 6396323)
ERC1155Test:testBurn() (gas: 38598)
ERC1155Test:testBurn(address,uint256,uint256,bytes,uint256) (runs: 256, μ: 40221, ~: 42098)
ERC1155Test:testFailBalanceOfBatchWithArrayMismatch() (gas: 7933)
ERC1155Test:testFailBalanceOfBatchWithArrayMismatch(address[],uint256[]) (runs: 256, μ: 53386, ~: 54066)
ERC1155Test:testFailBatchBurnInsufficientBalance() (gas: 136156)
ERC1155Test:testFailBatchBurnInsufficientBalance(address,uint256[],uint256[],uint256[],bytes) (runs: 256, μ: 1278568, ~: 440335)
ERC1155Test:testFailBatchBurnWithArrayLengthMismatch() (gas: 135542)
ERC1155Test:testFailBatchBurnWithArrayLengthMismatch(address,uint256[],uint256[],uint256[],bytes) (runs: 256, μ: 77137, ~: 78751)
ERC1155Test:testFailBatchMintToNonERC1155Recipient() (gas: 167292)
ERC1155Test:testFailBatchMintToNonERC1155Recipient(uint256[],uint256[],bytes) (runs: 256, μ: 3131966, ~: 2673077)
ERC1155Test:testFailBatchMintToRevertingERC1155Recipient() (gas: 358811)
ERC1155Test:testFailBatchMintToRevertingERC1155Recipient(uint256[],uint256[],bytes) (runs: 256, μ: 3323504, ~: 2864613)
ERC1155Test:testFailBatchMintToWrongReturnDataERC1155Recipient() (gas: 310743)
ERC1155Test:testFailBatchMintToWrongReturnDataERC1155Recipient(uint256[],uint256[],bytes) (runs: 256, μ: 3275462, ~: 2816572)
ERC1155Test:testFailBatchMintToZero() (gas: 131737)
ERC1155Test:testFailBatchMintToZero(uint256[],uint256[],bytes) (runs: 256, μ: 3072466, ~: 2612336)
ERC1155Test:testFailBatchMintWithArrayMismatch() (gas: 9600)
ERC1155Test:testFailBatchMintWithArrayMismatch(address,uint256[],uint256[],bytes) (runs: 256, μ: 69252, ~: 68809)
ERC1155Test:testFailBurnInsufficientBalance() (gas: 34852)
ERC1155Test:testFailBurnInsufficientBalance(address,uint256,uint256,uint256,bytes) (runs: 256, μ: 35951, ~: 38209)
ERC1155Test:testFailMintToNonERC155Recipient() (gas: 68191)
ERC1155Test:testFailMintToNonERC155Recipient(uint256,uint256,bytes) (runs: 256, μ: 68507, ~: 69197)
ERC1155Test:testFailMintToRevertingERC155Recipient() (gas: 259435)
ERC1155Test:testFailMintToRevertingERC155Recipient(uint256,uint256,bytes) (runs: 256, μ: 259682, ~: 260373)
ERC1155Test:testFailMintToWrongReturnDataERC155Recipient() (gas: 259389)
ERC1155Test:testFailMintToWrongReturnDataERC155Recipient(uint256,uint256,bytes) (runs: 256, μ: 259706, ~: 260397)
ERC1155Test:testFailMintToZero() (gas: 33705)
ERC1155Test:testFailMintToZero(uint256,uint256,bytes) (runs: 256, μ: 33815, ~: 34546)
ERC1155Test:testFailSafeBatchTransferFromToNonERC1155Recipient() (gas: 321377)
ERC1155Test:testFailSafeBatchTransferFromToNonERC1155Recipient(uint256[],uint256[],uint256[],bytes,bytes) (runs: 256, μ: 3490437, ~: 2963551)
ERC1155Test:testFailSafeBatchTransferFromToRevertingERC1155Recipient() (gas: 512956)
ERC1155Test:testFailSafeBatchTransferFromToRevertingERC1155Recipient(uint256[],uint256[],uint256[],bytes,bytes) (runs: 256, μ: 3681974, ~: 3155082)
ERC1155Test:testFailSafeBatchTransferFromToWrongReturnDataERC1155Recipient() (gas: 464847)
ERC1155Test:testFailSafeBatchTransferFromToWrongReturnDataERC1155Recipient(uint256[],uint256[],uint256[],bytes,bytes) (runs: 256, μ: 3633892, ~: 3107003)
ERC1155Test:testFailSafeBatchTransferFromToZero() (gas: 286556)
ERC1155Test:testFailSafeBatchTransferFromToZero(uint256[],uint256[],uint256[],bytes,bytes) (runs: 256, μ: 3455257, ~: 2928396)
ERC1155Test:testFailSafeBatchTransferFromWithArrayLengthMismatch() (gas: 162674)
ERC1155Test:testFailSafeBatchTransferFromWithArrayLengthMismatch(address,uint256[],uint256[],uint256[],bytes,bytes) (runs: 256, μ: 81184, ~: 82042)
ERC1155Test:testFailSafeBatchTransferInsufficientBalance() (gas: 163555)
ERC1155Test:testFailSafeBatchTransferInsufficientBalance(address,uint256[],uint256[],uint256[],bytes,bytes) (runs: 256, μ: 1497154, ~: 499517)
ERC1155Test:testFailSafeTransferFromInsufficientBalance() (gas: 63245)
ERC1155Test:testFailSafeTransferFromInsufficientBalance(address,uint256,uint256,uint256,bytes,bytes) (runs: 256, μ: 63986, ~: 67405)
ERC1155Test:testFailSafeTransferFromSelfInsufficientBalance() (gas: 34297)
ERC1155Test:testFailSafeTransferFromSelfInsufficientBalance(address,uint256,uint256,uint256,bytes,bytes) (runs: 256, μ: 36266, ~: 38512)
ERC1155Test:testFailSafeTransferFromToNonERC155Recipient() (gas: 96510)
ERC1155Test:testFailSafeTransferFromToNonERC155Recipient(uint256,uint256,uint256,bytes,bytes) (runs: 256, μ: 96580, ~: 100546)
ERC1155Test:testFailSafeTransferFromToRevertingERC1155Recipient() (gas: 287731)
ERC1155Test:testFailSafeTransferFromToRevertingERC1155Recipient(uint256,uint256,uint256,bytes,bytes) (runs: 256, μ: 287750, ~: 291719)
ERC1155Test:testFailSafeTransferFromToWrongReturnDataERC1155Recipient() (gas: 239587)
ERC1155Test:testFailSafeTransferFromToWrongReturnDataERC1155Recipient(uint256,uint256,uint256,bytes,bytes) (runs: 256, μ: 239629, ~: 243598)
ERC1155Test:testFailSafeTransferFromToZero() (gas: 62014)
ERC1155Test:testFailSafeTransferFromToZero(uint256,uint256,uint256,bytes,bytes) (runs: 256, μ: 62068, ~: 66037)
ERC1155Test:testMintToEOA() (gas: 34765)
ERC1155Test:testMintToEOA(address,uint256,uint256,bytes) (runs: 256, μ: 35426, ~: 35907)
ERC1155Test:testMintToERC1155Recipient() (gas: 661411)
ERC1155Test:testMintToERC1155Recipient(uint256,uint256,bytes) (runs: 256, μ: 691094, ~: 684374)
ERC1155Test:testSafeBatchTransferFromToEOA() (gas: 297822)
ERC1155Test:testSafeBatchTransferFromToEOA(address,uint256[],uint256[],uint256[],bytes,bytes) (runs: 256, μ: 4692589, ~: 3776319)
ERC1155Test:testSafeBatchTransferFromToERC1155Recipient() (gas: 1175327)
ERC1155Test:testSafeBatchTransferFromToERC1155Recipient(uint256[],uint256[],uint256[],bytes,bytes) (runs: 256, μ: 7683519, ~: 6515438)
ERC1155Test:testSafeTransferFromSelf() (gas: 64177)
ERC1155Test:testSafeTransferFromSelf(uint256,uint256,bytes,uint256,address,bytes) (runs: 256, μ: 64824, ~: 68564)
ERC1155Test:testSafeTransferFromToEOA() (gas: 93167)
ERC1155Test:testSafeTransferFromToEOA(uint256,uint256,bytes,uint256,address,bytes) (runs: 256, μ: 93578, ~: 97450)
ERC1155Test:testSafeTransferFromToERC1155Recipient() (gas: 739583)
ERC1155Test:testSafeTransferFromToERC1155Recipient(uint256,uint256,bytes,uint256,bytes) (runs: 256, μ: 769591, ~: 765729)
ERC20Invariants:invariantBalanceSum() (runs: 256, calls: 3840, reverts: 2368)
ERC20Test:invariantMetadata() (runs: 256, calls: 3840, reverts: 2558)
ERC20Test:testApprove() (gas: 31058)
ERC20Test:testApprove(address,uint256) (runs: 256, μ: 30424, ~: 31280)
ERC20Test:testBurn() (gas: 56970)
ERC20Test:testBurn(address,uint256,uint256) (runs: 256, μ: 56678, ~: 59645)
ERC20Test:testFailBurnInsufficientBalance(address,uint256,uint256) (runs: 256, μ: 51897, ~: 55492)
ERC20Test:testFailPermitBadDeadline() (gas: 36935)
ERC20Test:testFailPermitBadDeadline(uint256,address,uint256,uint256) (runs: 256, μ: 32148, ~: 37218)
ERC20Test:testFailPermitBadNonce() (gas: 36874)
ERC20Test:testFailPermitBadNonce(uint256,address,uint256,uint256,uint256) (runs: 256, μ: 31628, ~: 37187)
ERC20Test:testFailPermitPastDeadline() (gas: 11191)
ERC20Test:testFailPermitPastDeadline(uint256,address,uint256,uint256) (runs: 256, μ: 12037, ~: 13101)
ERC20Test:testFailPermitReplay() (gas: 66274)
ERC20Test:testFailPermitReplay(uint256,address,uint256,uint256) (runs: 256, μ: 57071, ~: 66592)
ERC20Test:testFailTransferFromInsufficientAllowance() (gas: 80882)
ERC20Test:testFailTransferFromInsufficientAllowance(address,uint256,uint256) (runs: 256, μ: 79858, ~: 83393)
ERC20Test:testFailTransferFromInsufficientBalance() (gas: 81358)
ERC20Test:testFailTransferFromInsufficientBalance(address,uint256,uint256) (runs: 256, μ: 79359, ~: 83870)
ERC20Test:testFailTransferInsufficientBalance() (gas: 52806)
ERC20Test:testFailTransferInsufficientBalance(address,uint256,uint256) (runs: 256, μ: 51720, ~: 55310)
ERC20Test:testInfiniteApproveTransferFrom() (gas: 89793)
ERC20Test:testMetadata(string,string,uint8) (runs: 256, μ: 869043, ~: 863173)
ERC20Test:testMint() (gas: 53746)
ERC20Test:testMint(address,uint256) (runs: 256, μ: 52214, ~: 53925)
ERC20Test:testPermit() (gas: 63193)
ERC20Test:testPermit(uint248,address,uint256,uint256) (runs: 256, μ: 62584, ~: 63517)
ERC20Test:testTransfer() (gas: 60272)
ERC20Test:testTransfer(address,uint256) (runs: 256, μ: 58773, ~: 60484)
ERC20Test:testTransferFrom() (gas: 83777)
ERC20Test:testTransferFrom(address,uint256,uint256) (runs: 256, μ: 86308, ~: 92841)
ERC4626Test:invariantMetadata() (runs: 256, calls: 3840, reverts: 2936)
ERC4626Test:testFailDepositWithNoApproval() (gas: 13357)
ERC4626Test:testFailDepositWithNotEnoughApproval() (gas: 86993)
ERC4626Test:testFailDepositZero() (gas: 7780)
ERC4626Test:testFailMintWithNoApproval() (gas: 13296)
ERC4626Test:testFailRedeemWithNoShareAmount() (gas: 32342)
ERC4626Test:testFailRedeemWithNotEnoughShareAmount() (gas: 203631)
ERC4626Test:testFailRedeemZero() (gas: 7967)
ERC4626Test:testFailWithdrawWithNoUnderlyingAmount() (gas: 32289)
ERC4626Test:testFailWithdrawWithNotEnoughUnderlyingAmount() (gas: 203595)
ERC4626Test:testMetadata(string,string) (runs: 256, μ: 1489616, ~: 1481501)
ERC4626Test:testMintZero() (gas: 54595)
ERC4626Test:testMultipleMintDepositRedeemWithdraw() (gas: 411747)
ERC4626Test:testSingleDepositWithdraw(uint128) (runs: 256, μ: 201526, ~: 201536)
ERC4626Test:testSingleMintRedeem(uint128) (runs: 256, μ: 201451, ~: 201461)
ERC4626Test:testVaultInteractionsForSomeoneElse() (gas: 286209)
ERC4626Test:testWithdrawZero() (gas: 52462)
ERC721Test:invariantMetadata() (runs: 256, calls: 3840, reverts: 2183)
ERC721Test:testApprove() (gas: 78427)
ERC721Test:testApprove(address,uint256) (runs: 256, μ: 78637, ~: 78637)
ERC721Test:testApproveAll() (gas: 31063)
ERC721Test:testApproveAll(address,bool) (runs: 256, μ: 16970, ~: 11538)
ERC721Test:testApproveBurn() (gas: 65550)
ERC721Test:testApproveBurn(address,uint256) (runs: 256, μ: 65613, ~: 65624)
ERC721Test:testBurn() (gas: 46107)
ERC721Test:testBurn(address,uint256) (runs: 256, μ: 46152, ~: 46163)
ERC721Test:testFailApproveUnAuthorized() (gas: 55598)
ERC721Test:testFailApproveUnAuthorized(address,uint256,address) (runs: 256, μ: 55873, ~: 55873)
ERC721Test:testFailApproveUnMinted() (gas: 10236)
ERC721Test:testFailApproveUnMinted(uint256,address) (runs: 256, μ: 10363, ~: 10363)
ERC721Test:testFailBalanceOfZeroAddress() (gas: 5555)
ERC721Test:testFailBurnUnMinted() (gas: 7857)
ERC721Test:testFailBurnUnMinted(uint256) (runs: 256, μ: 7938, ~: 7938)
ERC721Test:testFailDoubleBurn() (gas: 58943)
ERC721Test:testFailDoubleBurn(uint256,address) (runs: 256, μ: 59174, ~: 59174)
ERC721Test:testFailDoubleMint() (gas: 53286)
ERC721Test:testFailDoubleMint(uint256,address) (runs: 256, μ: 53496, ~: 53496)
ERC721Test:testFailMintToZero() (gas: 5753)
ERC721Test:testFailMintToZero(uint256) (runs: 256, μ: 5835, ~: 5835)
ERC721Test:testFailOwnerOfUnminted() (gas: 7609)
ERC721Test:testFailOwnerOfUnminted(uint256) (runs: 256, μ: 7689, ~: 7689)
ERC721Test:testFailSafeMintToERC721RecipientWithWrongReturnData() (gas: 159076)
ERC721Test:testFailSafeMintToERC721RecipientWithWrongReturnData(uint256) (runs: 256, μ: 159125, ~: 159125)
ERC721Test:testFailSafeMintToERC721RecipientWithWrongReturnDataWithData() (gas: 159831)
ERC721Test:testFailSafeMintToERC721RecipientWithWrongReturnDataWithData(uint256,bytes) (runs: 256, μ: 160231, ~: 160182)
ERC721Test:testFailSafeMintToNonERC721Recipient() (gas: 89210)
ERC721Test:testFailSafeMintToNonERC721Recipient(uint256) (runs: 256, μ: 89279, ~: 89279)
ERC721Test:testFailSafeMintToNonERC721RecipientWithData() (gas: 89995)
ERC721Test:testFailSafeMintToNonERC721RecipientWithData(uint256,bytes) (runs: 256, μ: 90420, ~: 90368)
ERC721Test:testFailSafeMintToRevertingERC721Recipient() (gas: 204743)
ERC721Test:testFailSafeMintToRevertingERC721Recipient(uint256) (runs: 256, μ: 204815, ~: 204815)
ERC721Test:testFailSafeMintToRevertingERC721RecipientWithData() (gas: 205517)
ERC721Test:testFailSafeMintToRevertingERC721RecipientWithData(uint256,bytes) (runs: 256, μ: 205964, ~: 205915)
ERC721Test:testFailSafeTransferFromToERC721RecipientWithWrongReturnData() (gas: 187276)
ERC721Test:testFailSafeTransferFromToERC721RecipientWithWrongReturnData(uint256) (runs: 256, μ: 187360, ~: 187360)
ERC721Test:testFailSafeTransferFromToERC721RecipientWithWrongReturnDataWithData() (gas: 187728)
ERC721Test:testFailSafeTransferFromToERC721RecipientWithWrongReturnDataWithData(uint256,bytes) (runs: 256, μ: 188067, ~: 188063)
ERC721Test:testFailSafeTransferFromToNonERC721Recipient() (gas: 117413)
ERC721Test:testFailSafeTransferFromToNonERC721Recipient(uint256) (runs: 256, μ: 117495, ~: 117495)
ERC721Test:testFailSafeTransferFromToNonERC721RecipientWithData() (gas: 117872)
ERC721Test:testFailSafeTransferFromToNonERC721RecipientWithData(uint256,bytes) (runs: 256, μ: 118280, ~: 118276)
ERC721Test:testFailSafeTransferFromToRevertingERC721Recipient() (gas: 233009)
ERC721Test:testFailSafeTransferFromToRevertingERC721Recipient(uint256) (runs: 256, μ: 233050, ~: 233050)
ERC721Test:testFailSafeTransferFromToRevertingERC721RecipientWithData() (gas: 233396)
ERC721Test:testFailSafeTransferFromToRevertingERC721RecipientWithData(uint256,bytes) (runs: 256, μ: 233823, ~: 233819)
ERC721Test:testFailTransferFromNotOwner() (gas: 57872)
ERC721Test:testFailTransferFromNotOwner(address,address,uint256) (runs: 256, μ: 57515, ~: 58162)
ERC721Test:testFailTransferFromToZero() (gas: 53381)
ERC721Test:testFailTransferFromToZero(uint256) (runs: 256, μ: 53463, ~: 53463)
ERC721Test:testFailTransferFromUnOwned() (gas: 8000)
ERC721Test:testFailTransferFromUnOwned(address,address,uint256) (runs: 256, μ: 8311, ~: 8241)
ERC721Test:testFailTransferFromWrongFrom() (gas: 53361)
ERC721Test:testFailTransferFromWrongFrom(address,address,address,uint256) (runs: 256, μ: 53566, ~: 53752)
ERC721Test:testMetadata(string,string) (runs: 256, μ: 1341878, ~: 1332786)
ERC721Test:testMint() (gas: 54336)
ERC721Test:testMint(address,uint256) (runs: 256, μ: 54521, ~: 54521)
ERC721Test:testSafeMintToEOA() (gas: 56993)
ERC721Test:testSafeMintToEOA(uint256,address) (runs: 256, μ: 56976, ~: 57421)
ERC721Test:testSafeMintToERC721Recipient() (gas: 427035)
ERC721Test:testSafeMintToERC721Recipient(uint256) (runs: 256, μ: 426053, ~: 427142)
ERC721Test:testSafeMintToERC721RecipientWithData() (gas: 448149)
ERC721Test:testSafeMintToERC721RecipientWithData(uint256,bytes) (runs: 256, μ: 480015, ~: 470905)
ERC721Test:testSafeTransferFromToEOA() (gas: 95666)
ERC721Test:testSafeTransferFromToEOA(uint256,address) (runs: 256, μ: 95352, ~: 96099)
ERC721Test:testSafeTransferFromToERC721Recipient() (gas: 485549)
ERC721Test:testSafeTransferFromToERC721Recipient(uint256) (runs: 256, μ: 484593, ~: 485682)
ERC721Test:testSafeTransferFromToERC721RecipientWithData() (gas: 506317)
ERC721Test:testSafeTransferFromToERC721RecipientWithData(uint256,bytes) (runs: 256, μ: 538126, ~: 529082)
ERC721Test:testTransferFrom() (gas: 86347)
ERC721Test:testTransferFrom(uint256,address) (runs: 256, μ: 86469, ~: 86477)
ERC721Test:testTransferFromApproveAll() (gas: 92898)
ERC721Test:testTransferFromApproveAll(uint256,address) (runs: 256, μ: 93182, ~: 93182)
ERC721Test:testTransferFromSelf() (gas: 64776)
ERC721Test:testTransferFromSelf(uint256,address) (runs: 256, μ: 65061, ~: 65061)
FixedPointMathLibTest:testDifferentiallyFuzzSqrt(uint256) (runs: 256, μ: 13809, ~: 4181)
FixedPointMathLibTest:testDivWadDown() (gas: 820)
FixedPointMathLibTest:testDivWadDown(uint256,uint256) (runs: 256, μ: 712, ~: 813)
FixedPointMathLibTest:testDivWadDownEdgeCases() (gas: 439)
FixedPointMathLibTest:testDivWadUp() (gas: 943)
FixedPointMathLibTest:testDivWadUp(uint256,uint256) (runs: 256, μ: 792, ~: 952)
FixedPointMathLibTest:testDivWadUpEdgeCases() (gas: 442)
FixedPointMathLibTest:testFailDivWadDownOverflow(uint256,uint256) (runs: 256, μ: 442, ~: 419)
FixedPointMathLibTest:testFailDivWadDownZeroDenominator() (gas: 332)
FixedPointMathLibTest:testFailDivWadDownZeroDenominator(uint256) (runs: 256, μ: 387, ~: 387)
FixedPointMathLibTest:testFailDivWadUpOverflow(uint256,uint256) (runs: 256, μ: 397, ~: 374)
FixedPointMathLibTest:testFailDivWadUpZeroDenominator() (gas: 332)
FixedPointMathLibTest:testFailDivWadUpZeroDenominator(uint256) (runs: 256, μ: 386, ~: 386)
FixedPointMathLibTest:testFailMulDivDownOverflow(uint256,uint256,uint256) (runs: 256, μ: 434, ~: 414)
FixedPointMathLibTest:testFailMulDivDownZeroDenominator() (gas: 328)
FixedPointMathLibTest:testFailMulDivDownZeroDenominator(uint256,uint256) (runs: 256, μ: 385, ~: 385)
FixedPointMathLibTest:testFailMulDivUpOverflow(uint256,uint256,uint256) (runs: 256, μ: 457, ~: 437)
FixedPointMathLibTest:testFailMulDivUpZeroDenominator() (gas: 329)
FixedPointMathLibTest:testFailMulDivUpZeroDenominator(uint256,uint256) (runs: 256, μ: 428, ~: 428)
FixedPointMathLibTest:testFailMulWadDownOverflow(uint256,uint256) (runs: 256, μ: 421, ~: 387)
FixedPointMathLibTest:testFailMulWadUpOverflow(uint256,uint256) (runs: 256, μ: 398, ~: 364)
FixedPointMathLibTest:testMulDivDown() (gas: 1813)
FixedPointMathLibTest:testMulDivDown(uint256,uint256,uint256) (runs: 256, μ: 686, ~: 786)
FixedPointMathLibTest:testMulDivDownEdgeCases() (gas: 686)
FixedPointMathLibTest:testMulDivUp() (gas: 2095)
FixedPointMathLibTest:testMulDivUp(uint256,uint256,uint256) (runs: 256, μ: 821, ~: 1034)
FixedPointMathLibTest:testMulDivUpEdgeCases() (gas: 785)
FixedPointMathLibTest:testMulWadDown() (gas: 823)
FixedPointMathLibTest:testMulWadDown(uint256,uint256) (runs: 256, μ: 681, ~: 803)
FixedPointMathLibTest:testMulWadDownEdgeCases() (gas: 822)
FixedPointMathLibTest:testMulWadUp() (gas: 921)
FixedPointMathLibTest:testMulWadUp(uint256,uint256) (runs: 256, μ: 821, ~: 1053)
FixedPointMathLibTest:testMulWadUpEdgeCases() (gas: 899)
FixedPointMathLibTest:testRPow() (gas: 2164)
FixedPointMathLibTest:testSqrt() (gas: 2580)
FixedPointMathLibTest:testSqrt(uint256) (runs: 256, μ: 997, ~: 1013)
FixedPointMathLibTest:testSqrtBack(uint256) (runs: 256, μ: 15210, ~: 340)
FixedPointMathLibTest:testSqrtBackHashed(uint256) (runs: 256, μ: 59066, ~: 59500)
FixedPointMathLibTest:testSqrtBackHashedSingle() (gas: 58937)
LibStringTest:testDifferentiallyFuzzToString(uint256,bytes) (runs: 256, μ: 20892, ~: 8988)
LibStringTest:testDifferentiallyFuzzToStringInt(int256,bytes) (runs: 256, μ: 20081, ~: 8356)
LibStringTest:testToString() (gas: 10069)
LibStringTest:testToStringDirty() (gas: 8145)
LibStringTest:testToStringIntNegative() (gas: 9634)
LibStringTest:testToStringIntPositive() (gas: 10481)
LibStringTest:testToStringOverwrite() (gas: 506)
MerkleProofLibTest:testValidProofSupplied() (gas: 2153)
MerkleProofLibTest:testVerifyEmptyMerkleProofSuppliedLeafAndRootDifferent() (gas: 1458)
MerkleProofLibTest:testVerifyEmptyMerkleProofSuppliedLeafAndRootSame() (gas: 1452)
MerkleProofLibTest:testVerifyInvalidProofSupplied() (gas: 2172)
MultiRolesAuthorityTest:testCanCallPublicCapability() (gas: 34204)
MultiRolesAuthorityTest:testCanCallPublicCapability(address,address,bytes4) (runs: 256, μ: 34390, ~: 34361)
MultiRolesAuthorityTest:testCanCallWithAuthorizedRole() (gas: 80416)
MultiRolesAuthorityTest:testCanCallWithAuthorizedRole(address,uint8,address,bytes4) (runs: 256, μ: 80705, ~: 80671)
MultiRolesAuthorityTest:testCanCallWithCustomAuthority() (gas: 422439)
MultiRolesAuthorityTest:testCanCallWithCustomAuthority(address,address,bytes4) (runs: 256, μ: 422858, ~: 422858)
MultiRolesAuthorityTest:testCanCallWithCustomAuthorityOverridesPublicCapability() (gas: 247388)
MultiRolesAuthorityTest:testCanCallWithCustomAuthorityOverridesPublicCapability(address,address,bytes4) (runs: 256, μ: 247841, ~: 247841)
MultiRolesAuthorityTest:testCanCallWithCustomAuthorityOverridesUserWithRole() (gas: 256546)
MultiRolesAuthorityTest:testCanCallWithCustomAuthorityOverridesUserWithRole(address,uint8,address,bytes4) (runs: 256, μ: 256885, ~: 256852)
MultiRolesAuthorityTest:testSetPublicCapabilities() (gas: 27727)
MultiRolesAuthorityTest:testSetPublicCapabilities(bytes4) (runs: 256, μ: 27836, ~: 27835)
MultiRolesAuthorityTest:testSetRoleCapabilities() (gas: 28932)
MultiRolesAuthorityTest:testSetRoleCapabilities(uint8,bytes4) (runs: 256, μ: 29073, ~: 29073)
MultiRolesAuthorityTest:testSetRoles() (gas: 28918)
MultiRolesAuthorityTest:testSetRoles(address,uint8) (runs: 256, μ: 29030, ~: 29016)
MultiRolesAuthorityTest:testSetTargetCustomAuthority() (gas: 28102)
MultiRolesAuthorityTest:testSetTargetCustomAuthority(address,address) (runs: 256, μ: 28176, ~: 28146)
OwnedTest:testCallFunctionAsNonOwner() (gas: 11344)
OwnedTest:testCallFunctionAsNonOwner(address) (runs: 256, μ: 16252, ~: 16290)
OwnedTest:testCallFunctionAsOwner() (gas: 10435)
OwnedTest:testTransferOwnership() (gas: 13123)
OwnedTest:testTransferOwnership(address) (runs: 256, μ: 13154, ~: 13192)
ReentrancyGuardTest:invariantReentrancyStatusAlways1() (runs: 256, calls: 3840, reverts: 331)
ReentrancyGuardTest:testFailUnprotectedCall() (gas: 46147)
ReentrancyGuardTest:testNoReentrancy() (gas: 7515)
ReentrancyGuardTest:testProtectedCall() (gas: 33467)
RolesAuthorityTest:testCanCallPublicCapability() (gas: 33409)
RolesAuthorityTest:testCanCallPublicCapability(address,address,bytes4) (runs: 256, μ: 33560, ~: 33532)
RolesAuthorityTest:testCanCallWithAuthorizedRole() (gas: 79995)
RolesAuthorityTest:testCanCallWithAuthorizedRole(address,uint8,address,bytes4) (runs: 256, μ: 80272, ~: 80238)
RolesAuthorityTest:testSetPublicCapabilities() (gas: 29095)
RolesAuthorityTest:testSetPublicCapabilities(address,bytes4) (runs: 256, μ: 29209, ~: 29192)
RolesAuthorityTest:testSetRoleCapabilities() (gas: 30276)
RolesAuthorityTest:testSetRoleCapabilities(uint8,address,bytes4) (runs: 256, μ: 30506, ~: 30489)
RolesAuthorityTest:testSetRoles() (gas: 29005)
RolesAuthorityTest:testSetRoles(address,uint8) (runs: 256, μ: 29122, ~: 29108)
SSTORE2Test:testFailReadInvalidPointer() (gas: 2927)
SSTORE2Test:testFailReadInvalidPointer(address,bytes) (runs: 256, μ: 3889, ~: 3892)
SSTORE2Test:testFailReadInvalidPointerCustomBounds() (gas: 3099)
SSTORE2Test:testFailReadInvalidPointerCustomBounds(address,uint256,uint256,bytes) (runs: 256, μ: 4107, ~: 4130)
SSTORE2Test:testFailReadInvalidPointerCustomStartBound() (gas: 3004)
SSTORE2Test:testFailReadInvalidPointerCustomStartBound(address,uint256,bytes) (runs: 256, μ: 3980, ~: 3988)
SSTORE2Test:testFailWriteReadCustomBoundsOutOfRange(bytes,uint256,uint256,bytes) (runs: 256, μ: 46236, ~: 43603)
SSTORE2Test:testFailWriteReadCustomStartBoundOutOfRange(bytes,uint256,bytes) (runs: 256, μ: 46017, ~: 43452)
SSTORE2Test:testFailWriteReadEmptyOutOfBounds() (gas: 34470)
SSTORE2Test:testFailWriteReadOutOfBounds() (gas: 34426)
SSTORE2Test:testFailWriteReadOutOfStartBound() (gas: 34362)
SSTORE2Test:testWriteRead() (gas: 53497)
SSTORE2Test:testWriteRead(bytes,bytes) (runs: 256, μ: 44019, ~: 41555)
SSTORE2Test:testWriteReadCustomBounds() (gas: 34869)
SSTORE2Test:testWriteReadCustomBounds(bytes,uint256,uint256,bytes) (runs: 256, μ: 29483, ~: 44592)
SSTORE2Test:testWriteReadCustomStartBound() (gas: 34740)
SSTORE2Test:testWriteReadCustomStartBound(bytes,uint256,bytes) (runs: 256, μ: 46484, ~: 44053)
SSTORE2Test:testWriteReadEmptyBound() (gas: 34677)
SSTORE2Test:testWriteReadFullBoundedRead() (gas: 53672)
SSTORE2Test:testWriteReadFullStartBound() (gas: 34764)
SafeCastLibTest:testFailSafeCastTo128() (gas: 321)
SafeCastLibTest:testFailSafeCastTo128(uint256) (runs: 256, μ: 443, ~: 443)
SafeCastLibTest:testFailSafeCastTo16() (gas: 343)
SafeCastLibTest:testFailSafeCastTo16(uint256) (runs: 256, μ: 401, ~: 401)
SafeCastLibTest:testFailSafeCastTo160() (gas: 342)
SafeCastLibTest:testFailSafeCastTo160(uint256) (runs: 256, μ: 422, ~: 422)
SafeCastLibTest:testFailSafeCastTo192() (gas: 322)
SafeCastLibTest:testFailSafeCastTo192(uint256) (runs: 256, μ: 401, ~: 401)
SafeCastLibTest:testFailSafeCastTo224() (gas: 365)
SafeCastLibTest:testFailSafeCastTo224(uint256) (runs: 256, μ: 445, ~: 445)
SafeCastLibTest:testFailSafeCastTo24(uint256) (runs: 256, μ: 402, ~: 402)
SafeCastLibTest:testFailSafeCastTo248() (gas: 321)
SafeCastLibTest:testFailSafeCastTo248(uint256) (runs: 256, μ: 444, ~: 444)
SafeCastLibTest:testFailSafeCastTo32() (gas: 364)
SafeCastLibTest:testFailSafeCastTo32(uint256) (runs: 256, μ: 446, ~: 446)
SafeCastLibTest:testFailSafeCastTo64() (gas: 343)
SafeCastLibTest:testFailSafeCastTo64(uint256) (runs: 256, μ: 423, ~: 423)
SafeCastLibTest:testFailSafeCastTo8() (gas: 341)
SafeCastLibTest:testFailSafeCastTo8(uint256) (runs: 256, μ: 421, ~: 421)
SafeCastLibTest:testFailSafeCastTo96() (gas: 343)
SafeCastLibTest:testFailSafeCastTo96(uint256) (runs: 256, μ: 424, ~: 424)
SafeCastLibTest:testSafeCastTo128() (gas: 472)
SafeCastLibTest:testSafeCastTo128(uint256) (runs: 256, μ: 2756, ~: 2756)
SafeCastLibTest:testSafeCastTo16() (gas: 447)
SafeCastLibTest:testSafeCastTo16(uint256) (runs: 256, μ: 2734, ~: 2734)
SafeCastLibTest:testSafeCastTo160() (gas: 470)
SafeCastLibTest:testSafeCastTo160(uint256) (runs: 256, μ: 2731, ~: 2731)
SafeCastLibTest:testSafeCastTo192() (gas: 449)
SafeCastLibTest:testSafeCastTo192(uint256) (runs: 256, μ: 2711, ~: 2711)
SafeCastLibTest:testSafeCastTo224() (gas: 491)
SafeCastLibTest:testSafeCastTo224(uint256) (runs: 256, μ: 2710, ~: 2710)
SafeCastLibTest:testSafeCastTo24() (gas: 492)
SafeCastLibTest:testSafeCastTo248() (gas: 450)
SafeCastLibTest:testSafeCastTo248(uint256) (runs: 256, μ: 2755, ~: 2755)
SafeCastLibTest:testSafeCastTo32() (gas: 449)
SafeCastLibTest:testSafeCastTo32(uint256) (runs: 256, μ: 2733, ~: 2733)
SafeCastLibTest:testSafeCastTo64() (gas: 492)
SafeCastLibTest:testSafeCastTo64(uint256) (runs: 256, μ: 2732, ~: 2732)
SafeCastLibTest:testSafeCastTo8() (gas: 491)
SafeCastLibTest:testSafeCastTo8(uint256) (runs: 256, μ: 2710, ~: 2710)
SafeCastLibTest:testSafeCastTo96() (gas: 469)
SafeCastLibTest:testSafeCastTo96(uint256) (runs: 256, μ: 2711, ~: 2711)
SafeTransferLibTest:testApproveWithGarbage(address,uint256,bytes,bytes) (runs: 256, μ: 2664, ~: 2231)
SafeTransferLibTest:testApproveWithMissingReturn() (gas: 30751)
SafeTransferLibTest:testApproveWithMissingReturn(address,uint256,bytes) (runs: 256, μ: 30328, ~: 31566)
SafeTransferLibTest:testApproveWithNonContract() (gas: 3035)
SafeTransferLibTest:testApproveWithNonContract(address,address,uint256,bytes) (runs: 256, μ: 4121, ~: 4117)
SafeTransferLibTest:testApproveWithReturnsTooMuch() (gas: 31134)
SafeTransferLibTest:testApproveWithReturnsTooMuch(address,uint256,bytes) (runs: 256, μ: 30796, ~: 32034)
SafeTransferLibTest:testApproveWithStandardERC20() (gas: 30882)
SafeTransferLibTest:testApproveWithStandardERC20(address,uint256,bytes) (runs: 256, μ: 30522, ~: 31760)
SafeTransferLibTest:testFailApproveWithGarbage(address,uint256,bytes,bytes) (runs: 256, μ: 84437, ~: 77909)
SafeTransferLibTest:testFailApproveWithReturnsFalse() (gas: 5627)
SafeTransferLibTest:testFailApproveWithReturnsFalse(address,uint256,bytes) (runs: 256, μ: 6480, ~: 6475)
SafeTransferLibTest:testFailApproveWithReturnsTooLittle() (gas: 5568)
SafeTransferLibTest:testFailApproveWithReturnsTooLittle(address,uint256,bytes) (runs: 256, μ: 6444, ~: 6439)
SafeTransferLibTest:testFailApproveWithReturnsTwo(address,uint256,bytes) (runs: 256, μ: 6452, ~: 6447)
SafeTransferLibTest:testFailApproveWithReverting() (gas: 5502)
SafeTransferLibTest:testFailApproveWithReverting(address,uint256,bytes) (runs: 256, μ: 6403, ~: 6398)
SafeTransferLibTest:testFailTransferETHToContractWithoutFallback() (gas: 7244)
SafeTransferLibTest:testFailTransferETHToContractWithoutFallback(uint256,bytes) (runs: 256, μ: 7758, ~: 8055)
SafeTransferLibTest:testFailTransferFromWithGarbage(address,address,uint256,bytes,bytes) (runs: 256, μ: 123242, ~: 117401)
SafeTransferLibTest:testFailTransferFromWithReturnsFalse() (gas: 13663)
SafeTransferLibTest:testFailTransferFromWithReturnsFalse(address,address,uint256,bytes) (runs: 256, μ: 14593, ~: 14588)
SafeTransferLibTest:testFailTransferFromWithReturnsTooLittle() (gas: 13544)
SafeTransferLibTest:testFailTransferFromWithReturnsTooLittle(address,address,uint256,bytes) (runs: 256, μ: 14452, ~: 14447)
SafeTransferLibTest:testFailTransferFromWithReturnsTwo(address,address,uint256,bytes) (runs: 256, μ: 14559, ~: 14554)
SafeTransferLibTest:testFailTransferFromWithReverting() (gas: 9757)
SafeTransferLibTest:testFailTransferFromWithReverting(address,address,uint256,bytes) (runs: 256, μ: 10685, ~: 10680)
SafeTransferLibTest:testFailTransferWithGarbage(address,uint256,bytes,bytes) (runs: 256, μ: 90360, ~: 83989)
SafeTransferLibTest:testFailTransferWithReturnsFalse() (gas: 8532)
SafeTransferLibTest:testFailTransferWithReturnsFalse(address,uint256,bytes) (runs: 256, μ: 9451, ~: 9446)
SafeTransferLibTest:testFailTransferWithReturnsTooLittle() (gas: 8538)
SafeTransferLibTest:testFailTransferWithReturnsTooLittle(address,uint256,bytes) (runs: 256, μ: 9391, ~: 9386)
SafeTransferLibTest:testFailTransferWithReturnsTwo(address,uint256,bytes) (runs: 256, μ: 9378, ~: 9373)
SafeTransferLibTest:testFailTransferWithReverting() (gas: 8494)
SafeTransferLibTest:testFailTransferWithReverting(address,uint256,bytes) (runs: 256, μ: 9350, ~: 9345)
SafeTransferLibTest:testTransferETH() (gas: 34592)
SafeTransferLibTest:testTransferETH(address,uint256,bytes) (runs: 256, μ: 35865, ~: 37975)
SafeTransferLibTest:testTransferFromWithGarbage(address,address,uint256,bytes,bytes) (runs: 256, μ: 2907, ~: 2247)
SafeTransferLibTest:testTransferFromWithMissingReturn() (gas: 49186)
SafeTransferLibTest:testTransferFromWithMissingReturn(address,address,uint256,bytes) (runs: 256, μ: 48355, ~: 49598)
SafeTransferLibTest:testTransferFromWithNonContract() (gas: 3035)
SafeTransferLibTest:testTransferFromWithNonContract(address,address,address,uint256,bytes) (runs: 256, μ: 4222, ~: 4228)
SafeTransferLibTest:testTransferFromWithReturnsTooMuch() (gas: 49810)
SafeTransferLibTest:testTransferFromWithReturnsTooMuch(address,address,uint256,bytes) (runs: 256, μ: 49002, ~: 50237)
SafeTransferLibTest:testTransferFromWithStandardERC20() (gas: 47603)
SafeTransferLibTest:testTransferFromWithStandardERC20(address,address,uint256,bytes) (runs: 256, μ: 46786, ~: 48049)
SafeTransferLibTest:testTransferWithGarbage(address,uint256,bytes,bytes) (runs: 256, μ: 2620, ~: 2187)
SafeTransferLibTest:testTransferWithMissingReturn() (gas: 36666)
SafeTransferLibTest:testTransferWithMissingReturn(address,uint256,bytes) (runs: 256, μ: 36001, ~: 37546)
SafeTransferLibTest:testTransferWithNonContract() (gas: 3012)
SafeTransferLibTest:testTransferWithNonContract(address,address,uint256,bytes) (runs: 256, μ: 4185, ~: 4181)
SafeTransferLibTest:testTransferWithReturnsTooMuch() (gas: 37112)
SafeTransferLibTest:testTransferWithReturnsTooMuch(address,uint256,bytes) (runs: 256, μ: 36404, ~: 37949)
SafeTransferLibTest:testTransferWithStandardERC20() (gas: 36696)
SafeTransferLibTest:testTransferWithStandardERC20(address,uint256,bytes) (runs: 256, μ: 36054, ~: 37599)
SignedWadMathTest:testFailWadDivOverflow(int256,int256) (runs: 256, μ: 368, ~: 351)
SignedWadMathTest:testFailWadDivZeroDenominator(int256) (runs: 256, μ: 296, ~: 296)
SignedWadMathTest:testFailWadMulOverflow(int256,int256) (runs: 256, μ: 323, ~: 296)
SignedWadMathTest:testWadDiv(uint256,uint256,bool,bool) (runs: 256, μ: 5696, ~: 5664)
SignedWadMathTest:testWadMul(uint256,uint256,bool,bool) (runs: 256, μ: 5720, ~: 5688)
WETHInvariants:invariantTotalSupplyEqualsBalance() (runs: 256, calls: 3840, reverts: 1931)
WETHTest:testDeposit() (gas: 63535)
WETHTest:testDeposit(uint256) (runs: 256, μ: 62792, ~: 65880)
WETHTest:testFallbackDeposit() (gas: 63249)
WETHTest:testFallbackDeposit(uint256) (runs: 256, μ: 62516, ~: 65604)
WETHTest:testPartialWithdraw() (gas: 73281)
WETHTest:testWithdraw() (gas: 54360)
WETHTest:testWithdraw(uint256,uint256) (runs: 256, μ: 75443, ~: 78076)