Created
January 25, 2023 19:29
-
-
Save hrik2001/6305d6334715ad5ce4055746d2b9a2f4 to your computer and use it in GitHub Desktop.
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
| ▶forge test --match-test testFuzzDistributeTokenMultipleAddressesSuccess -vvvvv | |
| [⠢] Compiling... | |
| [⠊] Compiling 86 files with 0.8.17 | |
| [⠘] Solc 0.8.17 finished in 27.91s | |
| Compiler run successful | |
| Running 1 test for test/utils/BatchDistributor.t.sol:BatchDistributorTest | |
| [FAIL. Reason: Assertion failed. Counterexample: calldata=0xcc173d850000000000000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000054a0000000000000000000000001804c8ab1f12e6bbf3894d4083f33e07309d1f3800000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000028000000000000000000000000000000000000000000000000000000000000026a0000000000000000000000000000000000000000000000000000000000000371000000000000000000000000000000000000000000000000000000000065737300000000000000000000000000000000000000000000000000000000000014b800000000000000000000000000000000000000000000000000000000000016a6000000000000000000000000000000000000000000000000000000000000000300000000000000000000000000000000000000000000000000000000891604670000000000000000000000000000000000000000000000000000000000000c8f0000000000000000000000000000000000000000000000000000000000000951000000000000000000000000000000000000000000000000000000000000142d00000000000000000000000000000000000000000000000000000000000034c800000000000000000000000000000000000000000000000000000000000021af0000000000000000000000000000000000000000000000000000000000000a110000000000000000000000000000000000000000000000000000000000003a59000000000000000000000000000000000000000000000000000000000065737300000000000000000000000000000000000000000000000000000000000001c100000000000000000000000000000000000000000000000000000000000033d600000000000000000000000000000000000000000000000000000000000029950000000000000000000000000000000000000000000000000000ffffffffffff0000000000000000000000000000000000000000000000000000000000000a7500000000000000000000000000000000000000000000000000000000000010530000000000000000000000000000000000000000000000000000000000001d9d000000000000000000000000000000000000000000000000000000000000008c000000000000000000000000000000000000000000000000000000000000188200000000000000000000000000000000000000000000000000000000a457c2d7000000000000000000000000000000000000000000000000000000000000361a00000000000000000000000000000000000000000000000000000000000009d70000000000000000000000000000000000000000000000000000000000002367000000000000000000000000000000000000000000000000000000000000006b00000000000000000000000000000000000000000000000000000000000000e0000000000000000000000000000000000000000000000000000000000000383600000000000000000000000000000000000000000000000000000000000002ec00000000000000000000000000000000000000000000000000000000000040dc00000000000000000000000000000000000000000000000000000000000004f100000000000000000000000000000000000000000000000000000000ba414fa600000000000000000000000000000000000000000000000000000000000001b500000000000000000000000000000000000000000000000000000000000029fa000000000000000000000000000000000000000000000000000000000000084900000000000000000000000000000000000000000000000000000000000000da00000000000000000000000000000000000000000000000000000000000006ef00000000000000000000000000000000000000000000000000000000000000d300000000000000000000000000000000000000000000000000000000000000bf0000000000000000000000000000000000000000000000000000000000002a4900000000000000000000000000000000000000000000000000000000000012a50000000000000000000000000000000000000000000000000000000000000f3b000000000000000000000000000000000000000000000000000000000000319400000000000000000000000000000000000000000000000000000000000019d000000000000000000000000000000000000000000000000000000000000033fd0000000000000000000000000000000000000000000000000000000000000dde0000000000000000000000000000000000000000000000000000000000000b1f0000000000000000000000000000000000000000000000000000000000000aea00000000000000000000000000000000000000000000000000000000000038dc00000000000000000000000000000000000000000000000000000000000039460000000000000000000000000000000000000000000000000000000000000951000000000000000000000000000000000000000000000000000000000000024b0000000000000000000000000000000000000000000000000000616c616e636500000000000000000000000000000000000000000000000000000000000037bc000000000000000000000000000000000000000000000000000000000000028700000000000000000000000000000000000000000000000000000000000040dc0000000000000000000000000000000000000000000000000000000a493b667100000000000000000000000000000000000000000000000000000000000006de000000000000000000000000000000000000000000000808115e1c1958dd195900000000000000000000000000000000000000000000000000000000000001380000000000000000000000000000000000000000000000000000000000000223000000000000000000000000000000000000000000000000000000000000122e000000000000000000000000000000000000000000000000000000000000003a0000000000000000000000000000000000000000000000000000000000000aea000000000000000000000000000000000000000000000000000000000000000a00000000000000000000000000000000000000000000000000000000000000a400000000000000000000000000000000000000000000000000000000000039970000000000000000000000000000000000000000000000000000000000001b42000000000000000000000000000000000000000000000000000000000000037a00000000000000000000000000000000000000000000000000000000000008bb000000000000000000000000000000000000000000000000000000000000017f00000000000000000000000000000000000000000000000000000000000009af0000000000000000000000000000000000000000000000000000000000001a040000000000000000000000000000000000000000000000000000000000002dd700000000000000000000000000000000000000000000000000000000000001c100000000000000000000000000000000000000000000000000000000000040e00000000000000000000000000000000000000000000000000000000000003586, args=[([(0x000000000000000000000000000000000000026A, 881), (0x0000000000000000000000000000000000657373, 5304), (0x00000000000000000000000000000000000016a6, 3), (0x0000000000000000000000000000000089160467, 3215), (0x0000000000000000000000000000000000000951, 5165), (0x00000000000000000000000000000000000034C8, 8623), (0x0000000000000000000000000000000000000a11, 14937), (0x0000000000000000000000000000000000657373, 449), (0x00000000000000000000000000000000000033D6, 10645), (0x0000000000000000000000000000fFfffFFfFfff, 2677), (0x0000000000000000000000000000000000001053, 7581), (0x000000000000000000000000000000000000008C, 6274), (0x00000000000000000000000000000000a457c2d7, 13850), (0x00000000000000000000000000000000000009D7, 9063), (0x000000000000000000000000000000000000006b, 224), (0x0000000000000000000000000000000000003836, 748), (0x00000000000000000000000000000000000040dC, 1265), (0x00000000000000000000000000000000BA414fa6, 437), (0x00000000000000000000000000000000000029fa, 2121), (0x00000000000000000000000000000000000000DA, 1775), (0x00000000000000000000000000000000000000D3, 191), (0x0000000000000000000000000000000000002a49, 4773), (0x0000000000000000000000000000000000000f3b, 12692), (0x00000000000000000000000000000000000019d0, 13309), (0x0000000000000000000000000000000000000dDe, 2847), (0x0000000000000000000000000000000000000aea, 14556), (0x0000000000000000000000000000000000003946, 2385), (0x000000000000000000000000000000000000024B, 107118118986597), (0x00000000000000000000000000000000000037BC, 647), (0x00000000000000000000000000000000000040dC, 44178302577), (0x00000000000000000000000000000000000006de, 37927757284188484344153), (0x0000000000000000000000000000000000000138, 547), (0x000000000000000000000000000000000000122E, 58), (0x0000000000000000000000000000000000000aea, 10), (0x00000000000000000000000000000000000000a4, 14743), (0x0000000000000000000000000000000000001B42, 890), (0x00000000000000000000000000000000000008Bb, 383), (0x00000000000000000000000000000000000009Af, 6660), (0x0000000000000000000000000000000000002dd7, 449), (0x00000000000000000000000000000000000040E0, 13702)]), 0x000000000000000000000000000000000000054A, 137122462167341575662000267002353578582749290296]] testFuzzDistributeTokenMultipleAddressesSuccess(((address,uint256)[]),address,uint256) (runs: 1, μ: 719415, ~: 719415) | |
| Logs: | |
| Bound Result 81 | |
| Bound Result 4 | |
| Bound Result 3 | |
| Bound Result 15 | |
| Bound Result 65 | |
| Bound Result 23 | |
| Bound Result 37 | |
| Bound Result 49 | |
| Bound Result 45 | |
| Bound Result 77 | |
| Bound Result 81 | |
| Bound Result 74 | |
| Bound Result 50 | |
| Bound Result 63 | |
| Bound Result 24 | |
| Bound Result 48 | |
| Bound Result 65 | |
| Bound Result 37 | |
| Bound Result 21 | |
| Bound Result 75 | |
| Bound Result 91 | |
| Bound Result 73 | |
| Bound Result 92 | |
| Bound Result 9 | |
| Bound Result 47 | |
| Bound Result 56 | |
| Bound Result 85 | |
| Bound Result 97 | |
| Bound Result 47 | |
| Bound Result 77 | |
| Bound Result 53 | |
| Bound Result 47 | |
| Bound Result 58 | |
| Bound Result 10 | |
| Bound Result 43 | |
| Bound Result 90 | |
| Bound Result 83 | |
| Bound Result 60 | |
| Bound Result 49 | |
| Bound Result 2 | |
| Error: a == b not satisfied [uint] | |
| Expected: 4 | |
| Actual: 53 | |
| Error: a == b not satisfied [uint] | |
| Expected: 49 | |
| Actual: 53 | |
| Error: a == b not satisfied [uint] | |
| Expected: 65 | |
| Actual: 142 | |
| Error: a == b not satisfied [uint] | |
| Expected: 56 | |
| Actual: 66 | |
| Error: a == b not satisfied [uint] | |
| Expected: 77 | |
| Actual: 142 | |
| Error: a == b not satisfied [uint] | |
| Expected: 10 | |
| Actual: 66 | |
| Traces: | |
| [298427] BatchDistributorTest::setUp() | |
| ├─ [270927] VyperDeployer::deployContract(src/utils/, BatchDistributor) | |
| │ ├─ [0] VM::ffi([vyper, src/utils/BatchDistributor.vy]) | |
| │ │ └─ ← 0x61046c6100116100003961046c610000f36003361161000c57610454565b60003560e01c635de2c8618118610134576064361061045a576004356004018035810160ff81351161045a5780358060405260008160ff811161045a57801561008457905b8060061b6060018160061b602086010180358060a01c61045a578252602081013560208301525050600101818118610051575b505050505060005460021461045a576002600055600060405160ff811161045a5780156100fd57905b8060061b6060018051614020526020810151614040525060006140605261406050600060006140605161408061404051614020515af16100f2573d600060003e3d6000fd5b6001018181186100ad575b5050471561012d5760006140205261402050600060006140205161404047335af161012d573d600060003e3d6000fd5b6003600055005b3461045a576342fc810a8118610452576084361061045a576004358060a01c61045a576040526024356004018035810160ff81351161045a5780358060605260008160ff811161045a5780156101b957905b8060061b6080018160061b602086010180358060a01c61045a578252602081013560208301525050600101818118610186575b5050505050600061404052600060605160ff811161045a57801561021557905b8060061b60800180516140605260208101516140805250614040516140805180820182811061045a5790509050614040526001018181186101d9575b50506040516323b872dd614060523361408052306140a052614040516140c0526020614060606461407c6000855af1610253573d600060003e3d6000fd5b3d61026a57803b1561045a5760016140e052610283565b60203d1061045a57614060518060011c61045a576140e0525b6140e0905051610318576038614100527f42617463684469737472696275746f723a207472616e7366657246726f6d206f614120527f7065726174696f6e20646964206e6f74207375636365656400000000000000006141405261410050614100518061412001601f826000031636823750506308c379a06140c05260206140e052601f19601f6141005101166044016140dcfd5b600060605160ff811161045a57801561044e57905b8060061b6080018051614060526020810151614080525060405163a9059cbb6140a052614060516140c052614080516140e05260206140a060446140bc6000855af161037e573d600060003e3d6000fd5b3d61039557803b1561045a576001614100526103ae565b60203d1061045a576140a0518060011c61045a57614100525b614100905051610443576034614120527f42617463684469737472696275746f723a207472616e73666572206f70657261614140527f74696f6e20646964206e6f7420737563636565640000000000000000000000006141605261412050614120518061414001601f826000031636823750506308c379a06140e052602061410052601f19601f6141205101166044016140fcfd5b60010181811861032d575b5050005b505b60006000fd5b600080fda165767970657283000307000b | |
| │ ├─ [226636] → new <Unknown>@0x104fBc016F4bb334D775a19E8A6510109AC63E00 | |
| │ │ └─ ← 1132 bytes of code | |
| │ ├─ emit ContractCreation(newContract: 0x104fBc016F4bb334D775a19E8A6510109AC63E00) | |
| │ └─ ← 0x104fBc016F4bb334D775a19E8A6510109AC63E00 | |
| └─ ← () | |
| [1898015] BatchDistributorTest::testFuzzDistributeTokenMultipleAddressesSuccess(([(0x000000000000000000000000000000000000026A, 881), (0x0000000000000000000000000000000000657373, 5304), (0x00000000000000000000000000000000000016a6, 3), (0x0000000000000000000000000000000089160467, 3215), (0x0000000000000000000000000000000000000951, 5165), (0x00000000000000000000000000000000000034C8, 8623), (0x0000000000000000000000000000000000000a11, 14937), (0x0000000000000000000000000000000000657373, 449), (0x00000000000000000000000000000000000033D6, 10645), (0x0000000000000000000000000000fFfffFFfFfff, 2677), (0x0000000000000000000000000000000000001053, 7581), (0x000000000000000000000000000000000000008C, 6274), (0x00000000000000000000000000000000a457c2d7, 13850), (0x00000000000000000000000000000000000009D7, 9063), (0x000000000000000000000000000000000000006b, 224), (0x0000000000000000000000000000000000003836, 748), (0x00000000000000000000000000000000000040dC, 1265), (0x00000000000000000000000000000000BA414fa6, 437), (0x00000000000000000000000000000000000029fa, 2121), (0x00000000000000000000000000000000000000DA, 1775), (0x00000000000000000000000000000000000000D3, 191), (0x0000000000000000000000000000000000002a49, 4773), (0x0000000000000000000000000000000000000f3b, 12692), (0x00000000000000000000000000000000000019d0, 13309), (0x0000000000000000000000000000000000000dDe, 2847), (0x0000000000000000000000000000000000000aea, 14556), (0x0000000000000000000000000000000000003946, 2385), (0x000000000000000000000000000000000000024B, 107118118986597), (0x00000000000000000000000000000000000037BC, 647), (0x00000000000000000000000000000000000040dC, 44178302577), (0x00000000000000000000000000000000000006de, 37927757284188484344153), (0x0000000000000000000000000000000000000138, 547), (0x000000000000000000000000000000000000122E, 58), (0x0000000000000000000000000000000000000aea, 10), (0x00000000000000000000000000000000000000a4, 14743), (0x0000000000000000000000000000000000001B42, 890), (0x00000000000000000000000000000000000008Bb, 383), (0x00000000000000000000000000000000000009Af, 6660), (0x0000000000000000000000000000000000002dd7, 449), (0x00000000000000000000000000000000000040E0, 13702)]), 0x000000000000000000000000000000000000054A, 137122462167341575662000267002353578582749290296) | |
| ├─ [0] VM::assume(true) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] VM::assume(true) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 81) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 4) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 3) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 15) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 65) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 23) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 37) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 49) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 45) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 77) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 81) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 74) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 50) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 63) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 24) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 48) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 65) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 37) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 21) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 75) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 91) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 73) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 92) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 9) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 47) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 56) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 85) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 97) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 47) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 77) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 53) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 47) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 58) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 10) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 43) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 90) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 83) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 60) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 49) [staticcall] | |
| │ └─ ← () | |
| ├─ [0] console::log(Bound Result, 2) [staticcall] | |
| │ └─ ← () | |
| ├─ [637477] → new ERC20Mock@0x2e234DAe75C793f67A35089C9d99245E1C58470b | |
| │ ├─ emit Transfer(from: 0x0000000000000000000000000000000000000000, to: 0x000000000000000000000000000000000000054A, value: 137122462167341575662000267002353578582749290296) | |
| │ └─ ← 2722 bytes of code | |
| ├─ [0] VM::startPrank(0x000000000000000000000000000000000000054A) | |
| │ └─ ← () | |
| ├─ [24629] ERC20Mock::approve(0x104fBc016F4bb334D775a19E8A6510109AC63E00, 137122462167341575662000267002353578582749290296) | |
| │ ├─ emit Approval(owner: 0x000000000000000000000000000000000000054A, spender: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, value: 137122462167341575662000267002353578582749290296) | |
| │ └─ ← true | |
| ├─ [969849] 0x104fBc016F4bb334D775a19E8A6510109AC63E00::distribute_token(ERC20Mock: [0x2e234DAe75C793f67A35089C9d99245E1C58470b], ([(0x000000000000000000000000000000000000026A, 81), (0x0000000000000000000000000000000000657373, 4), (0x00000000000000000000000000000000000016a6, 3), (0x0000000000000000000000000000000089160467, 15), (0x0000000000000000000000000000000000000951, 65), (0x00000000000000000000000000000000000034C8, 23), (0x0000000000000000000000000000000000000a11, 37), (0x0000000000000000000000000000000000657373, 49), (0x00000000000000000000000000000000000033D6, 45), (0x0000000000000000000000000000fFfffFFfFfff, 77), (0x0000000000000000000000000000000000001053, 81), (0x000000000000000000000000000000000000008C, 74), (0x00000000000000000000000000000000a457c2d7, 50), (0x00000000000000000000000000000000000009D7, 63), (0x000000000000000000000000000000000000006b, 24), (0x0000000000000000000000000000000000003836, 48), (0x00000000000000000000000000000000000040dC, 65), (0x00000000000000000000000000000000BA414fa6, 37), (0x00000000000000000000000000000000000029fa, 21), (0x00000000000000000000000000000000000000DA, 75), (0x00000000000000000000000000000000000000D3, 91), (0x0000000000000000000000000000000000002a49, 73), (0x0000000000000000000000000000000000000f3b, 92), (0x00000000000000000000000000000000000019d0, 9), (0x0000000000000000000000000000000000000dDe, 47), (0x0000000000000000000000000000000000000aea, 56), (0x0000000000000000000000000000000000003946, 85), (0x000000000000000000000000000000000000024B, 97), (0x00000000000000000000000000000000000037BC, 47), (0x00000000000000000000000000000000000040dC, 77), (0x00000000000000000000000000000000000006de, 53), (0x0000000000000000000000000000000000000138, 47), (0x000000000000000000000000000000000000122E, 58), (0x0000000000000000000000000000000000000aea, 10), (0x00000000000000000000000000000000000000a4, 43), (0x0000000000000000000000000000000000001B42, 90), (0x00000000000000000000000000000000000008Bb, 83), (0x00000000000000000000000000000000000009Af, 60), (0x0000000000000000000000000000000000002dd7, 49), (0x00000000000000000000000000000000000040E0, 2)])) | |
| │ ├─ [27723] ERC20Mock::transferFrom(0x000000000000000000000000000000000000054A, 0x104fBc016F4bb334D775a19E8A6510109AC63E00, 2106) | |
| │ │ ├─ emit Approval(owner: 0x000000000000000000000000000000000000054A, spender: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, value: 137122462167341575662000267002353578582749288190) | |
| │ │ ├─ emit Transfer(from: 0x000000000000000000000000000000000000054A, to: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, value: 2106) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x000000000000000000000000000000000000026A, 81) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x000000000000000000000000000000000000026A, value: 81) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x0000000000000000000000000000000000657373, 4) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x0000000000000000000000000000000000657373, value: 4) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x00000000000000000000000000000000000016a6, 3) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x00000000000000000000000000000000000016a6, value: 3) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x0000000000000000000000000000000089160467, 15) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x0000000000000000000000000000000089160467, value: 15) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x0000000000000000000000000000000000000951, 65) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x0000000000000000000000000000000000000951, value: 65) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x00000000000000000000000000000000000034C8, 23) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x00000000000000000000000000000000000034C8, value: 23) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x0000000000000000000000000000000000000a11, 37) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x0000000000000000000000000000000000000a11, value: 37) | |
| │ │ └─ ← true | |
| │ ├─ [3116] ERC20Mock::transfer(0x0000000000000000000000000000000000657373, 49) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x0000000000000000000000000000000000657373, value: 49) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x00000000000000000000000000000000000033D6, 45) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x00000000000000000000000000000000000033D6, value: 45) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x0000000000000000000000000000fFfffFFfFfff, 77) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x0000000000000000000000000000fFfffFFfFfff, value: 77) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x0000000000000000000000000000000000001053, 81) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x0000000000000000000000000000000000001053, value: 81) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x000000000000000000000000000000000000008C, 74) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x000000000000000000000000000000000000008C, value: 74) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x00000000000000000000000000000000a457c2d7, 50) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x00000000000000000000000000000000a457c2d7, value: 50) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x00000000000000000000000000000000000009D7, 63) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x00000000000000000000000000000000000009D7, value: 63) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x000000000000000000000000000000000000006b, 24) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x000000000000000000000000000000000000006b, value: 24) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x0000000000000000000000000000000000003836, 48) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x0000000000000000000000000000000000003836, value: 48) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x00000000000000000000000000000000000040dC, 65) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x00000000000000000000000000000000000040dC, value: 65) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x00000000000000000000000000000000BA414fa6, 37) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x00000000000000000000000000000000BA414fa6, value: 37) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x00000000000000000000000000000000000029fa, 21) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x00000000000000000000000000000000000029fa, value: 21) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x00000000000000000000000000000000000000DA, 75) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x00000000000000000000000000000000000000DA, value: 75) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x00000000000000000000000000000000000000D3, 91) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x00000000000000000000000000000000000000D3, value: 91) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x0000000000000000000000000000000000002a49, 73) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x0000000000000000000000000000000000002a49, value: 73) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x0000000000000000000000000000000000000f3b, 92) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x0000000000000000000000000000000000000f3b, value: 92) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x00000000000000000000000000000000000019d0, 9) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x00000000000000000000000000000000000019d0, value: 9) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x0000000000000000000000000000000000000dDe, 47) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x0000000000000000000000000000000000000dDe, value: 47) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x0000000000000000000000000000000000000aea, 56) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x0000000000000000000000000000000000000aea, value: 56) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x0000000000000000000000000000000000003946, 85) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x0000000000000000000000000000000000003946, value: 85) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x000000000000000000000000000000000000024B, 97) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x000000000000000000000000000000000000024B, value: 97) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x00000000000000000000000000000000000037BC, 47) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x00000000000000000000000000000000000037BC, value: 47) | |
| │ │ └─ ← true | |
| │ ├─ [3116] ERC20Mock::transfer(0x00000000000000000000000000000000000040dC, 77) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x00000000000000000000000000000000000040dC, value: 77) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x00000000000000000000000000000000000006de, 53) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x00000000000000000000000000000000000006de, value: 53) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x0000000000000000000000000000000000000138, 47) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x0000000000000000000000000000000000000138, value: 47) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x000000000000000000000000000000000000122E, 58) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x000000000000000000000000000000000000122E, value: 58) | |
| │ │ └─ ← true | |
| │ ├─ [3116] ERC20Mock::transfer(0x0000000000000000000000000000000000000aea, 10) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x0000000000000000000000000000000000000aea, value: 10) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x00000000000000000000000000000000000000a4, 43) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x00000000000000000000000000000000000000a4, value: 43) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x0000000000000000000000000000000000001B42, 90) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x0000000000000000000000000000000000001B42, value: 90) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x00000000000000000000000000000000000008Bb, 83) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x00000000000000000000000000000000000008Bb, value: 83) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x00000000000000000000000000000000000009Af, 60) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x00000000000000000000000000000000000009Af, value: 60) | |
| │ │ └─ ← true | |
| │ ├─ [25016] ERC20Mock::transfer(0x0000000000000000000000000000000000002dd7, 49) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x0000000000000000000000000000000000002dd7, value: 49) | |
| │ │ └─ ← true | |
| │ ├─ [20013] ERC20Mock::transfer(0x00000000000000000000000000000000000040E0, 2) | |
| │ │ ├─ emit Transfer(from: 0x104fBc016F4bb334D775a19E8A6510109AC63E00, to: 0x00000000000000000000000000000000000040E0, value: 2) | |
| │ │ └─ ← true | |
| │ └─ ← () | |
| ├─ [0] VM::stopPrank() | |
| │ └─ ← () | |
| ├─ [585] ERC20Mock::balanceOf(0x000000000000000000000000000000000000026A) [staticcall] | |
| │ └─ ← 81 | |
| ├─ [585] ERC20Mock::balanceOf(0x0000000000000000000000000000000000657373) [staticcall] | |
| │ └─ ← 53 | |
| ├─ emit log(: Error: a == b not satisfied [uint]) | |
| ├─ emit log_named_uint(key: Expected, val: 4) | |
| ├─ emit log_named_uint(key: Actual, val: 53) | |
| ├─ [0] VM::store(VM: [0x7109709ECfa91a80626fF3989D68f67F5b1DD12D], 0x6661696c65640000000000000000000000000000000000000000000000000000, 0x0000000000000000000000000000000000000000000000000000000000000001) | |
| │ └─ ← () | |
| ├─ [585] ERC20Mock::balanceOf(0x00000000000000000000000000000000000016a6) [staticcall] | |
| │ └─ ← 3 | |
| ├─ [585] ERC20Mock::balanceOf(0x0000000000000000000000000000000089160467) [staticcall] | |
| │ └─ ← 15 | |
| ├─ [585] ERC20Mock::balanceOf(0x0000000000000000000000000000000000000951) [staticcall] | |
| │ └─ ← 65 | |
| ├─ [585] ERC20Mock::balanceOf(0x00000000000000000000000000000000000034C8) [staticcall] | |
| │ └─ ← 23 | |
| ├─ [585] ERC20Mock::balanceOf(0x0000000000000000000000000000000000000a11) [staticcall] | |
| │ └─ ← 37 | |
| ├─ [585] ERC20Mock::balanceOf(0x0000000000000000000000000000000000657373) [staticcall] | |
| │ └─ ← 53 | |
| ├─ emit log(: Error: a == b not satisfied [uint]) | |
| ├─ emit log_named_uint(key: Expected, val: 49) | |
| ├─ emit log_named_uint(key: Actual, val: 53) | |
| ├─ [0] VM::store(VM: [0x7109709ECfa91a80626fF3989D68f67F5b1DD12D], 0x6661696c65640000000000000000000000000000000000000000000000000000, 0x0000000000000000000000000000000000000000000000000000000000000001) | |
| │ └─ ← () | |
| ├─ [585] ERC20Mock::balanceOf(0x00000000000000000000000000000000000033D6) [staticcall] | |
| │ └─ ← 45 | |
| ├─ [585] ERC20Mock::balanceOf(0x0000000000000000000000000000fFfffFFfFfff) [staticcall] | |
| │ └─ ← 77 | |
| ├─ [585] ERC20Mock::balanceOf(0x0000000000000000000000000000000000001053) [staticcall] | |
| │ └─ ← 81 | |
| ├─ [585] ERC20Mock::balanceOf(0x000000000000000000000000000000000000008C) [staticcall] | |
| │ └─ ← 74 | |
| ├─ [585] ERC20Mock::balanceOf(0x00000000000000000000000000000000a457c2d7) [staticcall] | |
| │ └─ ← 50 | |
| ├─ [585] ERC20Mock::balanceOf(0x00000000000000000000000000000000000009D7) [staticcall] | |
| │ └─ ← 63 | |
| ├─ [585] ERC20Mock::balanceOf(0x000000000000000000000000000000000000006b) [staticcall] | |
| │ └─ ← 24 | |
| ├─ [585] ERC20Mock::balanceOf(0x0000000000000000000000000000000000003836) [staticcall] | |
| │ └─ ← 48 | |
| ├─ [585] ERC20Mock::balanceOf(0x00000000000000000000000000000000000040dC) [staticcall] | |
| │ └─ ← 142 | |
| ├─ emit log(: Error: a == b not satisfied [uint]) | |
| ├─ emit log_named_uint(key: Expected, val: 65) | |
| ├─ emit log_named_uint(key: Actual, val: 142) | |
| ├─ [0] VM::store(VM: [0x7109709ECfa91a80626fF3989D68f67F5b1DD12D], 0x6661696c65640000000000000000000000000000000000000000000000000000, 0x0000000000000000000000000000000000000000000000000000000000000001) | |
| │ └─ ← () | |
| ├─ [585] ERC20Mock::balanceOf(0x00000000000000000000000000000000BA414fa6) [staticcall] | |
| │ └─ ← 37 | |
| ├─ [585] ERC20Mock::balanceOf(0x00000000000000000000000000000000000029fa) [staticcall] | |
| │ └─ ← 21 | |
| ├─ [585] ERC20Mock::balanceOf(0x00000000000000000000000000000000000000DA) [staticcall] | |
| │ └─ ← 75 | |
| ├─ [585] ERC20Mock::balanceOf(0x00000000000000000000000000000000000000D3) [staticcall] | |
| │ └─ ← 91 | |
| ├─ [585] ERC20Mock::balanceOf(0x0000000000000000000000000000000000002a49) [staticcall] | |
| │ └─ ← 73 | |
| ├─ [585] ERC20Mock::balanceOf(0x0000000000000000000000000000000000000f3b) [staticcall] | |
| │ └─ ← 92 | |
| ├─ [585] ERC20Mock::balanceOf(0x00000000000000000000000000000000000019d0) [staticcall] | |
| │ └─ ← 9 | |
| ├─ [585] ERC20Mock::balanceOf(0x0000000000000000000000000000000000000dDe) [staticcall] | |
| │ └─ ← 47 | |
| ├─ [585] ERC20Mock::balanceOf(0x0000000000000000000000000000000000000aea) [staticcall] | |
| │ └─ ← 66 | |
| ├─ emit log(: Error: a == b not satisfied [uint]) | |
| ├─ emit log_named_uint(key: Expected, val: 56) | |
| ├─ emit log_named_uint(key: Actual, val: 66) | |
| ├─ [0] VM::store(VM: [0x7109709ECfa91a80626fF3989D68f67F5b1DD12D], 0x6661696c65640000000000000000000000000000000000000000000000000000, 0x0000000000000000000000000000000000000000000000000000000000000001) | |
| │ └─ ← () | |
| ├─ [585] ERC20Mock::balanceOf(0x0000000000000000000000000000000000003946) [staticcall] | |
| │ └─ ← 85 | |
| ├─ [585] ERC20Mock::balanceOf(0x000000000000000000000000000000000000024B) [staticcall] | |
| │ └─ ← 97 | |
| ├─ [585] ERC20Mock::balanceOf(0x00000000000000000000000000000000000037BC) [staticcall] | |
| │ └─ ← 47 | |
| ├─ [585] ERC20Mock::balanceOf(0x00000000000000000000000000000000000040dC) [staticcall] | |
| │ └─ ← 142 | |
| ├─ emit log(: Error: a == b not satisfied [uint]) | |
| ├─ emit log_named_uint(key: Expected, val: 77) | |
| ├─ emit log_named_uint(key: Actual, val: 142) | |
| ├─ [0] VM::store(VM: [0x7109709ECfa91a80626fF3989D68f67F5b1DD12D], 0x6661696c65640000000000000000000000000000000000000000000000000000, 0x0000000000000000000000000000000000000000000000000000000000000001) | |
| │ └─ ← () | |
| ├─ [585] ERC20Mock::balanceOf(0x00000000000000000000000000000000000006de) [staticcall] | |
| │ └─ ← 53 | |
| ├─ [585] ERC20Mock::balanceOf(0x0000000000000000000000000000000000000138) [staticcall] | |
| │ └─ ← 47 | |
| ├─ [585] ERC20Mock::balanceOf(0x000000000000000000000000000000000000122E) [staticcall] | |
| │ └─ ← 58 | |
| ├─ [585] ERC20Mock::balanceOf(0x0000000000000000000000000000000000000aea) [staticcall] | |
| │ └─ ← 66 | |
| ├─ emit log(: Error: a == b not satisfied [uint]) | |
| ├─ emit log_named_uint(key: Expected, val: 10) | |
| ├─ emit log_named_uint(key: Actual, val: 66) | |
| ├─ [0] VM::store(VM: [0x7109709ECfa91a80626fF3989D68f67F5b1DD12D], 0x6661696c65640000000000000000000000000000000000000000000000000000, 0x0000000000000000000000000000000000000000000000000000000000000001) | |
| │ └─ ← () | |
| ├─ [585] ERC20Mock::balanceOf(0x00000000000000000000000000000000000000a4) [staticcall] | |
| │ └─ ← 43 | |
| ├─ [585] ERC20Mock::balanceOf(0x0000000000000000000000000000000000001B42) [staticcall] | |
| │ └─ ← 90 | |
| ├─ [585] ERC20Mock::balanceOf(0x00000000000000000000000000000000000008Bb) [staticcall] | |
| │ └─ ← 83 | |
| ├─ [585] ERC20Mock::balanceOf(0x00000000000000000000000000000000000009Af) [staticcall] | |
| │ └─ ← 60 | |
| ├─ [585] ERC20Mock::balanceOf(0x0000000000000000000000000000000000002dd7) [staticcall] | |
| │ └─ ← 49 | |
| ├─ [585] ERC20Mock::balanceOf(0x00000000000000000000000000000000000040E0) [staticcall] | |
| │ └─ ← 2 | |
| ├─ [585] ERC20Mock::balanceOf(0x000000000000000000000000000000000000054A) [staticcall] | |
| │ └─ ← 137122462167341575662000267002353578582749288190 | |
| ├─ [585] ERC20Mock::balanceOf(0x104fBc016F4bb334D775a19E8A6510109AC63E00) [staticcall] | |
| │ └─ ← 0 | |
| └─ ← () | |
| Test result: FAILED. 0 passed; 1 failed; finished in 677.36ms | |
| Failing tests: | |
| Encountered 1 failing test in test/utils/BatchDistributor.t.sol:BatchDistributorTest | |
| [FAIL. Reason: Assertion failed. Counterexample: calldata=0xcc173d850000000000000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000054a0000000000000000000000001804c8ab1f12e6bbf3894d4083f33e07309d1f3800000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000028000000000000000000000000000000000000000000000000000000000000026a0000000000000000000000000000000000000000000000000000000000000371000000000000000000000000000000000000000000000000000000000065737300000000000000000000000000000000000000000000000000000000000014b800000000000000000000000000000000000000000000000000000000000016a6000000000000000000000000000000000000000000000000000000000000000300000000000000000000000000000000000000000000000000000000891604670000000000000000000000000000000000000000000000000000000000000c8f0000000000000000000000000000000000000000000000000000000000000951000000000000000000000000000000000000000000000000000000000000142d00000000000000000000000000000000000000000000000000000000000034c800000000000000000000000000000000000000000000000000000000000021af0000000000000000000000000000000000000000000000000000000000000a110000000000000000000000000000000000000000000000000000000000003a59000000000000000000000000000000000000000000000000000000000065737300000000000000000000000000000000000000000000000000000000000001c100000000000000000000000000000000000000000000000000000000000033d600000000000000000000000000000000000000000000000000000000000029950000000000000000000000000000000000000000000000000000ffffffffffff0000000000000000000000000000000000000000000000000000000000000a7500000000000000000000000000000000000000000000000000000000000010530000000000000000000000000000000000000000000000000000000000001d9d000000000000000000000000000000000000000000000000000000000000008c000000000000000000000000000000000000000000000000000000000000188200000000000000000000000000000000000000000000000000000000a457c2d7000000000000000000000000000000000000000000000000000000000000361a00000000000000000000000000000000000000000000000000000000000009d70000000000000000000000000000000000000000000000000000000000002367000000000000000000000000000000000000000000000000000000000000006b00000000000000000000000000000000000000000000000000000000000000e0000000000000000000000000000000000000000000000000000000000000383600000000000000000000000000000000000000000000000000000000000002ec00000000000000000000000000000000000000000000000000000000000040dc00000000000000000000000000000000000000000000000000000000000004f100000000000000000000000000000000000000000000000000000000ba414fa600000000000000000000000000000000000000000000000000000000000001b500000000000000000000000000000000000000000000000000000000000029fa000000000000000000000000000000000000000000000000000000000000084900000000000000000000000000000000000000000000000000000000000000da00000000000000000000000000000000000000000000000000000000000006ef00000000000000000000000000000000000000000000000000000000000000d300000000000000000000000000000000000000000000000000000000000000bf0000000000000000000000000000000000000000000000000000000000002a4900000000000000000000000000000000000000000000000000000000000012a50000000000000000000000000000000000000000000000000000000000000f3b000000000000000000000000000000000000000000000000000000000000319400000000000000000000000000000000000000000000000000000000000019d000000000000000000000000000000000000000000000000000000000000033fd0000000000000000000000000000000000000000000000000000000000000dde0000000000000000000000000000000000000000000000000000000000000b1f0000000000000000000000000000000000000000000000000000000000000aea00000000000000000000000000000000000000000000000000000000000038dc00000000000000000000000000000000000000000000000000000000000039460000000000000000000000000000000000000000000000000000000000000951000000000000000000000000000000000000000000000000000000000000024b0000000000000000000000000000000000000000000000000000616c616e636500000000000000000000000000000000000000000000000000000000000037bc000000000000000000000000000000000000000000000000000000000000028700000000000000000000000000000000000000000000000000000000000040dc0000000000000000000000000000000000000000000000000000000a493b667100000000000000000000000000000000000000000000000000000000000006de000000000000000000000000000000000000000000000808115e1c1958dd195900000000000000000000000000000000000000000000000000000000000001380000000000000000000000000000000000000000000000000000000000000223000000000000000000000000000000000000000000000000000000000000122e000000000000000000000000000000000000000000000000000000000000003a0000000000000000000000000000000000000000000000000000000000000aea000000000000000000000000000000000000000000000000000000000000000a00000000000000000000000000000000000000000000000000000000000000a400000000000000000000000000000000000000000000000000000000000039970000000000000000000000000000000000000000000000000000000000001b42000000000000000000000000000000000000000000000000000000000000037a00000000000000000000000000000000000000000000000000000000000008bb000000000000000000000000000000000000000000000000000000000000017f00000000000000000000000000000000000000000000000000000000000009af0000000000000000000000000000000000000000000000000000000000001a040000000000000000000000000000000000000000000000000000000000002dd700000000000000000000000000000000000000000000000000000000000001c100000000000000000000000000000000000000000000000000000000000040e00000000000000000000000000000000000000000000000000000000000003586, args=[([(0x000000000000000000000000000000000000026A, 881), (0x0000000000000000000000000000000000657373, 5304), (0x00000000000000000000000000000000000016a6, 3), (0x0000000000000000000000000000000089160467, 3215), (0x0000000000000000000000000000000000000951, 5165), (0x00000000000000000000000000000000000034C8, 8623), (0x0000000000000000000000000000000000000a11, 14937), (0x0000000000000000000000000000000000657373, 449), (0x00000000000000000000000000000000000033D6, 10645), (0x0000000000000000000000000000fFfffFFfFfff, 2677), (0x0000000000000000000000000000000000001053, 7581), (0x000000000000000000000000000000000000008C, 6274), (0x00000000000000000000000000000000a457c2d7, 13850), (0x00000000000000000000000000000000000009D7, 9063), (0x000000000000000000000000000000000000006b, 224), (0x0000000000000000000000000000000000003836, 748), (0x00000000000000000000000000000000000040dC, 1265), (0x00000000000000000000000000000000BA414fa6, 437), (0x00000000000000000000000000000000000029fa, 2121), (0x00000000000000000000000000000000000000DA, 1775), (0x00000000000000000000000000000000000000D3, 191), (0x0000000000000000000000000000000000002a49, 4773), (0x0000000000000000000000000000000000000f3b, 12692), (0x00000000000000000000000000000000000019d0, 13309), (0x0000000000000000000000000000000000000dDe, 2847), (0x0000000000000000000000000000000000000aea, 14556), (0x0000000000000000000000000000000000003946, 2385), (0x000000000000000000000000000000000000024B, 107118118986597), (0x00000000000000000000000000000000000037BC, 647), (0x00000000000000000000000000000000000040dC, 44178302577), (0x00000000000000000000000000000000000006de, 37927757284188484344153), (0x0000000000000000000000000000000000000138, 547), (0x000000000000000000000000000000000000122E, 58), (0x0000000000000000000000000000000000000aea, 10), (0x00000000000000000000000000000000000000a4, 14743), (0x0000000000000000000000000000000000001B42, 890), (0x00000000000000000000000000000000000008Bb, 383), (0x00000000000000000000000000000000000009Af, 6660), (0x0000000000000000000000000000000000002dd7, 449), (0x00000000000000000000000000000000000040E0, 13702)]), 0x000000000000000000000000000000000000054A, 137122462167341575662000267002353578582749290296]] testFuzzDistributeTokenMultipleAddressesSuccess(((address,uint256)[]),address,uint256) (runs: 1, μ: 719415, ~: 719415) | |
| Encountered a total of 1 failing tests, 0 tests succeeded |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment