{ "expected_set": { "kind": "peer-consensus-heuristic", "selectors": [], "source": "peer-consensus heuristic: observed in every available corpus for at least two independent evidence families (Echidna and Recon count as one related typed-corpus family); not benchmark ground truth", "status": "unavailable" }, "fuzzers": [ { "available_instances": 4, "distribution": [ { "comparison_key": "0x13a600d0", "function_names": [ "addStream" ], "function_signatures": [ "addStream(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 413, "selector": "0x13a600d0", "share": 0.018355555556 }, { "comparison_key": "0xfed02144", "function_names": [ "receiveStreams" ], "function_signatures": [ "receiveStreams(uint8,uint32)" ], "saved_corpus_calls": 390, "selector": "0xfed02144", "share": 0.017333333333 }, { "comparison_key": "0x7a81c2d8", "function_names": [ "testSqueezableAmountCantBeUndone" ], "function_signatures": [ "testSqueezableAmountCantBeUndone(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 382, "selector": "0x7a81c2d8", "share": 0.016977777778 }, { "comparison_key": "0xfabaa91d", "function_names": [ "testSetStreamBalanceWithdrawAllShouldNotRevert" ], "function_signatures": [ "testSetStreamBalanceWithdrawAllShouldNotRevert(uint8)" ], "saved_corpus_calls": 375, "selector": "0xfabaa91d", "share": 0.016666666667 }, { "comparison_key": "0x925d2ba2", "function_names": [ "testSetStreamBalanceShouldNotRevert" ], "function_signatures": [ "testSetStreamBalanceShouldNotRevert(uint8,int128)" ], "saved_corpus_calls": 374, "selector": "0x925d2ba2", "share": 0.016622222222 }, { "comparison_key": "0xbcb054fd", "function_names": [ "addStreamImmediatelySqueezable" ], "function_signatures": [ "addStreamImmediatelySqueezable(uint8,uint8,uint160)" ], "saved_corpus_calls": 372, "selector": "0xbcb054fd", "share": 0.016533333333 }, { "comparison_key": "0x8319b8db", "function_names": [ "receiveStreamsSplitAndCollectToSelf" ], "function_signatures": [ "receiveStreamsSplitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 368, "selector": "0x8319b8db", "share": 0.016355555556 }, { "comparison_key": "0x1a3ed582", "function_names": [ "setStreams" ], "function_signatures": [ "setStreams(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 367, "selector": "0x1a3ed582", "share": 0.016311111111 }, { "comparison_key": "0x2e81ecdc", "function_names": [ "addSplitsReceiverWithClamping" ], "function_signatures": [ "addSplitsReceiverWithClamping(uint8,uint8,uint32)" ], "saved_corpus_calls": 366, "selector": "0x2e81ecdc", "share": 0.016266666667 }, { "comparison_key": "0x6fdf0fee", "function_names": [ "setStreamBalanceWithdrawAll" ], "function_signatures": [ "setStreamBalanceWithdrawAll(uint8)" ], "saved_corpus_calls": 366, "selector": "0x6fdf0fee", "share": 0.016266666667 }, { "comparison_key": "0x45b9b0ba", "function_names": [ "testReceiveStreamsViewVsActual" ], "function_signatures": [ "testReceiveStreamsViewVsActual(uint8,uint32)" ], "saved_corpus_calls": 360, "selector": "0x45b9b0ba", "share": 0.016 }, { "comparison_key": "0x12dbc6ae", "function_names": [ "testCollectShouldNotRevert" ], "function_signatures": [ "testCollectShouldNotRevert(uint8,uint8)" ], "saved_corpus_calls": 359, "selector": "0x12dbc6ae", "share": 0.015955555556 }, { "comparison_key": "0x8d8b7f3b", "function_names": [ "setSplits" ], "function_signatures": [ "setSplits(uint8,uint8,uint32)" ], "saved_corpus_calls": 359, "selector": "0x8d8b7f3b", "share": 0.015955555556 }, { "comparison_key": "0x3bfbc3bd", "function_names": [ "setStreamBalance" ], "function_signatures": [ "setStreamBalance(uint8,int128)" ], "saved_corpus_calls": 358, "selector": "0x3bfbc3bd", "share": 0.015911111111 }, { "comparison_key": "0x752315fa", "function_names": [ "testSetStreamsShouldNotRevert" ], "function_signatures": [ "testSetStreamsShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 358, "selector": "0x752315fa", "share": 0.015911111111 }, { "comparison_key": "0x30387686", "function_names": [ "testSplitShouldNotRevert" ], "function_signatures": [ "testSplitShouldNotRevert(uint8)" ], "saved_corpus_calls": 353, "selector": "0x30387686", "share": 0.015688888889 }, { "comparison_key": "0x3ba851ca", "function_names": [ "setStreamsWithClamping" ], "function_signatures": [ "setStreamsWithClamping(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 351, "selector": "0x3ba851ca", "share": 0.0156 }, { "comparison_key": "0xed0c06d6", "function_names": [ "removeAllSplits" ], "function_signatures": [ "removeAllSplits(uint8)" ], "saved_corpus_calls": 351, "selector": "0xed0c06d6", "share": 0.0156 }, { "comparison_key": "0xf288ca3f", "function_names": [ "invariantWithdrawShouldAlwaysFail" ], "function_signatures": [ "invariantWithdrawShouldAlwaysFail(uint256)" ], "saved_corpus_calls": 351, "selector": "0xf288ca3f", "share": 0.0156 }, { "comparison_key": "0xfa1227cd", "function_names": [ "testSetStreamBalance" ], "function_signatures": [ "testSetStreamBalance(uint8,int128)" ], "saved_corpus_calls": 351, "selector": "0xfa1227cd", "share": 0.0156 }, { "comparison_key": "0xe31f637a", "function_names": [ "testCollect" ], "function_signatures": [ "testCollect(uint8,uint8)" ], "saved_corpus_calls": 349, "selector": "0xe31f637a", "share": 0.015511111111 }, { "comparison_key": "0xb89fedbc", "function_names": [ "addStreamWithClamping" ], "function_signatures": [ "addStreamWithClamping(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 348, "selector": "0xb89fedbc", "share": 0.015466666667 }, { "comparison_key": "0xcf2634be", "function_names": [ "squeezeWithDefaultHistory" ], "function_signatures": [ "squeezeWithDefaultHistory(uint8,uint8)" ], "saved_corpus_calls": 348, "selector": "0xcf2634be", "share": 0.015466666667 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 347, "selector": "0xf24a44c9", "share": 0.015422222222 }, { "comparison_key": "0xdf65cad7", "function_names": [ "testSetSplitsShouldNotRevert" ], "function_signatures": [ "testSetSplitsShouldNotRevert(uint8,uint8,uint32)" ], "saved_corpus_calls": 346, "selector": "0xdf65cad7", "share": 0.015377777778 }, { "comparison_key": "0xf56082ce", "function_names": [ "setStreamBalanceWithClamping" ], "function_signatures": [ "setStreamBalanceWithClamping(uint8,int128)" ], "saved_corpus_calls": 345, "selector": "0xf56082ce", "share": 0.015333333333 }, { "comparison_key": "0x1ba3a23c", "function_names": [ "testReceiveStreamsViewConsistency" ], "function_signatures": [ "testReceiveStreamsViewConsistency(uint8,uint32)" ], "saved_corpus_calls": 342, "selector": "0x1ba3a23c", "share": 0.0152 }, { "comparison_key": "0x0787f556", "function_names": [ "giveClampedAmount" ], "function_signatures": [ "giveClampedAmount(uint8,uint8,uint128)" ], "saved_corpus_calls": 341, "selector": "0x0787f556", "share": 0.015155555556 }, { "comparison_key": "0x1c1e74b7", "function_names": [ "testSqueezableVsReceived" ], "function_signatures": [ "testSqueezableVsReceived(uint8)" ], "saved_corpus_calls": 341, "selector": "0x1c1e74b7", "share": 0.015155555556 }, { "comparison_key": "0x4e0ad60b", "function_names": [ "testSqueezableAmountCantBeWithdrawn" ], "function_signatures": [ "testSqueezableAmountCantBeWithdrawn(uint8,uint8)" ], "saved_corpus_calls": 341, "selector": "0x4e0ad60b", "share": 0.015155555556 }, { "comparison_key": "0x0e8df0d4", "function_names": [ "testSqueeze" ], "function_signatures": [ "testSqueeze(uint8,uint8)" ], "saved_corpus_calls": 340, "selector": "0x0e8df0d4", "share": 0.015111111111 }, { "comparison_key": "0x68c69e1c", "function_names": [ "testSqueezeWithDefaultHistoryShouldNotRevert" ], "function_signatures": [ "testSqueezeWithDefaultHistoryShouldNotRevert(uint8,uint8)" ], "saved_corpus_calls": 339, "selector": "0x68c69e1c", "share": 0.015066666667 }, { "comparison_key": "0xb777536f", "function_names": [ "squeezeToSelf" ], "function_signatures": [ "squeezeToSelf(uint8)" ], "saved_corpus_calls": 339, "selector": "0xb777536f", "share": 0.015066666667 }, { "comparison_key": "0xed2ce2d6", "function_names": [ "squeezeWithFuzzedHistory" ], "function_signatures": [ "squeezeWithFuzzedHistory(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 339, "selector": "0xed2ce2d6", "share": 0.015066666667 }, { "comparison_key": "0x81b0058c", "function_names": [ "testSqueezeViewVsActual" ], "function_signatures": [ "testSqueezeViewVsActual(uint8,uint8)" ], "saved_corpus_calls": 338, "selector": "0x81b0058c", "share": 0.015022222222 }, { "comparison_key": "0x1ef44aed", "function_names": [ "split" ], "function_signatures": [ "split(uint8)" ], "saved_corpus_calls": 336, "selector": "0x1ef44aed", "share": 0.014933333333 }, { "comparison_key": "0x662fe867", "function_names": [ "invariantAmtPerSecVsMinAmtPerSec" ], "function_signatures": [ "invariantAmtPerSecVsMinAmtPerSec(uint8,uint256)" ], "saved_corpus_calls": 336, "selector": "0x662fe867", "share": 0.014933333333 }, { "comparison_key": "0x3b0786f0", "function_names": [ "receiveStreamsAllCycles" ], "function_signatures": [ "receiveStreamsAllCycles(uint8)" ], "saved_corpus_calls": 333, "selector": "0x3b0786f0", "share": 0.0148 }, { "comparison_key": "0x462664e4", "function_names": [ "testRemoveStreamShouldNotRevert" ], "function_signatures": [ "testRemoveStreamShouldNotRevert(uint8,uint256)" ], "saved_corpus_calls": 332, "selector": "0x462664e4", "share": 0.014755555556 }, { "comparison_key": "0x441581e7", "function_names": [ "setSplitsWithClamping" ], "function_signatures": [ "setSplitsWithClamping(uint8,uint8,uint32)" ], "saved_corpus_calls": 330, "selector": "0x441581e7", "share": 0.014666666667 }, { "comparison_key": "0xcdb89fe8", "function_names": [ "give" ], "function_signatures": [ "give(uint8,uint8,uint128)" ], "saved_corpus_calls": 326, "selector": "0xcdb89fe8", "share": 0.014488888889 }, { "comparison_key": "0x5bf58259", "function_names": [ "collectToSelf" ], "function_signatures": [ "collectToSelf(uint8)" ], "saved_corpus_calls": 325, "selector": "0x5bf58259", "share": 0.014444444444 }, { "comparison_key": "0x55072e3e", "function_names": [ "collect" ], "function_signatures": [ "collect(uint8,uint8)" ], "saved_corpus_calls": 323, "selector": "0x55072e3e", "share": 0.014355555556 }, { "comparison_key": "0x79f368d0", "function_names": [ "squeezeAllSenders" ], "function_signatures": [ "squeezeAllSenders(uint8)" ], "saved_corpus_calls": 323, "selector": "0x79f368d0", "share": 0.014355555556 }, { "comparison_key": "0x12a17262", "function_names": [ "squeezeAllAndReceiveAndSplitAndCollectToSelf" ], "function_signatures": [ "squeezeAllAndReceiveAndSplitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 322, "selector": "0x12a17262", "share": 0.014311111111 }, { "comparison_key": "0x01b73ab9", "function_names": [ "testBalanceAtInFuture" ], "function_signatures": [ "testBalanceAtInFuture(uint8,uint8,uint160)" ], "saved_corpus_calls": 320, "selector": "0x01b73ab9", "share": 0.014222222222 }, { "comparison_key": "0x0325f4e1", "function_names": [ "addSplitsReceiver" ], "function_signatures": [ "addSplitsReceiver(uint8,uint8,uint32)" ], "saved_corpus_calls": 318, "selector": "0x0325f4e1", "share": 0.014133333333 }, { "comparison_key": "0x32dc4442", "function_names": [ "testSqueezeWithFullyHashedHistory" ], "function_signatures": [ "testSqueezeWithFullyHashedHistory(uint8,uint8)" ], "saved_corpus_calls": 318, "selector": "0x32dc4442", "share": 0.014133333333 }, { "comparison_key": "0x402f2eae", "function_names": [ "testSplitViewVsActual" ], "function_signatures": [ "testSplitViewVsActual(uint8)" ], "saved_corpus_calls": 318, "selector": "0x402f2eae", "share": 0.014133333333 }, { "comparison_key": "0x19ca05b3", "function_names": [ "testSplittableAfterSplit" ], "function_signatures": [ "testSplittableAfterSplit(uint8)" ], "saved_corpus_calls": 316, "selector": "0x19ca05b3", "share": 0.014044444444 }, { "comparison_key": "0x2e0c28fb", "function_names": [ "setMaxEndHints" ], "function_signatures": [ "setMaxEndHints(uint32,uint32)" ], "saved_corpus_calls": 316, "selector": "0x2e0c28fb", "share": 0.014044444444 }, { "comparison_key": "0x218be192", "function_names": [ "invariantSumAmtDeltaIsZero" ], "function_signatures": [ "invariantSumAmtDeltaIsZero(uint8)" ], "saved_corpus_calls": 315, "selector": "0x218be192", "share": 0.014 }, { "comparison_key": "0x611aa8c7", "function_names": [ "invariantAccountingVsTokenBalance" ], "function_signatures": [ "invariantAccountingVsTokenBalance()" ], "saved_corpus_calls": 313, "selector": "0x611aa8c7", "share": 0.013911111111 }, { "comparison_key": "0xf89367f3", "function_names": [ "testReceiversReceivedSplit" ], "function_signatures": [ "testReceiversReceivedSplit(uint8)" ], "saved_corpus_calls": 313, "selector": "0xf89367f3", "share": 0.013911111111 }, { "comparison_key": "0x82ce0f6d", "function_names": [ "testReceiveStreamsShouldNotRevert" ], "function_signatures": [ "testReceiveStreamsShouldNotRevert(uint8)" ], "saved_corpus_calls": 311, "selector": "0x82ce0f6d", "share": 0.013822222222 }, { "comparison_key": "0xe2b3d196", "function_names": [ "splitAndCollectToSelf" ], "function_signatures": [ "splitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 311, "selector": "0xe2b3d196", "share": 0.013822222222 }, { "comparison_key": "0x93191ccc", "function_names": [ "invariantWithdrawAllTokens" ], "function_signatures": [ "invariantWithdrawAllTokens()" ], "saved_corpus_calls": 307, "selector": "0x93191ccc", "share": 0.013644444444 }, { "comparison_key": "0xec992a3f", "function_names": [ "testReceiveStreams" ], "function_signatures": [ "testReceiveStreams(uint8,uint32)" ], "saved_corpus_calls": 305, "selector": "0xec992a3f", "share": 0.013555555556 }, { "comparison_key": "0x2b95b898", "function_names": [ "invariantWithdrawAllTokensShouldNotRevert" ], "function_signatures": [ "invariantWithdrawAllTokensShouldNotRevert()" ], "saved_corpus_calls": 304, "selector": "0x2b95b898", "share": 0.013511111111 }, { "comparison_key": "0xec13b1ca", "function_names": [ "testAddStreamShouldNotRevert" ], "function_signatures": [ "testAddStreamShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 304, "selector": "0xec13b1ca", "share": 0.013511111111 }, { "comparison_key": "0x47bc779b", "function_names": [ "testAddSplitsShouldNotRevert" ], "function_signatures": [ "testAddSplitsShouldNotRevert(uint8,uint8,uint32)" ], "saved_corpus_calls": 299, "selector": "0x47bc779b", "share": 0.013288888889 }, { "comparison_key": "0x1a042ae7", "function_names": [ "invariant_canary" ], "function_signatures": [ "invariant_canary()" ], "saved_corpus_calls": 297, "selector": "0x1a042ae7", "share": 0.0132 }, { "comparison_key": "0x7e089b12", "function_names": [ "testSqueezeTwice" ], "function_signatures": [ "testSqueezeTwice(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 295, "selector": "0x7e089b12", "share": 0.013111111111 }, { "comparison_key": "0x424df745", "function_names": [ "testCollectableAfterSplit" ], "function_signatures": [ "testCollectableAfterSplit(uint8)" ], "saved_corpus_calls": 292, "selector": "0x424df745", "share": 0.012977777778 }, { "comparison_key": "0x6cc8862a", "function_names": [ "testGiveShouldNotRevert" ], "function_signatures": [ "testGiveShouldNotRevert(uint8,uint8,uint128)" ], "saved_corpus_calls": 292, "selector": "0x6cc8862a", "share": 0.012977777778 }, { "comparison_key": "0x92da0f7a", "function_names": [ "testSqueezeWithFuzzedHistoryShouldNotRevert" ], "function_signatures": [ "testSqueezeWithFuzzedHistoryShouldNotRevert(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 284, "selector": "0x92da0f7a", "share": 0.012622222222 }, { "comparison_key": "0xe393d86b", "function_names": [ "removeStream" ], "function_signatures": [ "removeStream(uint8,uint256)" ], "saved_corpus_calls": 273, "selector": "0xe393d86b", "share": 0.012133333333 }, { "comparison_key": "0x21d76db7", "function_names": [ "clampSplitWeight" ], "function_signatures": [ "clampSplitWeight(uint32,uint32)" ], "saved_corpus_calls": 26, "selector": "0x21d76db7", "share": 0.001155555556 } ], "fuzzer": "echidna-ci-0ea96cb95290", "instances": 4, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 22500, "status": "available", "unavailable_instances": 0, "unique_call_identities": 68, "unique_selectors": 68 }, { "available_instances": 4, "distribution": [ { "comparison_key": "0x55072e3e", "function_names": [ "collect" ], "function_signatures": [ "collect(uint8,uint8)" ], "saved_corpus_calls": 425, "selector": "0x55072e3e", "share": 0.018162393162 }, { "comparison_key": "0x6fdf0fee", "function_names": [ "setStreamBalanceWithdrawAll" ], "function_signatures": [ "setStreamBalanceWithdrawAll(uint8)" ], "saved_corpus_calls": 411, "selector": "0x6fdf0fee", "share": 0.017564102564 }, { "comparison_key": "0xec992a3f", "function_names": [ "testReceiveStreams" ], "function_signatures": [ "testReceiveStreams(uint8,uint32)" ], "saved_corpus_calls": 397, "selector": "0xec992a3f", "share": 0.016965811966 }, { "comparison_key": "0x1ef44aed", "function_names": [ "split" ], "function_signatures": [ "split(uint8)" ], "saved_corpus_calls": 395, "selector": "0x1ef44aed", "share": 0.01688034188 }, { "comparison_key": "0xbcb054fd", "function_names": [ "addStreamImmediatelySqueezable" ], "function_signatures": [ "addStreamImmediatelySqueezable(uint8,uint8,uint160)" ], "saved_corpus_calls": 395, "selector": "0xbcb054fd", "share": 0.01688034188 }, { "comparison_key": "0x47bc779b", "function_names": [ "testAddSplitsShouldNotRevert" ], "function_signatures": [ "testAddSplitsShouldNotRevert(uint8,uint8,uint32)" ], "saved_corpus_calls": 386, "selector": "0x47bc779b", "share": 0.016495726496 }, { "comparison_key": "0x402f2eae", "function_names": [ "testSplitViewVsActual" ], "function_signatures": [ "testSplitViewVsActual(uint8)" ], "saved_corpus_calls": 385, "selector": "0x402f2eae", "share": 0.016452991453 }, { "comparison_key": "0x441581e7", "function_names": [ "setSplitsWithClamping" ], "function_signatures": [ "setSplitsWithClamping(uint8,uint8,uint32)" ], "saved_corpus_calls": 383, "selector": "0x441581e7", "share": 0.016367521368 }, { "comparison_key": "0x32dc4442", "function_names": [ "testSqueezeWithFullyHashedHistory" ], "function_signatures": [ "testSqueezeWithFullyHashedHistory(uint8,uint8)" ], "saved_corpus_calls": 382, "selector": "0x32dc4442", "share": 0.016324786325 }, { "comparison_key": "0x1a3ed582", "function_names": [ "setStreams" ], "function_signatures": [ "setStreams(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 378, "selector": "0x1a3ed582", "share": 0.016153846154 }, { "comparison_key": "0xb89fedbc", "function_names": [ "addStreamWithClamping" ], "function_signatures": [ "addStreamWithClamping(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 376, "selector": "0xb89fedbc", "share": 0.016068376068 }, { "comparison_key": "0x13a600d0", "function_names": [ "addStream" ], "function_signatures": [ "addStream(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 373, "selector": "0x13a600d0", "share": 0.01594017094 }, { "comparison_key": "0x8d8b7f3b", "function_names": [ "setSplits" ], "function_signatures": [ "setSplits(uint8,uint8,uint32)" ], "saved_corpus_calls": 372, "selector": "0x8d8b7f3b", "share": 0.015897435897 }, { "comparison_key": "0xe2b3d196", "function_names": [ "splitAndCollectToSelf" ], "function_signatures": [ "splitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 370, "selector": "0xe2b3d196", "share": 0.015811965812 }, { "comparison_key": "0x0787f556", "function_names": [ "giveClampedAmount" ], "function_signatures": [ "giveClampedAmount(uint8,uint8,uint128)" ], "saved_corpus_calls": 369, "selector": "0x0787f556", "share": 0.015769230769 }, { "comparison_key": "0x7a81c2d8", "function_names": [ "testSqueezableAmountCantBeUndone" ], "function_signatures": [ "testSqueezableAmountCantBeUndone(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 369, "selector": "0x7a81c2d8", "share": 0.015769230769 }, { "comparison_key": "0x611aa8c7", "function_names": [ "invariantAccountingVsTokenBalance" ], "function_signatures": [ "invariantAccountingVsTokenBalance()" ], "saved_corpus_calls": 366, "selector": "0x611aa8c7", "share": 0.015641025641 }, { "comparison_key": "0x45b9b0ba", "function_names": [ "testReceiveStreamsViewVsActual" ], "function_signatures": [ "testReceiveStreamsViewVsActual(uint8,uint32)" ], "saved_corpus_calls": 363, "selector": "0x45b9b0ba", "share": 0.015512820513 }, { "comparison_key": "0x79f368d0", "function_names": [ "squeezeAllSenders" ], "function_signatures": [ "squeezeAllSenders(uint8)" ], "saved_corpus_calls": 363, "selector": "0x79f368d0", "share": 0.015512820513 }, { "comparison_key": "0x82ce0f6d", "function_names": [ "testReceiveStreamsShouldNotRevert" ], "function_signatures": [ "testReceiveStreamsShouldNotRevert(uint8)" ], "saved_corpus_calls": 363, "selector": "0x82ce0f6d", "share": 0.015512820513 }, { "comparison_key": "0xfa1227cd", "function_names": [ "testSetStreamBalance" ], "function_signatures": [ "testSetStreamBalance(uint8,int128)" ], "saved_corpus_calls": 363, "selector": "0xfa1227cd", "share": 0.015512820513 }, { "comparison_key": "0x19ca05b3", "function_names": [ "testSplittableAfterSplit" ], "function_signatures": [ "testSplittableAfterSplit(uint8)" ], "saved_corpus_calls": 362, "selector": "0x19ca05b3", "share": 0.01547008547 }, { "comparison_key": "0xfed02144", "function_names": [ "receiveStreams" ], "function_signatures": [ "receiveStreams(uint8,uint32)" ], "saved_corpus_calls": 362, "selector": "0xfed02144", "share": 0.01547008547 }, { "comparison_key": "0x3b0786f0", "function_names": [ "receiveStreamsAllCycles" ], "function_signatures": [ "receiveStreamsAllCycles(uint8)" ], "saved_corpus_calls": 361, "selector": "0x3b0786f0", "share": 0.015427350427 }, { "comparison_key": "0xcf2634be", "function_names": [ "squeezeWithDefaultHistory" ], "function_signatures": [ "squeezeWithDefaultHistory(uint8,uint8)" ], "saved_corpus_calls": 361, "selector": "0xcf2634be", "share": 0.015427350427 }, { "comparison_key": "0xf89367f3", "function_names": [ "testReceiversReceivedSplit" ], "function_signatures": [ "testReceiversReceivedSplit(uint8)" ], "saved_corpus_calls": 361, "selector": "0xf89367f3", "share": 0.015427350427 }, { "comparison_key": "0x0e8df0d4", "function_names": [ "testSqueeze" ], "function_signatures": [ "testSqueeze(uint8,uint8)" ], "saved_corpus_calls": 360, "selector": "0x0e8df0d4", "share": 0.015384615385 }, { "comparison_key": "0x5bf58259", "function_names": [ "collectToSelf" ], "function_signatures": [ "collectToSelf(uint8)" ], "saved_corpus_calls": 360, "selector": "0x5bf58259", "share": 0.015384615385 }, { "comparison_key": "0x01b73ab9", "function_names": [ "testBalanceAtInFuture" ], "function_signatures": [ "testBalanceAtInFuture(uint8,uint8,uint160)" ], "saved_corpus_calls": 356, "selector": "0x01b73ab9", "share": 0.015213675214 }, { "comparison_key": "0xcdb89fe8", "function_names": [ "give" ], "function_signatures": [ "give(uint8,uint8,uint128)" ], "saved_corpus_calls": 356, "selector": "0xcdb89fe8", "share": 0.015213675214 }, { "comparison_key": "0x2e0c28fb", "function_names": [ "setMaxEndHints" ], "function_signatures": [ "setMaxEndHints(uint32,uint32)" ], "saved_corpus_calls": 355, "selector": "0x2e0c28fb", "share": 0.015170940171 }, { "comparison_key": "0x662fe867", "function_names": [ "invariantAmtPerSecVsMinAmtPerSec" ], "function_signatures": [ "invariantAmtPerSecVsMinAmtPerSec(uint8,uint256)" ], "saved_corpus_calls": 355, "selector": "0x662fe867", "share": 0.015170940171 }, { "comparison_key": "0xb777536f", "function_names": [ "squeezeToSelf" ], "function_signatures": [ "squeezeToSelf(uint8)" ], "saved_corpus_calls": 354, "selector": "0xb777536f", "share": 0.015128205128 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 351, "selector": "0xf24a44c9", "share": 0.015 }, { "comparison_key": "0xe393d86b", "function_names": [ "removeStream" ], "function_signatures": [ "removeStream(uint8,uint256)" ], "saved_corpus_calls": 349, "selector": "0xe393d86b", "share": 0.014914529915 }, { "comparison_key": "0x2b95b898", "function_names": [ "invariantWithdrawAllTokensShouldNotRevert" ], "function_signatures": [ "invariantWithdrawAllTokensShouldNotRevert()" ], "saved_corpus_calls": 347, "selector": "0x2b95b898", "share": 0.014829059829 }, { "comparison_key": "0x7e089b12", "function_names": [ "testSqueezeTwice" ], "function_signatures": [ "testSqueezeTwice(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 347, "selector": "0x7e089b12", "share": 0.014829059829 }, { "comparison_key": "0x3ba851ca", "function_names": [ "setStreamsWithClamping" ], "function_signatures": [ "setStreamsWithClamping(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 346, "selector": "0x3ba851ca", "share": 0.014786324786 }, { "comparison_key": "0xed0c06d6", "function_names": [ "removeAllSplits" ], "function_signatures": [ "removeAllSplits(uint8)" ], "saved_corpus_calls": 344, "selector": "0xed0c06d6", "share": 0.014700854701 }, { "comparison_key": "0x8319b8db", "function_names": [ "receiveStreamsSplitAndCollectToSelf" ], "function_signatures": [ "receiveStreamsSplitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 343, "selector": "0x8319b8db", "share": 0.014658119658 }, { "comparison_key": "0x4e0ad60b", "function_names": [ "testSqueezableAmountCantBeWithdrawn" ], "function_signatures": [ "testSqueezableAmountCantBeWithdrawn(uint8,uint8)" ], "saved_corpus_calls": 342, "selector": "0x4e0ad60b", "share": 0.014615384615 }, { "comparison_key": "0x218be192", "function_names": [ "invariantSumAmtDeltaIsZero" ], "function_signatures": [ "invariantSumAmtDeltaIsZero(uint8)" ], "saved_corpus_calls": 341, "selector": "0x218be192", "share": 0.014572649573 }, { "comparison_key": "0x752315fa", "function_names": [ "testSetStreamsShouldNotRevert" ], "function_signatures": [ "testSetStreamsShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 340, "selector": "0x752315fa", "share": 0.01452991453 }, { "comparison_key": "0xf288ca3f", "function_names": [ "invariantWithdrawShouldAlwaysFail" ], "function_signatures": [ "invariantWithdrawShouldAlwaysFail(uint256)" ], "saved_corpus_calls": 339, "selector": "0xf288ca3f", "share": 0.014487179487 }, { "comparison_key": "0x1a042ae7", "function_names": [ "invariant_canary" ], "function_signatures": [ "invariant_canary()" ], "saved_corpus_calls": 336, "selector": "0x1a042ae7", "share": 0.014358974359 }, { "comparison_key": "0xe31f637a", "function_names": [ "testCollect" ], "function_signatures": [ "testCollect(uint8,uint8)" ], "saved_corpus_calls": 335, "selector": "0xe31f637a", "share": 0.014316239316 }, { "comparison_key": "0x1ba3a23c", "function_names": [ "testReceiveStreamsViewConsistency" ], "function_signatures": [ "testReceiveStreamsViewConsistency(uint8,uint32)" ], "saved_corpus_calls": 331, "selector": "0x1ba3a23c", "share": 0.014145299145 }, { "comparison_key": "0x92da0f7a", "function_names": [ "testSqueezeWithFuzzedHistoryShouldNotRevert" ], "function_signatures": [ "testSqueezeWithFuzzedHistoryShouldNotRevert(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 331, "selector": "0x92da0f7a", "share": 0.014145299145 }, { "comparison_key": "0x12a17262", "function_names": [ "squeezeAllAndReceiveAndSplitAndCollectToSelf" ], "function_signatures": [ "squeezeAllAndReceiveAndSplitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 328, "selector": "0x12a17262", "share": 0.014017094017 }, { "comparison_key": "0x6cc8862a", "function_names": [ "testGiveShouldNotRevert" ], "function_signatures": [ "testGiveShouldNotRevert(uint8,uint8,uint128)" ], "saved_corpus_calls": 328, "selector": "0x6cc8862a", "share": 0.014017094017 }, { "comparison_key": "0x925d2ba2", "function_names": [ "testSetStreamBalanceShouldNotRevert" ], "function_signatures": [ "testSetStreamBalanceShouldNotRevert(uint8,int128)" ], "saved_corpus_calls": 326, "selector": "0x925d2ba2", "share": 0.013931623932 }, { "comparison_key": "0x93191ccc", "function_names": [ "invariantWithdrawAllTokens" ], "function_signatures": [ "invariantWithdrawAllTokens()" ], "saved_corpus_calls": 325, "selector": "0x93191ccc", "share": 0.013888888889 }, { "comparison_key": "0xec13b1ca", "function_names": [ "testAddStreamShouldNotRevert" ], "function_signatures": [ "testAddStreamShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 325, "selector": "0xec13b1ca", "share": 0.013888888889 }, { "comparison_key": "0xed2ce2d6", "function_names": [ "squeezeWithFuzzedHistory" ], "function_signatures": [ "squeezeWithFuzzedHistory(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 322, "selector": "0xed2ce2d6", "share": 0.013760683761 }, { "comparison_key": "0x81b0058c", "function_names": [ "testSqueezeViewVsActual" ], "function_signatures": [ "testSqueezeViewVsActual(uint8,uint8)" ], "saved_corpus_calls": 320, "selector": "0x81b0058c", "share": 0.013675213675 }, { "comparison_key": "0xfabaa91d", "function_names": [ "testSetStreamBalanceWithdrawAllShouldNotRevert" ], "function_signatures": [ "testSetStreamBalanceWithdrawAllShouldNotRevert(uint8)" ], "saved_corpus_calls": 320, "selector": "0xfabaa91d", "share": 0.013675213675 }, { "comparison_key": "0x3bfbc3bd", "function_names": [ "setStreamBalance" ], "function_signatures": [ "setStreamBalance(uint8,int128)" ], "saved_corpus_calls": 319, "selector": "0x3bfbc3bd", "share": 0.013632478632 }, { "comparison_key": "0x1c1e74b7", "function_names": [ "testSqueezableVsReceived" ], "function_signatures": [ "testSqueezableVsReceived(uint8)" ], "saved_corpus_calls": 316, "selector": "0x1c1e74b7", "share": 0.013504273504 }, { "comparison_key": "0xdf65cad7", "function_names": [ "testSetSplitsShouldNotRevert" ], "function_signatures": [ "testSetSplitsShouldNotRevert(uint8,uint8,uint32)" ], "saved_corpus_calls": 315, "selector": "0xdf65cad7", "share": 0.013461538462 }, { "comparison_key": "0x0325f4e1", "function_names": [ "addSplitsReceiver" ], "function_signatures": [ "addSplitsReceiver(uint8,uint8,uint32)" ], "saved_corpus_calls": 312, "selector": "0x0325f4e1", "share": 0.013333333333 }, { "comparison_key": "0x12dbc6ae", "function_names": [ "testCollectShouldNotRevert" ], "function_signatures": [ "testCollectShouldNotRevert(uint8,uint8)" ], "saved_corpus_calls": 312, "selector": "0x12dbc6ae", "share": 0.013333333333 }, { "comparison_key": "0x2e81ecdc", "function_names": [ "addSplitsReceiverWithClamping" ], "function_signatures": [ "addSplitsReceiverWithClamping(uint8,uint8,uint32)" ], "saved_corpus_calls": 308, "selector": "0x2e81ecdc", "share": 0.013162393162 }, { "comparison_key": "0x424df745", "function_names": [ "testCollectableAfterSplit" ], "function_signatures": [ "testCollectableAfterSplit(uint8)" ], "saved_corpus_calls": 305, "selector": "0x424df745", "share": 0.013034188034 }, { "comparison_key": "0x68c69e1c", "function_names": [ "testSqueezeWithDefaultHistoryShouldNotRevert" ], "function_signatures": [ "testSqueezeWithDefaultHistoryShouldNotRevert(uint8,uint8)" ], "saved_corpus_calls": 304, "selector": "0x68c69e1c", "share": 0.012991452991 }, { "comparison_key": "0x30387686", "function_names": [ "testSplitShouldNotRevert" ], "function_signatures": [ "testSplitShouldNotRevert(uint8)" ], "saved_corpus_calls": 301, "selector": "0x30387686", "share": 0.012863247863 }, { "comparison_key": "0x462664e4", "function_names": [ "testRemoveStreamShouldNotRevert" ], "function_signatures": [ "testRemoveStreamShouldNotRevert(uint8,uint256)" ], "saved_corpus_calls": 291, "selector": "0x462664e4", "share": 0.012435897436 }, { "comparison_key": "0xf56082ce", "function_names": [ "setStreamBalanceWithClamping" ], "function_signatures": [ "setStreamBalanceWithClamping(uint8,int128)" ], "saved_corpus_calls": 283, "selector": "0xf56082ce", "share": 0.012094017094 }, { "comparison_key": "0x21d76db7", "function_names": [ "clampSplitWeight" ], "function_signatures": [ "clampSplitWeight(uint32,uint32)" ], "saved_corpus_calls": 31, "selector": "0x21d76db7", "share": 0.001324786325 } ], "fuzzer": "echidna-pr-1615", "instances": 4, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 23400, "status": "available", "unavailable_instances": 0, "unique_call_identities": 68, "unique_selectors": 68 }, { "available_instances": 4, "distribution": [ { "comparison_key": "0x55072e3e", "function_names": [ "collect" ], "function_signatures": [ "collect(uint8,uint8)" ], "saved_corpus_calls": 420, "selector": "0x55072e3e", "share": 0.017921911671 }, { "comparison_key": "0x45b9b0ba", "function_names": [ "testReceiveStreamsViewVsActual" ], "function_signatures": [ "testReceiveStreamsViewVsActual(uint8,uint32)" ], "saved_corpus_calls": 406, "selector": "0x45b9b0ba", "share": 0.017324514615 }, { "comparison_key": "0x7a81c2d8", "function_names": [ "testSqueezableAmountCantBeUndone" ], "function_signatures": [ "testSqueezableAmountCantBeUndone(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 395, "selector": "0x7a81c2d8", "share": 0.016855131214 }, { "comparison_key": "0xb777536f", "function_names": [ "squeezeToSelf" ], "function_signatures": [ "squeezeToSelf(uint8)" ], "saved_corpus_calls": 388, "selector": "0xb777536f", "share": 0.016556432686 }, { "comparison_key": "0xe2b3d196", "function_names": [ "splitAndCollectToSelf" ], "function_signatures": [ "splitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 387, "selector": "0xe2b3d196", "share": 0.016513761468 }, { "comparison_key": "0x1ef44aed", "function_names": [ "split" ], "function_signatures": [ "split(uint8)" ], "saved_corpus_calls": 385, "selector": "0x1ef44aed", "share": 0.016428419031 }, { "comparison_key": "0x4e0ad60b", "function_names": [ "testSqueezableAmountCantBeWithdrawn" ], "function_signatures": [ "testSqueezableAmountCantBeWithdrawn(uint8,uint8)" ], "saved_corpus_calls": 384, "selector": "0x4e0ad60b", "share": 0.016385747813 }, { "comparison_key": "0x01b73ab9", "function_names": [ "testBalanceAtInFuture" ], "function_signatures": [ "testBalanceAtInFuture(uint8,uint8,uint160)" ], "saved_corpus_calls": 383, "selector": "0x01b73ab9", "share": 0.016343076595 }, { "comparison_key": "0x5bf58259", "function_names": [ "collectToSelf" ], "function_signatures": [ "collectToSelf(uint8)" ], "saved_corpus_calls": 383, "selector": "0x5bf58259", "share": 0.016343076595 }, { "comparison_key": "0x218be192", "function_names": [ "invariantSumAmtDeltaIsZero" ], "function_signatures": [ "invariantSumAmtDeltaIsZero(uint8)" ], "saved_corpus_calls": 380, "selector": "0x218be192", "share": 0.01621506294 }, { "comparison_key": "0xcdb89fe8", "function_names": [ "give" ], "function_signatures": [ "give(uint8,uint8,uint128)" ], "saved_corpus_calls": 376, "selector": "0xcdb89fe8", "share": 0.016044378067 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 376, "selector": "0xf24a44c9", "share": 0.016044378067 }, { "comparison_key": "0x82ce0f6d", "function_names": [ "testReceiveStreamsShouldNotRevert" ], "function_signatures": [ "testReceiveStreamsShouldNotRevert(uint8)" ], "saved_corpus_calls": 375, "selector": "0x82ce0f6d", "share": 0.016001706849 }, { "comparison_key": "0xbcb054fd", "function_names": [ "addStreamImmediatelySqueezable" ], "function_signatures": [ "addStreamImmediatelySqueezable(uint8,uint8,uint160)" ], "saved_corpus_calls": 374, "selector": "0xbcb054fd", "share": 0.01595903563 }, { "comparison_key": "0x1a3ed582", "function_names": [ "setStreams" ], "function_signatures": [ "setStreams(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 373, "selector": "0x1a3ed582", "share": 0.015916364412 }, { "comparison_key": "0xb89fedbc", "function_names": [ "addStreamWithClamping" ], "function_signatures": [ "addStreamWithClamping(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 372, "selector": "0xb89fedbc", "share": 0.015873693194 }, { "comparison_key": "0x2e0c28fb", "function_names": [ "setMaxEndHints" ], "function_signatures": [ "setMaxEndHints(uint32,uint32)" ], "saved_corpus_calls": 371, "selector": "0x2e0c28fb", "share": 0.015831021976 }, { "comparison_key": "0x3bfbc3bd", "function_names": [ "setStreamBalance" ], "function_signatures": [ "setStreamBalance(uint8,int128)" ], "saved_corpus_calls": 369, "selector": "0x3bfbc3bd", "share": 0.015745679539 }, { "comparison_key": "0xcf2634be", "function_names": [ "squeezeWithDefaultHistory" ], "function_signatures": [ "squeezeWithDefaultHistory(uint8,uint8)" ], "saved_corpus_calls": 369, "selector": "0xcf2634be", "share": 0.015745679539 }, { "comparison_key": "0x424df745", "function_names": [ "testCollectableAfterSplit" ], "function_signatures": [ "testCollectableAfterSplit(uint8)" ], "saved_corpus_calls": 367, "selector": "0x424df745", "share": 0.015660337103 }, { "comparison_key": "0x68c69e1c", "function_names": [ "testSqueezeWithDefaultHistoryShouldNotRevert" ], "function_signatures": [ "testSqueezeWithDefaultHistoryShouldNotRevert(uint8,uint8)" ], "saved_corpus_calls": 367, "selector": "0x68c69e1c", "share": 0.015660337103 }, { "comparison_key": "0x93191ccc", "function_names": [ "invariantWithdrawAllTokens" ], "function_signatures": [ "invariantWithdrawAllTokens()" ], "saved_corpus_calls": 366, "selector": "0x93191ccc", "share": 0.015617665884 }, { "comparison_key": "0x8d8b7f3b", "function_names": [ "setSplits" ], "function_signatures": [ "setSplits(uint8,uint8,uint32)" ], "saved_corpus_calls": 358, "selector": "0x8d8b7f3b", "share": 0.015276296138 }, { "comparison_key": "0x12a17262", "function_names": [ "squeezeAllAndReceiveAndSplitAndCollectToSelf" ], "function_signatures": [ "squeezeAllAndReceiveAndSplitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 357, "selector": "0x12a17262", "share": 0.01523362492 }, { "comparison_key": "0x19ca05b3", "function_names": [ "testSplittableAfterSplit" ], "function_signatures": [ "testSplittableAfterSplit(uint8)" ], "saved_corpus_calls": 355, "selector": "0x19ca05b3", "share": 0.015148282483 }, { "comparison_key": "0x0325f4e1", "function_names": [ "addSplitsReceiver" ], "function_signatures": [ "addSplitsReceiver(uint8,uint8,uint32)" ], "saved_corpus_calls": 354, "selector": "0x0325f4e1", "share": 0.015105611265 }, { "comparison_key": "0xdf65cad7", "function_names": [ "testSetSplitsShouldNotRevert" ], "function_signatures": [ "testSetSplitsShouldNotRevert(uint8,uint8,uint32)" ], "saved_corpus_calls": 354, "selector": "0xdf65cad7", "share": 0.015105611265 }, { "comparison_key": "0xe393d86b", "function_names": [ "removeStream" ], "function_signatures": [ "removeStream(uint8,uint256)" ], "saved_corpus_calls": 353, "selector": "0xe393d86b", "share": 0.015062940047 }, { "comparison_key": "0xed0c06d6", "function_names": [ "removeAllSplits" ], "function_signatures": [ "removeAllSplits(uint8)" ], "saved_corpus_calls": 353, "selector": "0xed0c06d6", "share": 0.015062940047 }, { "comparison_key": "0x13a600d0", "function_names": [ "addStream" ], "function_signatures": [ "addStream(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 352, "selector": "0x13a600d0", "share": 0.015020268829 }, { "comparison_key": "0x8319b8db", "function_names": [ "receiveStreamsSplitAndCollectToSelf" ], "function_signatures": [ "receiveStreamsSplitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 352, "selector": "0x8319b8db", "share": 0.015020268829 }, { "comparison_key": "0x402f2eae", "function_names": [ "testSplitViewVsActual" ], "function_signatures": [ "testSplitViewVsActual(uint8)" ], "saved_corpus_calls": 350, "selector": "0x402f2eae", "share": 0.014934926392 }, { "comparison_key": "0x1c1e74b7", "function_names": [ "testSqueezableVsReceived" ], "function_signatures": [ "testSqueezableVsReceived(uint8)" ], "saved_corpus_calls": 349, "selector": "0x1c1e74b7", "share": 0.014892255174 }, { "comparison_key": "0x32dc4442", "function_names": [ "testSqueezeWithFullyHashedHistory" ], "function_signatures": [ "testSqueezeWithFullyHashedHistory(uint8,uint8)" ], "saved_corpus_calls": 349, "selector": "0x32dc4442", "share": 0.014892255174 }, { "comparison_key": "0x12dbc6ae", "function_names": [ "testCollectShouldNotRevert" ], "function_signatures": [ "testCollectShouldNotRevert(uint8,uint8)" ], "saved_corpus_calls": 347, "selector": "0x12dbc6ae", "share": 0.014806912737 }, { "comparison_key": "0x752315fa", "function_names": [ "testSetStreamsShouldNotRevert" ], "function_signatures": [ "testSetStreamsShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 346, "selector": "0x752315fa", "share": 0.014764241519 }, { "comparison_key": "0xfed02144", "function_names": [ "receiveStreams" ], "function_signatures": [ "receiveStreams(uint8,uint32)" ], "saved_corpus_calls": 346, "selector": "0xfed02144", "share": 0.014764241519 }, { "comparison_key": "0x0e8df0d4", "function_names": [ "testSqueeze" ], "function_signatures": [ "testSqueeze(uint8,uint8)" ], "saved_corpus_calls": 345, "selector": "0x0e8df0d4", "share": 0.014721570301 }, { "comparison_key": "0x92da0f7a", "function_names": [ "testSqueezeWithFuzzedHistoryShouldNotRevert" ], "function_signatures": [ "testSqueezeWithFuzzedHistoryShouldNotRevert(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 345, "selector": "0x92da0f7a", "share": 0.014721570301 }, { "comparison_key": "0x925d2ba2", "function_names": [ "testSetStreamBalanceShouldNotRevert" ], "function_signatures": [ "testSetStreamBalanceShouldNotRevert(uint8,int128)" ], "saved_corpus_calls": 344, "selector": "0x925d2ba2", "share": 0.014678899083 }, { "comparison_key": "0xf89367f3", "function_names": [ "testReceiversReceivedSplit" ], "function_signatures": [ "testReceiversReceivedSplit(uint8)" ], "saved_corpus_calls": 343, "selector": "0xf89367f3", "share": 0.014636227864 }, { "comparison_key": "0xfabaa91d", "function_names": [ "testSetStreamBalanceWithdrawAllShouldNotRevert" ], "function_signatures": [ "testSetStreamBalanceWithdrawAllShouldNotRevert(uint8)" ], "saved_corpus_calls": 342, "selector": "0xfabaa91d", "share": 0.014593556646 }, { "comparison_key": "0x3ba851ca", "function_names": [ "setStreamsWithClamping" ], "function_signatures": [ "setStreamsWithClamping(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 340, "selector": "0x3ba851ca", "share": 0.01450821421 }, { "comparison_key": "0xed2ce2d6", "function_names": [ "squeezeWithFuzzedHistory" ], "function_signatures": [ "squeezeWithFuzzedHistory(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 340, "selector": "0xed2ce2d6", "share": 0.01450821421 }, { "comparison_key": "0x47bc779b", "function_names": [ "testAddSplitsShouldNotRevert" ], "function_signatures": [ "testAddSplitsShouldNotRevert(uint8,uint8,uint32)" ], "saved_corpus_calls": 339, "selector": "0x47bc779b", "share": 0.014465542991 }, { "comparison_key": "0x79f368d0", "function_names": [ "squeezeAllSenders" ], "function_signatures": [ "squeezeAllSenders(uint8)" ], "saved_corpus_calls": 339, "selector": "0x79f368d0", "share": 0.014465542991 }, { "comparison_key": "0xf288ca3f", "function_names": [ "invariantWithdrawShouldAlwaysFail" ], "function_signatures": [ "invariantWithdrawShouldAlwaysFail(uint256)" ], "saved_corpus_calls": 337, "selector": "0xf288ca3f", "share": 0.014380200555 }, { "comparison_key": "0x7e089b12", "function_names": [ "testSqueezeTwice" ], "function_signatures": [ "testSqueezeTwice(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 334, "selector": "0x7e089b12", "share": 0.0142521869 }, { "comparison_key": "0x1ba3a23c", "function_names": [ "testReceiveStreamsViewConsistency" ], "function_signatures": [ "testReceiveStreamsViewConsistency(uint8,uint32)" ], "saved_corpus_calls": 332, "selector": "0x1ba3a23c", "share": 0.014166844463 }, { "comparison_key": "0x6cc8862a", "function_names": [ "testGiveShouldNotRevert" ], "function_signatures": [ "testGiveShouldNotRevert(uint8,uint8,uint128)" ], "saved_corpus_calls": 329, "selector": "0x6cc8862a", "share": 0.014038830809 }, { "comparison_key": "0x2e81ecdc", "function_names": [ "addSplitsReceiverWithClamping" ], "function_signatures": [ "addSplitsReceiverWithClamping(uint8,uint8,uint32)" ], "saved_corpus_calls": 327, "selector": "0x2e81ecdc", "share": 0.013953488372 }, { "comparison_key": "0xe31f637a", "function_names": [ "testCollect" ], "function_signatures": [ "testCollect(uint8,uint8)" ], "saved_corpus_calls": 327, "selector": "0xe31f637a", "share": 0.013953488372 }, { "comparison_key": "0xf56082ce", "function_names": [ "setStreamBalanceWithClamping" ], "function_signatures": [ "setStreamBalanceWithClamping(uint8,int128)" ], "saved_corpus_calls": 324, "selector": "0xf56082ce", "share": 0.013825474717 }, { "comparison_key": "0x662fe867", "function_names": [ "invariantAmtPerSecVsMinAmtPerSec" ], "function_signatures": [ "invariantAmtPerSecVsMinAmtPerSec(uint8,uint256)" ], "saved_corpus_calls": 323, "selector": "0x662fe867", "share": 0.013782803499 }, { "comparison_key": "0x0787f556", "function_names": [ "giveClampedAmount" ], "function_signatures": [ "giveClampedAmount(uint8,uint8,uint128)" ], "saved_corpus_calls": 321, "selector": "0x0787f556", "share": 0.013697461063 }, { "comparison_key": "0x30387686", "function_names": [ "testSplitShouldNotRevert" ], "function_signatures": [ "testSplitShouldNotRevert(uint8)" ], "saved_corpus_calls": 317, "selector": "0x30387686", "share": 0.013526776189 }, { "comparison_key": "0x3b0786f0", "function_names": [ "receiveStreamsAllCycles" ], "function_signatures": [ "receiveStreamsAllCycles(uint8)" ], "saved_corpus_calls": 317, "selector": "0x3b0786f0", "share": 0.013526776189 }, { "comparison_key": "0xec992a3f", "function_names": [ "testReceiveStreams" ], "function_signatures": [ "testReceiveStreams(uint8,uint32)" ], "saved_corpus_calls": 316, "selector": "0xec992a3f", "share": 0.013484104971 }, { "comparison_key": "0x81b0058c", "function_names": [ "testSqueezeViewVsActual" ], "function_signatures": [ "testSqueezeViewVsActual(uint8,uint8)" ], "saved_corpus_calls": 315, "selector": "0x81b0058c", "share": 0.013441433753 }, { "comparison_key": "0x611aa8c7", "function_names": [ "invariantAccountingVsTokenBalance" ], "function_signatures": [ "invariantAccountingVsTokenBalance()" ], "saved_corpus_calls": 314, "selector": "0x611aa8c7", "share": 0.013398762535 }, { "comparison_key": "0x462664e4", "function_names": [ "testRemoveStreamShouldNotRevert" ], "function_signatures": [ "testRemoveStreamShouldNotRevert(uint8,uint256)" ], "saved_corpus_calls": 313, "selector": "0x462664e4", "share": 0.013356091316 }, { "comparison_key": "0xec13b1ca", "function_names": [ "testAddStreamShouldNotRevert" ], "function_signatures": [ "testAddStreamShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 312, "selector": "0xec13b1ca", "share": 0.013313420098 }, { "comparison_key": "0x441581e7", "function_names": [ "setSplitsWithClamping" ], "function_signatures": [ "setSplitsWithClamping(uint8,uint8,uint32)" ], "saved_corpus_calls": 311, "selector": "0x441581e7", "share": 0.01327074888 }, { "comparison_key": "0x6fdf0fee", "function_names": [ "setStreamBalanceWithdrawAll" ], "function_signatures": [ "setStreamBalanceWithdrawAll(uint8)" ], "saved_corpus_calls": 310, "selector": "0x6fdf0fee", "share": 0.013228077662 }, { "comparison_key": "0x1a042ae7", "function_names": [ "invariant_canary" ], "function_signatures": [ "invariant_canary()" ], "saved_corpus_calls": 309, "selector": "0x1a042ae7", "share": 0.013185406443 }, { "comparison_key": "0xfa1227cd", "function_names": [ "testSetStreamBalance" ], "function_signatures": [ "testSetStreamBalance(uint8,int128)" ], "saved_corpus_calls": 309, "selector": "0xfa1227cd", "share": 0.013185406443 }, { "comparison_key": "0x2b95b898", "function_names": [ "invariantWithdrawAllTokensShouldNotRevert" ], "function_signatures": [ "invariantWithdrawAllTokensShouldNotRevert()" ], "saved_corpus_calls": 296, "selector": "0x2b95b898", "share": 0.012630680606 }, { "comparison_key": "0x21d76db7", "function_names": [ "clampSplitWeight" ], "function_signatures": [ "clampSplitWeight(uint32,uint32)" ], "saved_corpus_calls": 24, "selector": "0x21d76db7", "share": 0.001024109238 } ], "fuzzer": "echidna-release-2-3-3", "instances": 4, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 23435, "status": "available", "unavailable_instances": 0, "unique_call_identities": 68, "unique_selectors": 68 } ], "health_findings": [], "health_warnings": [], "instances": [ { "artifact_files": 60, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-ci-0ea96cb95290", "fuzzer_label": "echidna-ci-0ea96cb95290", "ignored_calls": 0, "instance_id": "i-009bad2812e218c33", "instance_label": "i-009bad2812e218c33-echidna-ci-0ea96cb95290", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 60, "processed_artifact_bytes": 3600422, "saved_corpus_calls": 6000, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 59, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-release-2-3-3", "fuzzer_label": "echidna-release-2-3-3", "ignored_calls": 0, "instance_id": "i-011b86b93a238540f", "instance_label": "i-011b86b93a238540f-echidna-release-2-3-3", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 59, "processed_artifact_bytes": 3502453, "saved_corpus_calls": 5876, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 50, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-ci-0ea96cb95290", "fuzzer_label": "echidna-ci-0ea96cb95290", "ignored_calls": 0, "instance_id": "i-01f493ec838d0e3a7", "instance_label": "i-01f493ec838d0e3a7-echidna-ci-0ea96cb95290", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 50, "processed_artifact_bytes": 3005997, "saved_corpus_calls": 5000, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 55, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-release-2-3-3", "fuzzer_label": "echidna-release-2-3-3", "ignored_calls": 0, "instance_id": "i-02aca4b5f6901fbd9", "instance_label": "i-02aca4b5f6901fbd9-echidna-release-2-3-3", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 55, "processed_artifact_bytes": 3287764, "saved_corpus_calls": 5465, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 59, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-pr-1615", "fuzzer_label": "echidna-pr-1615", "ignored_calls": 0, "instance_id": "i-03449577b362b9e59", "instance_label": "i-03449577b362b9e59-echidna-pr-1615", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 59, "processed_artifact_bytes": 3528843, "saved_corpus_calls": 5900, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 58, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-ci-0ea96cb95290", "fuzzer_label": "echidna-ci-0ea96cb95290", "ignored_calls": 0, "instance_id": "i-047c4f10e2d39cf15", "instance_label": "i-047c4f10e2d39cf15-echidna-ci-0ea96cb95290", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 58, "processed_artifact_bytes": 3489276, "saved_corpus_calls": 5800, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 59, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-release-2-3-3", "fuzzer_label": "echidna-release-2-3-3", "ignored_calls": 0, "instance_id": "i-04e38863745e42b21", "instance_label": "i-04e38863745e42b21-echidna-release-2-3-3", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 59, "processed_artifact_bytes": 3522567, "saved_corpus_calls": 5845, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 60, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-pr-1615", "fuzzer_label": "echidna-pr-1615", "ignored_calls": 0, "instance_id": "i-0698d8e133827c1a6", "instance_label": "i-0698d8e133827c1a6-echidna-pr-1615", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 60, "processed_artifact_bytes": 3616987, "saved_corpus_calls": 6000, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 59, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-pr-1615", "fuzzer_label": "echidna-pr-1615", "ignored_calls": 0, "instance_id": "i-070d312532027fb40", "instance_label": "i-070d312532027fb40-echidna-pr-1615", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 59, "processed_artifact_bytes": 3526685, "saved_corpus_calls": 5900, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 64, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-release-2-3-3", "fuzzer_label": "echidna-release-2-3-3", "ignored_calls": 0, "instance_id": "i-0a9c46a940e0908de", "instance_label": "i-0a9c46a940e0908de-echidna-release-2-3-3", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 64, "processed_artifact_bytes": 3752338, "saved_corpus_calls": 6249, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 56, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-pr-1615", "fuzzer_label": "echidna-pr-1615", "ignored_calls": 0, "instance_id": "i-0bb1d5fea90a59762", "instance_label": "i-0bb1d5fea90a59762-echidna-pr-1615", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 56, "processed_artifact_bytes": 3362417, "saved_corpus_calls": 5600, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 57, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-ci-0ea96cb95290", "fuzzer_label": "echidna-ci-0ea96cb95290", "ignored_calls": 0, "instance_id": "i-0d3c5d0293e2d6931", "instance_label": "i-0d3c5d0293e2d6931-echidna-ci-0ea96cb95290", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 57, "processed_artifact_bytes": 3429113, "saved_corpus_calls": 5700, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] } ], "limitations": [ "No expected selector set was available: the peer heuristic requires corroboration from every available instance in at least two fuzzer families" ], "measurement": "Counts are occurrences in unique saved corpus sequences, not runtime execution frequencies", "run_id": "gh-34133490245-1", "schema_version": 1 }