Skip to content

Commit

Permalink
add fuzz seed
Browse files Browse the repository at this point in the history
  • Loading branch information
jtriley-eth committed Apr 16, 2024
1 parent e0471c3 commit 21294b1
Show file tree
Hide file tree
Showing 2 changed files with 52 additions and 51 deletions.
102 changes: 51 additions & 51 deletions .gas-snapshot
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
ERC165Test:testFuzzSupportsInterface(bool,bool,bytes4,bool) (runs: 10003, μ: 97112, ~: 99606)
ERC165Test:testFuzzSupportsInterface(bool,bool,bytes4,bool) (runs: 10003, μ: 97098, ~: 99606)
ERC165Test:testSupportsInterface() (gas: 63981)
ERC165Test:testSupportsInterfaceReturnsNothing() (gas: 30920)
ERC165Test:testSupportsInterfaceReverts() (gas: 40500)
Expand All @@ -19,10 +19,10 @@ ERC20Test:testDiv() (gas: 4518)
ERC20Test:testDivByZero() (gas: 3582)
ERC20Test:testEq() (gas: 5093)
ERC20Test:testFuzzAdd(address,address,address) (runs: 10003, μ: 4103, ~: 4136)
ERC20Test:testFuzzAllowance(bool,bool,address,address,uint256) (runs: 10003, μ: 111936, ~: 112637)
ERC20Test:testFuzzAllowance(bool,bool,address,address,uint256) (runs: 10003, μ: 111757, ~: 112496)
ERC20Test:testFuzzAnd(address,address,address) (runs: 10003, μ: 4616, ~: 4616)
ERC20Test:testFuzzApprove(bool,bool,bool,address,uint256) (runs: 10003, μ: 119512, ~: 119772)
ERC20Test:testFuzzBalanceOf(bool,bool,address,uint256) (runs: 10003, μ: 110106, ~: 110758)
ERC20Test:testFuzzApprove(bool,bool,bool,address,uint256) (runs: 10003, μ: 119448, ~: 119772)
ERC20Test:testFuzzBalanceOf(bool,bool,address,uint256) (runs: 10003, μ: 109979, ~: 110611)
ERC20Test:testFuzzDiv(address,address,address) (runs: 10003, μ: 4832, ~: 4833)
ERC20Test:testFuzzEq(address,address) (runs: 10003, μ: 3367, ~: 3368)
ERC20Test:testFuzzGt(address,address) (runs: 10003, μ: 3414, ~: 3415)
Expand All @@ -35,9 +35,9 @@ ERC20Test:testFuzzNeq(address,address) (runs: 10003, μ: 3524, ~: 3524)
ERC20Test:testFuzzNot(address) (runs: 10003, μ: 4728, ~: 4728)
ERC20Test:testFuzzOr(address,address,address) (runs: 10003, μ: 4977, ~: 4977)
ERC20Test:testFuzzSub(address,address,address) (runs: 10003, μ: 4655, ~: 4708)
ERC20Test:testFuzzTotalSupply(bool,bool,uint256) (runs: 10003, μ: 109241, ~: 109941)
ERC20Test:testFuzzTransfer(bool,bool,bool,address,uint256) (runs: 10003, μ: 119267, ~: 119520)
ERC20Test:testFuzzTransferFrom(bool,bool,bool,address,address,uint256) (runs: 10003, μ: 119966, ~: 120254)
ERC20Test:testFuzzTotalSupply(bool,bool,uint256) (runs: 10003, μ: 109204, ~: 109854)
ERC20Test:testFuzzTransfer(bool,bool,bool,address,uint256) (runs: 10003, μ: 119204, ~: 119520)
ERC20Test:testFuzzTransferFrom(bool,bool,bool,address,address,uint256) (runs: 10003, μ: 119840, ~: 120254)
ERC20Test:testFuzzXor(address,address,address) (runs: 10003, μ: 4015, ~: 4015)
ERC20Test:testGt() (gas: 4062)
ERC20Test:testGte() (gas: 4772)
Expand Down Expand Up @@ -93,25 +93,25 @@ ERC4626Test:testDiv() (gas: 5662)
ERC4626Test:testDivByZero() (gas: 4044)
ERC4626Test:testEq() (gas: 6482)
ERC4626Test:testFuzzAdd(address,address,address) (runs: 10003, μ: 4478, ~: 4510)
ERC4626Test:testFuzzAllowance(bool,bool,address,address,uint256) (runs: 10003, μ: 114614, ~: 115307)
ERC4626Test:testFuzzAnd(address,address,address) (runs: 10003, μ: 5562, ~: 5562)
ERC4626Test:testFuzzApprove(bool,bool,bool,address,uint256) (runs: 10003, μ: 121698, ~: 121974)
ERC4626Test:testFuzzAsset(bool,bool,address) (runs: 10003, μ: 112456, ~: 112438)
ERC4626Test:testFuzzBalanceOf(bool,bool,address,uint256) (runs: 10003, μ: 111566, ~: 112220)
ERC4626Test:testFuzzAllowance(bool,bool,address,address,uint256) (runs: 10003, μ: 114458, ~: 115199)
ERC4626Test:testFuzzAnd(address,address,address) (runs: 10003, μ: 5561, ~: 5562)
ERC4626Test:testFuzzApprove(bool,bool,bool,address,uint256) (runs: 10003, μ: 121649, ~: 121974)
ERC4626Test:testFuzzAsset(bool,bool,address) (runs: 10003, μ: 112408, ~: 112438)
ERC4626Test:testFuzzBalanceOf(bool,bool,address,uint256) (runs: 10003, μ: 111455, ~: 112088)
ERC4626Test:testFuzzConvertToAssets(bool,bool,uint256) (runs: 10003, μ: 66394, ~: 66361)
ERC4626Test:testFuzzConvertToShares(bool,bool,uint256) (runs: 10003, μ: 67824, ~: 67791)
ERC4626Test:testFuzzDeposit(bool,bool,uint256,address) (runs: 10003, μ: 95941, ~: 96031)
ERC4626Test:testFuzzDiv(address,address,address) (runs: 10003, μ: 5779, ~: 5779)
ERC4626Test:testFuzzDeposit(bool,bool,uint256,address) (runs: 10003, μ: 95893, ~: 96023)
ERC4626Test:testFuzzDiv(address,address,address) (runs: 10003, μ: 5778, ~: 5779)
ERC4626Test:testFuzzEq(address,address) (runs: 10003, μ: 3390, ~: 3390)
ERC4626Test:testFuzzGt(address,address) (runs: 10003, μ: 3480, ~: 3480)
ERC4626Test:testFuzzGte(address,address) (runs: 10003, μ: 4294, ~: 4294)
ERC4626Test:testFuzzLt(address,address) (runs: 10003, μ: 3986, ~: 3987)
ERC4626Test:testFuzzLte(address,address) (runs: 10003, μ: 4800, ~: 4801)
ERC4626Test:testFuzzMaxDeposit(bool,bool,address,uint256) (runs: 10003, μ: 110686, ~: 111340)
ERC4626Test:testFuzzMaxMint(bool,bool,address,uint256) (runs: 10003, μ: 111654, ~: 112308)
ERC4626Test:testFuzzMaxRedeem(bool,bool,address,uint256) (runs: 10003, μ: 111588, ~: 112242)
ERC4626Test:testFuzzMaxWithdraw(bool,bool,address,uint256) (runs: 10003, μ: 113304, ~: 113958)
ERC4626Test:testFuzzMint(bool,bool,uint256,address) (runs: 10003, μ: 96469, ~: 96559)
ERC4626Test:testFuzzMaxDeposit(bool,bool,address,uint256) (runs: 10003, μ: 110575, ~: 111208)
ERC4626Test:testFuzzMaxMint(bool,bool,address,uint256) (runs: 10003, μ: 111543, ~: 112176)
ERC4626Test:testFuzzMaxRedeem(bool,bool,address,uint256) (runs: 10003, μ: 111477, ~: 112110)
ERC4626Test:testFuzzMaxWithdraw(bool,bool,address,uint256) (runs: 10003, μ: 113193, ~: 113826)
ERC4626Test:testFuzzMint(bool,bool,uint256,address) (runs: 10003, μ: 96421, ~: 96551)
ERC4626Test:testFuzzMod(address,address,address) (runs: 10003, μ: 5184, ~: 5185)
ERC4626Test:testFuzzMul(address,address,address) (runs: 10003, μ: 4874, ~: 4814)
ERC4626Test:testFuzzNeq(address,address) (runs: 10003, μ: 3722, ~: 3722)
Expand All @@ -121,13 +121,13 @@ ERC4626Test:testFuzzPreviewDeposit(bool,bool,uint256) (runs: 10003, μ: 68329, ~
ERC4626Test:testFuzzPreviewMint(bool,bool,uint256) (runs: 10003, μ: 67032, ~: 66999)
ERC4626Test:testFuzzPreviewRedeem(bool,bool,uint256) (runs: 10003, μ: 66042, ~: 66009)
ERC4626Test:testFuzzPreviewWithdraw(bool,bool,uint256) (runs: 10003, μ: 68418, ~: 68385)
ERC4626Test:testFuzzRedeem(bool,bool,uint256,address,address) (runs: 10003, μ: 95843, ~: 96262)
ERC4626Test:testFuzzRedeem(bool,bool,uint256,address,address) (runs: 10003, μ: 95742, ~: 96147)
ERC4626Test:testFuzzSub(address,address,address) (runs: 10003, μ: 5535, ~: 5588)
ERC4626Test:testFuzzTotalAssets(bool,bool,uint256) (runs: 10003, μ: 111522, ~: 112214)
ERC4626Test:testFuzzTotalSupply(bool,bool,uint256) (runs: 10003, μ: 110742, ~: 111432)
ERC4626Test:testFuzzTransfer(bool,bool,bool,address,uint256) (runs: 10003, μ: 121463, ~: 121732)
ERC4626Test:testFuzzTransferFrom(bool,bool,bool,address,address,uint256) (runs: 10003, μ: 121974, ~: 122290)
ERC4626Test:testFuzzWithdraw(bool,bool,uint256,address,address) (runs: 10003, μ: 95359, ~: 95778)
ERC4626Test:testFuzzTotalAssets(bool,bool,uint256) (runs: 10003, μ: 111490, ~: 112142)
ERC4626Test:testFuzzTotalSupply(bool,bool,uint256) (runs: 10003, μ: 110710, ~: 111360)
ERC4626Test:testFuzzTransfer(bool,bool,bool,address,uint256) (runs: 10003, μ: 121414, ~: 121732)
ERC4626Test:testFuzzTransferFrom(bool,bool,bool,address,address,uint256) (runs: 10003, μ: 121874, ~: 122290)
ERC4626Test:testFuzzWithdraw(bool,bool,uint256,address,address) (runs: 10003, μ: 95258, ~: 95663)
ERC4626Test:testFuzzXor(address,address,address) (runs: 10003, μ: 4521, ~: 4521)
ERC4626Test:testGt() (gas: 4568)
ERC4626Test:testGte() (gas: 5388)
Expand Down Expand Up @@ -207,27 +207,27 @@ ERC6909Test:testDiv() (gas: 4716)
ERC6909Test:testDivByZero() (gas: 3582)
ERC6909Test:testEq() (gas: 5291)
ERC6909Test:testFuzzAdd(address,address,address) (runs: 10003, μ: 4103, ~: 4136)
ERC6909Test:testFuzzAllowance(bool,bool,address,address,uint256,uint256) (runs: 10003, μ: 112033, ~: 112769)
ERC6909Test:testFuzzAnd(address,address,address) (runs: 10003, μ: 4857, ~: 4858)
ERC6909Test:testFuzzApprove(bool,bool,bool,address,uint256,uint256) (runs: 10003, μ: 119181, ~: 119861)
ERC6909Test:testFuzzBalanceOf(bool,bool,address,uint256,uint256) (runs: 10003, μ: 111099, ~: 111849)
ERC6909Test:testFuzzAllowance(bool,bool,address,address,uint256,uint256) (runs: 10003, μ: 111789, ~: 112454)
ERC6909Test:testFuzzAnd(address,address,address) (runs: 10003, μ: 4858, ~: 4858)
ERC6909Test:testFuzzApprove(bool,bool,bool,address,uint256,uint256) (runs: 10003, μ: 119084, ~: 119811)
ERC6909Test:testFuzzBalanceOf(bool,bool,address,uint256,uint256) (runs: 10003, μ: 110900, ~: 111513)
ERC6909Test:testFuzzDiv(address,address,address) (runs: 10003, μ: 5052, ~: 5053)
ERC6909Test:testFuzzEq(address,address) (runs: 10003, μ: 3345, ~: 3346)
ERC6909Test:testFuzzGt(address,address) (runs: 10003, μ: 3392, ~: 3393)
ERC6909Test:testFuzzGte(address,address) (runs: 10003, μ: 3832, ~: 3833)
ERC6909Test:testFuzzIsOperator(bool,bool,address,address,bool) (runs: 10003, μ: 102733, ~: 109842)
ERC6909Test:testFuzzIsOperator(bool,bool,address,address,bool) (runs: 10003, μ: 102642, ~: 109830)
ERC6909Test:testFuzzLt(address,address) (runs: 10003, μ: 3678, ~: 3678)
ERC6909Test:testFuzzLte(address,address) (runs: 10003, μ: 4228, ~: 4228)
ERC6909Test:testFuzzMod(address,address,address) (runs: 10003, μ: 4590, ~: 4591)
ERC6909Test:testFuzzMul(address,address,address) (runs: 10003, μ: 4389, ~: 4330)
ERC6909Test:testFuzzNeq(address,address) (runs: 10003, μ: 3524, ~: 3524)
ERC6909Test:testFuzzNot(address) (runs: 10003, μ: 4926, ~: 4926)
ERC6909Test:testFuzzOr(address,address,address) (runs: 10003, μ: 5153, ~: 5153)
ERC6909Test:testFuzzSetOperator(bool,bool,bool,address,bool) (runs: 10003, μ: 125619, ~: 121864)
ERC6909Test:testFuzzSub(address,address,address) (runs: 10003, μ: 4808, ~: 4756)
ERC6909Test:testFuzzSupportsInterface(bool,bool,bytes4,bool) (runs: 10003, μ: 100862, ~: 108048)
ERC6909Test:testFuzzTransfer(bool,bool,bool,address,uint256,uint256) (runs: 10003, μ: 119191, ~: 119944)
ERC6909Test:testFuzzTransferFrom(bool,bool,bool,address,address,uint256,uint256) (runs: 10003, μ: 121072, ~: 121861)
ERC6909Test:testFuzzSetOperator(bool,bool,bool,address,bool) (runs: 10003, μ: 125588, ~: 121864)
ERC6909Test:testFuzzSub(address,address,address) (runs: 10003, μ: 4809, ~: 4862)
ERC6909Test:testFuzzSupportsInterface(bool,bool,bytes4,bool) (runs: 10003, μ: 100854, ~: 108048)
ERC6909Test:testFuzzTransfer(bool,bool,bool,address,uint256,uint256) (runs: 10003, μ: 119093, ~: 119728)
ERC6909Test:testFuzzTransferFrom(bool,bool,bool,address,address,uint256,uint256) (runs: 10003, μ: 120910, ~: 121604)
ERC6909Test:testFuzzXor(address,address,address) (runs: 10003, μ: 4037, ~: 4037)
ERC6909Test:testGt() (gas: 4084)
ERC6909Test:testGte() (gas: 4816)
Expand Down Expand Up @@ -276,20 +276,20 @@ ERC721ReceiverTest:testERC721ReceivedWithDataReturnsNothing() (gas: 71453)
ERC721ReceiverTest:testERC721ReceivedWithDataReverts() (gas: 67900)
ERC721ReceiverTest:testEq() (gas: 4697)
ERC721ReceiverTest:testFuzzAdd(address,address,address) (runs: 10003, μ: 4059, ~: 4092)
ERC721ReceiverTest:testFuzzAnd(address,address,address) (runs: 10003, μ: 4329, ~: 4330)
ERC721ReceiverTest:testFuzzAnd(address,address,address) (runs: 10003, μ: 4330, ~: 4330)
ERC721ReceiverTest:testFuzzDiv(address,address,address) (runs: 10003, μ: 4524, ~: 4525)
ERC721ReceiverTest:testFuzzERC721Received(bool,bool,bool,address,address,uint256,bytes) (runs: 10003, μ: 121969, ~: 121726)
ERC721ReceiverTest:testFuzzERC721Received(bool,bool,bool,address,address,uint256,bytes) (runs: 10003, μ: 121753, ~: 121652)
ERC721ReceiverTest:testFuzzEq(address,address) (runs: 10003, μ: 3345, ~: 3346)
ERC721ReceiverTest:testFuzzGt(address,address) (runs: 10003, μ: 3392, ~: 3393)
ERC721ReceiverTest:testFuzzGte(address,address) (runs: 10003, μ: 3744, ~: 3745)
ERC721ReceiverTest:testFuzzLt(address,address) (runs: 10003, μ: 3656, ~: 3656)
ERC721ReceiverTest:testFuzzLte(address,address) (runs: 10003, μ: 3964, ~: 3964)
ERC721ReceiverTest:testFuzzMod(address,address,address) (runs: 10003, μ: 4239, ~: 4239)
ERC721ReceiverTest:testFuzzMod(address,address,address) (runs: 10003, μ: 4238, ~: 4239)
ERC721ReceiverTest:testFuzzMul(address,address,address) (runs: 10003, μ: 4278, ~: 4220)
ERC721ReceiverTest:testFuzzNeq(address,address) (runs: 10003, μ: 3546, ~: 3546)
ERC721ReceiverTest:testFuzzNot(address) (runs: 10003, μ: 4332, ~: 4332)
ERC721ReceiverTest:testFuzzOr(address,address,address) (runs: 10003, μ: 4581, ~: 4581)
ERC721ReceiverTest:testFuzzSub(address,address,address) (runs: 10003, μ: 4390, ~: 4338)
ERC721ReceiverTest:testFuzzSub(address,address,address) (runs: 10003, μ: 4391, ~: 4444)
ERC721ReceiverTest:testFuzzXor(address,address,address) (runs: 10003, μ: 3949, ~: 3949)
ERC721ReceiverTest:testGt() (gas: 3996)
ERC721ReceiverTest:testGte() (gas: 4552)
Expand All @@ -316,29 +316,29 @@ ERC721Test:testBalanceOfThrows() (gas: 42552)
ERC721Test:testDiv() (gas: 4650)
ERC721Test:testDivByZero() (gas: 3648)
ERC721Test:testEq() (gas: 5247)
ERC721Test:testFuzzAdd(address,address,address) (runs: 10003, μ: 4147, ~: 4180)
ERC721Test:testFuzzAnd(address,address,address) (runs: 10003, μ: 4792, ~: 4792)
ERC721Test:testFuzzApprove(bool,address,uint256) (runs: 10003, μ: 68988, ~: 69351)
ERC721Test:testFuzzBalanceOf(bool,bool,address,uint256) (runs: 10003, μ: 108226, ~: 109030)
ERC721Test:testFuzzAdd(address,address,address) (runs: 10003, μ: 4148, ~: 4180)
ERC721Test:testFuzzAnd(address,address,address) (runs: 10003, μ: 4791, ~: 4792)
ERC721Test:testFuzzApprove(bool,address,uint256) (runs: 10003, μ: 68929, ~: 69351)
ERC721Test:testFuzzBalanceOf(bool,bool,address,uint256) (runs: 10003, μ: 108103, ~: 109030)
ERC721Test:testFuzzDiv(address,address,address) (runs: 10003, μ: 5008, ~: 5009)
ERC721Test:testFuzzEq(address,address) (runs: 10003, μ: 3367, ~: 3368)
ERC721Test:testFuzzGetApproved(bool,bool,uint256,address) (runs: 10003, μ: 108903, ~: 109011)
ERC721Test:testFuzzGetApproved(bool,bool,uint256,address) (runs: 10003, μ: 108772, ~: 109011)
ERC721Test:testFuzzGt(address,address) (runs: 10003, μ: 3414, ~: 3415)
ERC721Test:testFuzzGte(address,address) (runs: 10003, μ: 3876, ~: 3877)
ERC721Test:testFuzzIsApprovedForAll(bool,bool,address,address,bool) (runs: 10003, μ: 100499, ~: 102868)
ERC721Test:testFuzzIsApprovedForAll(bool,bool,address,address,bool) (runs: 10003, μ: 100408, ~: 102856)
ERC721Test:testFuzzLt(address,address) (runs: 10003, μ: 3700, ~: 3700)
ERC721Test:testFuzzLte(address,address) (runs: 10003, μ: 4228, ~: 4228)
ERC721Test:testFuzzMod(address,address,address) (runs: 10003, μ: 4524, ~: 4525)
ERC721Test:testFuzzMul(address,address,address) (runs: 10003, μ: 4455, ~: 4396)
ERC721Test:testFuzzNeq(address,address) (runs: 10003, μ: 3546, ~: 3546)
ERC721Test:testFuzzNot(address) (runs: 10003, μ: 4882, ~: 4882)
ERC721Test:testFuzzOr(address,address,address) (runs: 10003, μ: 5109, ~: 5109)
ERC721Test:testFuzzOwnerOf(bool,bool,uint256,address) (runs: 10003, μ: 108815, ~: 108923)
ERC721Test:testFuzzSafeTransferFrom(bool,bool,address,address,uint256,bytes) (runs: 10003, μ: 71802, ~: 71269)
ERC721Test:testFuzzSetApprovalForAll(bool,address,bool) (runs: 10003, μ: 69132, ~: 69546)
ERC721Test:testFuzzSub(address,address,address) (runs: 10003, μ: 4808, ~: 4756)
ERC721Test:testFuzzSupportsInterface(bool,bool,bytes4,bool) (runs: 10003, μ: 98460, ~: 100967)
ERC721Test:testFuzzTransferFrom(bool,address,address,uint256) (runs: 10003, μ: 69556, ~: 69192)
ERC721Test:testFuzzOwnerOf(bool,bool,uint256,address) (runs: 10003, μ: 108684, ~: 108923)
ERC721Test:testFuzzSafeTransferFrom(bool,bool,address,address,uint256,bytes) (runs: 10003, μ: 71634, ~: 71204)
ERC721Test:testFuzzSetApprovalForAll(bool,address,bool) (runs: 10003, μ: 69106, ~: 69546)
ERC721Test:testFuzzSub(address,address,address) (runs: 10003, μ: 4809, ~: 4862)
ERC721Test:testFuzzSupportsInterface(bool,bool,bytes4,bool) (runs: 10003, μ: 98451, ~: 100967)
ERC721Test:testFuzzTransferFrom(bool,address,address,uint256) (runs: 10003, μ: 69439, ~: 69192)
ERC721Test:testFuzzXor(address,address,address) (runs: 10003, μ: 4125, ~: 4125)
ERC721Test:testGetApproved() (gas: 61175)
ERC721Test:testGetApprovedReturnsNothing() (gas: 32560)
Expand Down
1 change: 1 addition & 0 deletions foundry.toml
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,7 @@ bytecode_hash = "none"

[fuzz]
runs = 10_000
seed = 69_420

[fmt]
bracket_spacing = true
Expand Down

0 comments on commit 21294b1

Please sign in to comment.