{ "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": "0x19ca05b3", "function_names": [ "testSplittableAfterSplit" ], "function_signatures": [ "testSplittableAfterSplit(uint8)" ], "saved_corpus_calls": 400, "selector": "0x19ca05b3", "share": 0.018181818182 }, { "comparison_key": "0x81b0058c", "function_names": [ "testSqueezeViewVsActual" ], "function_signatures": [ "testSqueezeViewVsActual(uint8,uint8)" ], "saved_corpus_calls": 383, "selector": "0x81b0058c", "share": 0.017409090909 }, { "comparison_key": "0x45b9b0ba", "function_names": [ "testReceiveStreamsViewVsActual" ], "function_signatures": [ "testReceiveStreamsViewVsActual(uint8,uint32)" ], "saved_corpus_calls": 376, "selector": "0x45b9b0ba", "share": 0.017090909091 }, { "comparison_key": "0xf288ca3f", "function_names": [ "invariantWithdrawShouldAlwaysFail" ], "function_signatures": [ "invariantWithdrawShouldAlwaysFail(uint256)" ], "saved_corpus_calls": 373, "selector": "0xf288ca3f", "share": 0.016954545455 }, { "comparison_key": "0x2e0c28fb", "function_names": [ "setMaxEndHints" ], "function_signatures": [ "setMaxEndHints(uint32,uint32)" ], "saved_corpus_calls": 371, "selector": "0x2e0c28fb", "share": 0.016863636364 }, { "comparison_key": "0x752315fa", "function_names": [ "testSetStreamsShouldNotRevert" ], "function_signatures": [ "testSetStreamsShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 369, "selector": "0x752315fa", "share": 0.016772727273 }, { "comparison_key": "0xe393d86b", "function_names": [ "removeStream" ], "function_signatures": [ "removeStream(uint8,uint256)" ], "saved_corpus_calls": 368, "selector": "0xe393d86b", "share": 0.016727272727 }, { "comparison_key": "0x218be192", "function_names": [ "invariantSumAmtDeltaIsZero" ], "function_signatures": [ "invariantSumAmtDeltaIsZero(uint8)" ], "saved_corpus_calls": 362, "selector": "0x218be192", "share": 0.016454545455 }, { "comparison_key": "0xbcb054fd", "function_names": [ "addStreamImmediatelySqueezable" ], "function_signatures": [ "addStreamImmediatelySqueezable(uint8,uint8,uint160)" ], "saved_corpus_calls": 360, "selector": "0xbcb054fd", "share": 0.016363636364 }, { "comparison_key": "0xf89367f3", "function_names": [ "testReceiversReceivedSplit" ], "function_signatures": [ "testReceiversReceivedSplit(uint8)" ], "saved_corpus_calls": 358, "selector": "0xf89367f3", "share": 0.016272727273 }, { "comparison_key": "0x1a3ed582", "function_names": [ "setStreams" ], "function_signatures": [ "setStreams(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 357, "selector": "0x1a3ed582", "share": 0.016227272727 }, { "comparison_key": "0x93191ccc", "function_names": [ "invariantWithdrawAllTokens" ], "function_signatures": [ "invariantWithdrawAllTokens()" ], "saved_corpus_calls": 357, "selector": "0x93191ccc", "share": 0.016227272727 }, { "comparison_key": "0x1ba3a23c", "function_names": [ "testReceiveStreamsViewConsistency" ], "function_signatures": [ "testReceiveStreamsViewConsistency(uint8,uint32)" ], "saved_corpus_calls": 356, "selector": "0x1ba3a23c", "share": 0.016181818182 }, { "comparison_key": "0x12a17262", "function_names": [ "squeezeAllAndReceiveAndSplitAndCollectToSelf" ], "function_signatures": [ "squeezeAllAndReceiveAndSplitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 352, "selector": "0x12a17262", "share": 0.016 }, { "comparison_key": "0xdf65cad7", "function_names": [ "testSetSplitsShouldNotRevert" ], "function_signatures": [ "testSetSplitsShouldNotRevert(uint8,uint8,uint32)" ], "saved_corpus_calls": 352, "selector": "0xdf65cad7", "share": 0.016 }, { "comparison_key": "0x611aa8c7", "function_names": [ "invariantAccountingVsTokenBalance" ], "function_signatures": [ "invariantAccountingVsTokenBalance()" ], "saved_corpus_calls": 351, "selector": "0x611aa8c7", "share": 0.015954545455 }, { "comparison_key": "0x8319b8db", "function_names": [ "receiveStreamsSplitAndCollectToSelf" ], "function_signatures": [ "receiveStreamsSplitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 351, "selector": "0x8319b8db", "share": 0.015954545455 }, { "comparison_key": "0x13a600d0", "function_names": [ "addStream" ], "function_signatures": [ "addStream(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 345, "selector": "0x13a600d0", "share": 0.015681818182 }, { "comparison_key": "0x5bf58259", "function_names": [ "collectToSelf" ], "function_signatures": [ "collectToSelf(uint8)" ], "saved_corpus_calls": 345, "selector": "0x5bf58259", "share": 0.015681818182 }, { "comparison_key": "0xe31f637a", "function_names": [ "testCollect" ], "function_signatures": [ "testCollect(uint8,uint8)" ], "saved_corpus_calls": 345, "selector": "0xe31f637a", "share": 0.015681818182 }, { "comparison_key": "0xf56082ce", "function_names": [ "setStreamBalanceWithClamping" ], "function_signatures": [ "setStreamBalanceWithClamping(uint8,int128)" ], "saved_corpus_calls": 344, "selector": "0xf56082ce", "share": 0.015636363636 }, { "comparison_key": "0x1a042ae7", "function_names": [ "invariant_canary" ], "function_signatures": [ "invariant_canary()" ], "saved_corpus_calls": 343, "selector": "0x1a042ae7", "share": 0.015590909091 }, { "comparison_key": "0x3bfbc3bd", "function_names": [ "setStreamBalance" ], "function_signatures": [ "setStreamBalance(uint8,int128)" ], "saved_corpus_calls": 342, "selector": "0x3bfbc3bd", "share": 0.015545454545 }, { "comparison_key": "0xfa1227cd", "function_names": [ "testSetStreamBalance" ], "function_signatures": [ "testSetStreamBalance(uint8,int128)" ], "saved_corpus_calls": 342, "selector": "0xfa1227cd", "share": 0.015545454545 }, { "comparison_key": "0xfed02144", "function_names": [ "receiveStreams" ], "function_signatures": [ "receiveStreams(uint8,uint32)" ], "saved_corpus_calls": 342, "selector": "0xfed02144", "share": 0.015545454545 }, { "comparison_key": "0xfabaa91d", "function_names": [ "testSetStreamBalanceWithdrawAllShouldNotRevert" ], "function_signatures": [ "testSetStreamBalanceWithdrawAllShouldNotRevert(uint8)" ], "saved_corpus_calls": 341, "selector": "0xfabaa91d", "share": 0.0155 }, { "comparison_key": "0x462664e4", "function_names": [ "testRemoveStreamShouldNotRevert" ], "function_signatures": [ "testRemoveStreamShouldNotRevert(uint8,uint256)" ], "saved_corpus_calls": 337, "selector": "0x462664e4", "share": 0.015318181818 }, { "comparison_key": "0xb777536f", "function_names": [ "squeezeToSelf" ], "function_signatures": [ "squeezeToSelf(uint8)" ], "saved_corpus_calls": 337, "selector": "0xb777536f", "share": 0.015318181818 }, { "comparison_key": "0x662fe867", "function_names": [ "invariantAmtPerSecVsMinAmtPerSec" ], "function_signatures": [ "invariantAmtPerSecVsMinAmtPerSec(uint8,uint256)" ], "saved_corpus_calls": 334, "selector": "0x662fe867", "share": 0.015181818182 }, { "comparison_key": "0x925d2ba2", "function_names": [ "testSetStreamBalanceShouldNotRevert" ], "function_signatures": [ "testSetStreamBalanceShouldNotRevert(uint8,int128)" ], "saved_corpus_calls": 334, "selector": "0x925d2ba2", "share": 0.015181818182 }, { "comparison_key": "0x0787f556", "function_names": [ "giveClampedAmount" ], "function_signatures": [ "giveClampedAmount(uint8,uint8,uint128)" ], "saved_corpus_calls": 330, "selector": "0x0787f556", "share": 0.015 }, { "comparison_key": "0x0e8df0d4", "function_names": [ "testSqueeze" ], "function_signatures": [ "testSqueeze(uint8,uint8)" ], "saved_corpus_calls": 326, "selector": "0x0e8df0d4", "share": 0.014818181818 }, { "comparison_key": "0x30387686", "function_names": [ "testSplitShouldNotRevert" ], "function_signatures": [ "testSplitShouldNotRevert(uint8)" ], "saved_corpus_calls": 326, "selector": "0x30387686", "share": 0.014818181818 }, { "comparison_key": "0xec13b1ca", "function_names": [ "testAddStreamShouldNotRevert" ], "function_signatures": [ "testAddStreamShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 324, "selector": "0xec13b1ca", "share": 0.014727272727 }, { "comparison_key": "0x6cc8862a", "function_names": [ "testGiveShouldNotRevert" ], "function_signatures": [ "testGiveShouldNotRevert(uint8,uint8,uint128)" ], "saved_corpus_calls": 323, "selector": "0x6cc8862a", "share": 0.014681818182 }, { "comparison_key": "0x92da0f7a", "function_names": [ "testSqueezeWithFuzzedHistoryShouldNotRevert" ], "function_signatures": [ "testSqueezeWithFuzzedHistoryShouldNotRevert(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 320, "selector": "0x92da0f7a", "share": 0.014545454545 }, { "comparison_key": "0xe2b3d196", "function_names": [ "splitAndCollectToSelf" ], "function_signatures": [ "splitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 318, "selector": "0xe2b3d196", "share": 0.014454545455 }, { "comparison_key": "0x4e0ad60b", "function_names": [ "testSqueezableAmountCantBeWithdrawn" ], "function_signatures": [ "testSqueezableAmountCantBeWithdrawn(uint8,uint8)" ], "saved_corpus_calls": 316, "selector": "0x4e0ad60b", "share": 0.014363636364 }, { "comparison_key": "0x0325f4e1", "function_names": [ "addSplitsReceiver" ], "function_signatures": [ "addSplitsReceiver(uint8,uint8,uint32)" ], "saved_corpus_calls": 314, "selector": "0x0325f4e1", "share": 0.014272727273 }, { "comparison_key": "0x1c1e74b7", "function_names": [ "testSqueezableVsReceived" ], "function_signatures": [ "testSqueezableVsReceived(uint8)" ], "saved_corpus_calls": 314, "selector": "0x1c1e74b7", "share": 0.014272727273 }, { "comparison_key": "0x2b95b898", "function_names": [ "invariantWithdrawAllTokensShouldNotRevert" ], "function_signatures": [ "invariantWithdrawAllTokensShouldNotRevert()" ], "saved_corpus_calls": 313, "selector": "0x2b95b898", "share": 0.014227272727 }, { "comparison_key": "0x441581e7", "function_names": [ "setSplitsWithClamping" ], "function_signatures": [ "setSplitsWithClamping(uint8,uint8,uint32)" ], "saved_corpus_calls": 313, "selector": "0x441581e7", "share": 0.014227272727 }, { "comparison_key": "0x8d8b7f3b", "function_names": [ "setSplits" ], "function_signatures": [ "setSplits(uint8,uint8,uint32)" ], "saved_corpus_calls": 313, "selector": "0x8d8b7f3b", "share": 0.014227272727 }, { "comparison_key": "0xcf2634be", "function_names": [ "squeezeWithDefaultHistory" ], "function_signatures": [ "squeezeWithDefaultHistory(uint8,uint8)" ], "saved_corpus_calls": 312, "selector": "0xcf2634be", "share": 0.014181818182 }, { "comparison_key": "0xb89fedbc", "function_names": [ "addStreamWithClamping" ], "function_signatures": [ "addStreamWithClamping(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 311, "selector": "0xb89fedbc", "share": 0.014136363636 }, { "comparison_key": "0x55072e3e", "function_names": [ "collect" ], "function_signatures": [ "collect(uint8,uint8)" ], "saved_corpus_calls": 309, "selector": "0x55072e3e", "share": 0.014045454545 }, { "comparison_key": "0x79f368d0", "function_names": [ "squeezeAllSenders" ], "function_signatures": [ "squeezeAllSenders(uint8)" ], "saved_corpus_calls": 309, "selector": "0x79f368d0", "share": 0.014045454545 }, { "comparison_key": "0x1ef44aed", "function_names": [ "split" ], "function_signatures": [ "split(uint8)" ], "saved_corpus_calls": 308, "selector": "0x1ef44aed", "share": 0.014 }, { "comparison_key": "0x3ba851ca", "function_names": [ "setStreamsWithClamping" ], "function_signatures": [ "setStreamsWithClamping(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 308, "selector": "0x3ba851ca", "share": 0.014 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 308, "selector": "0xf24a44c9", "share": 0.014 }, { "comparison_key": "0x424df745", "function_names": [ "testCollectableAfterSplit" ], "function_signatures": [ "testCollectableAfterSplit(uint8)" ], "saved_corpus_calls": 307, "selector": "0x424df745", "share": 0.013954545455 }, { "comparison_key": "0x2e81ecdc", "function_names": [ "addSplitsReceiverWithClamping" ], "function_signatures": [ "addSplitsReceiverWithClamping(uint8,uint8,uint32)" ], "saved_corpus_calls": 306, "selector": "0x2e81ecdc", "share": 0.013909090909 }, { "comparison_key": "0x68c69e1c", "function_names": [ "testSqueezeWithDefaultHistoryShouldNotRevert" ], "function_signatures": [ "testSqueezeWithDefaultHistoryShouldNotRevert(uint8,uint8)" ], "saved_corpus_calls": 305, "selector": "0x68c69e1c", "share": 0.013863636364 }, { "comparison_key": "0x7e089b12", "function_names": [ "testSqueezeTwice" ], "function_signatures": [ "testSqueezeTwice(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 305, "selector": "0x7e089b12", "share": 0.013863636364 }, { "comparison_key": "0x3b0786f0", "function_names": [ "receiveStreamsAllCycles" ], "function_signatures": [ "receiveStreamsAllCycles(uint8)" ], "saved_corpus_calls": 302, "selector": "0x3b0786f0", "share": 0.013727272727 }, { "comparison_key": "0x47bc779b", "function_names": [ "testAddSplitsShouldNotRevert" ], "function_signatures": [ "testAddSplitsShouldNotRevert(uint8,uint8,uint32)" ], "saved_corpus_calls": 300, "selector": "0x47bc779b", "share": 0.013636363636 }, { "comparison_key": "0xed2ce2d6", "function_names": [ "squeezeWithFuzzedHistory" ], "function_signatures": [ "squeezeWithFuzzedHistory(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 299, "selector": "0xed2ce2d6", "share": 0.013590909091 }, { "comparison_key": "0x01b73ab9", "function_names": [ "testBalanceAtInFuture" ], "function_signatures": [ "testBalanceAtInFuture(uint8,uint8,uint160)" ], "saved_corpus_calls": 297, "selector": "0x01b73ab9", "share": 0.0135 }, { "comparison_key": "0x402f2eae", "function_names": [ "testSplitViewVsActual" ], "function_signatures": [ "testSplitViewVsActual(uint8)" ], "saved_corpus_calls": 296, "selector": "0x402f2eae", "share": 0.013454545455 }, { "comparison_key": "0x82ce0f6d", "function_names": [ "testReceiveStreamsShouldNotRevert" ], "function_signatures": [ "testReceiveStreamsShouldNotRevert(uint8)" ], "saved_corpus_calls": 296, "selector": "0x82ce0f6d", "share": 0.013454545455 }, { "comparison_key": "0x32dc4442", "function_names": [ "testSqueezeWithFullyHashedHistory" ], "function_signatures": [ "testSqueezeWithFullyHashedHistory(uint8,uint8)" ], "saved_corpus_calls": 294, "selector": "0x32dc4442", "share": 0.013363636364 }, { "comparison_key": "0xed0c06d6", "function_names": [ "removeAllSplits" ], "function_signatures": [ "removeAllSplits(uint8)" ], "saved_corpus_calls": 291, "selector": "0xed0c06d6", "share": 0.013227272727 }, { "comparison_key": "0x6fdf0fee", "function_names": [ "setStreamBalanceWithdrawAll" ], "function_signatures": [ "setStreamBalanceWithdrawAll(uint8)" ], "saved_corpus_calls": 289, "selector": "0x6fdf0fee", "share": 0.013136363636 }, { "comparison_key": "0x7a81c2d8", "function_names": [ "testSqueezableAmountCantBeUndone" ], "function_signatures": [ "testSqueezableAmountCantBeUndone(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 285, "selector": "0x7a81c2d8", "share": 0.012954545455 }, { "comparison_key": "0xcdb89fe8", "function_names": [ "give" ], "function_signatures": [ "give(uint8,uint8,uint128)" ], "saved_corpus_calls": 285, "selector": "0xcdb89fe8", "share": 0.012954545455 }, { "comparison_key": "0x12dbc6ae", "function_names": [ "testCollectShouldNotRevert" ], "function_signatures": [ "testCollectShouldNotRevert(uint8,uint8)" ], "saved_corpus_calls": 284, "selector": "0x12dbc6ae", "share": 0.012909090909 }, { "comparison_key": "0xec992a3f", "function_names": [ "testReceiveStreams" ], "function_signatures": [ "testReceiveStreams(uint8,uint32)" ], "saved_corpus_calls": 284, "selector": "0xec992a3f", "share": 0.012909090909 }, { "comparison_key": "0x21d76db7", "function_names": [ "clampSplitWeight" ], "function_signatures": [ "clampSplitWeight(uint32,uint32)" ], "saved_corpus_calls": 33, "selector": "0x21d76db7", "share": 0.0015 } ], "fuzzer": "echidna-ci-0ea96cb95290", "instances": 4, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 22000, "status": "available", "unavailable_instances": 0, "unique_call_identities": 68, "unique_selectors": 68 }, { "available_instances": 4, "distribution": [ { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 415, "selector": "0xf24a44c9", "share": 0.017659574468 }, { "comparison_key": "0xb777536f", "function_names": [ "squeezeToSelf" ], "function_signatures": [ "squeezeToSelf(uint8)" ], "saved_corpus_calls": 410, "selector": "0xb777536f", "share": 0.017446808511 }, { "comparison_key": "0x12a17262", "function_names": [ "squeezeAllAndReceiveAndSplitAndCollectToSelf" ], "function_signatures": [ "squeezeAllAndReceiveAndSplitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 399, "selector": "0x12a17262", "share": 0.016978723404 }, { "comparison_key": "0xb89fedbc", "function_names": [ "addStreamWithClamping" ], "function_signatures": [ "addStreamWithClamping(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 398, "selector": "0xb89fedbc", "share": 0.016936170213 }, { "comparison_key": "0xe31f637a", "function_names": [ "testCollect" ], "function_signatures": [ "testCollect(uint8,uint8)" ], "saved_corpus_calls": 394, "selector": "0xe31f637a", "share": 0.016765957447 }, { "comparison_key": "0x1a3ed582", "function_names": [ "setStreams" ], "function_signatures": [ "setStreams(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 393, "selector": "0x1a3ed582", "share": 0.016723404255 }, { "comparison_key": "0x1ba3a23c", "function_names": [ "testReceiveStreamsViewConsistency" ], "function_signatures": [ "testReceiveStreamsViewConsistency(uint8,uint32)" ], "saved_corpus_calls": 393, "selector": "0x1ba3a23c", "share": 0.016723404255 }, { "comparison_key": "0x5bf58259", "function_names": [ "collectToSelf" ], "function_signatures": [ "collectToSelf(uint8)" ], "saved_corpus_calls": 391, "selector": "0x5bf58259", "share": 0.016638297872 }, { "comparison_key": "0xed0c06d6", "function_names": [ "removeAllSplits" ], "function_signatures": [ "removeAllSplits(uint8)" ], "saved_corpus_calls": 389, "selector": "0xed0c06d6", "share": 0.016553191489 }, { "comparison_key": "0x925d2ba2", "function_names": [ "testSetStreamBalanceShouldNotRevert" ], "function_signatures": [ "testSetStreamBalanceShouldNotRevert(uint8,int128)" ], "saved_corpus_calls": 388, "selector": "0x925d2ba2", "share": 0.016510638298 }, { "comparison_key": "0xf56082ce", "function_names": [ "setStreamBalanceWithClamping" ], "function_signatures": [ "setStreamBalanceWithClamping(uint8,int128)" ], "saved_corpus_calls": 385, "selector": "0xf56082ce", "share": 0.016382978723 }, { "comparison_key": "0x92da0f7a", "function_names": [ "testSqueezeWithFuzzedHistoryShouldNotRevert" ], "function_signatures": [ "testSqueezeWithFuzzedHistoryShouldNotRevert(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 383, "selector": "0x92da0f7a", "share": 0.01629787234 }, { "comparison_key": "0x0325f4e1", "function_names": [ "addSplitsReceiver" ], "function_signatures": [ "addSplitsReceiver(uint8,uint8,uint32)" ], "saved_corpus_calls": 381, "selector": "0x0325f4e1", "share": 0.016212765957 }, { "comparison_key": "0xe393d86b", "function_names": [ "removeStream" ], "function_signatures": [ "removeStream(uint8,uint256)" ], "saved_corpus_calls": 380, "selector": "0xe393d86b", "share": 0.016170212766 }, { "comparison_key": "0x8d8b7f3b", "function_names": [ "setSplits" ], "function_signatures": [ "setSplits(uint8,uint8,uint32)" ], "saved_corpus_calls": 378, "selector": "0x8d8b7f3b", "share": 0.016085106383 }, { "comparison_key": "0x402f2eae", "function_names": [ "testSplitViewVsActual" ], "function_signatures": [ "testSplitViewVsActual(uint8)" ], "saved_corpus_calls": 377, "selector": "0x402f2eae", "share": 0.016042553191 }, { "comparison_key": "0x82ce0f6d", "function_names": [ "testReceiveStreamsShouldNotRevert" ], "function_signatures": [ "testReceiveStreamsShouldNotRevert(uint8)" ], "saved_corpus_calls": 377, "selector": "0x82ce0f6d", "share": 0.016042553191 }, { "comparison_key": "0xdf65cad7", "function_names": [ "testSetSplitsShouldNotRevert" ], "function_signatures": [ "testSetSplitsShouldNotRevert(uint8,uint8,uint32)" ], "saved_corpus_calls": 374, "selector": "0xdf65cad7", "share": 0.015914893617 }, { "comparison_key": "0x3bfbc3bd", "function_names": [ "setStreamBalance" ], "function_signatures": [ "setStreamBalance(uint8,int128)" ], "saved_corpus_calls": 371, "selector": "0x3bfbc3bd", "share": 0.015787234043 }, { "comparison_key": "0x7a81c2d8", "function_names": [ "testSqueezableAmountCantBeUndone" ], "function_signatures": [ "testSqueezableAmountCantBeUndone(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 371, "selector": "0x7a81c2d8", "share": 0.015787234043 }, { "comparison_key": "0x2e81ecdc", "function_names": [ "addSplitsReceiverWithClamping" ], "function_signatures": [ "addSplitsReceiverWithClamping(uint8,uint8,uint32)" ], "saved_corpus_calls": 366, "selector": "0x2e81ecdc", "share": 0.015574468085 }, { "comparison_key": "0xfa1227cd", "function_names": [ "testSetStreamBalance" ], "function_signatures": [ "testSetStreamBalance(uint8,int128)" ], "saved_corpus_calls": 366, "selector": "0xfa1227cd", "share": 0.015574468085 }, { "comparison_key": "0x13a600d0", "function_names": [ "addStream" ], "function_signatures": [ "addStream(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 365, "selector": "0x13a600d0", "share": 0.015531914894 }, { "comparison_key": "0x6cc8862a", "function_names": [ "testGiveShouldNotRevert" ], "function_signatures": [ "testGiveShouldNotRevert(uint8,uint8,uint128)" ], "saved_corpus_calls": 365, "selector": "0x6cc8862a", "share": 0.015531914894 }, { "comparison_key": "0x68c69e1c", "function_names": [ "testSqueezeWithDefaultHistoryShouldNotRevert" ], "function_signatures": [ "testSqueezeWithDefaultHistoryShouldNotRevert(uint8,uint8)" ], "saved_corpus_calls": 364, "selector": "0x68c69e1c", "share": 0.015489361702 }, { "comparison_key": "0x55072e3e", "function_names": [ "collect" ], "function_signatures": [ "collect(uint8,uint8)" ], "saved_corpus_calls": 362, "selector": "0x55072e3e", "share": 0.015404255319 }, { "comparison_key": "0xec13b1ca", "function_names": [ "testAddStreamShouldNotRevert" ], "function_signatures": [ "testAddStreamShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 362, "selector": "0xec13b1ca", "share": 0.015404255319 }, { "comparison_key": "0x81b0058c", "function_names": [ "testSqueezeViewVsActual" ], "function_signatures": [ "testSqueezeViewVsActual(uint8,uint8)" ], "saved_corpus_calls": 358, "selector": "0x81b0058c", "share": 0.015234042553 }, { "comparison_key": "0x3b0786f0", "function_names": [ "receiveStreamsAllCycles" ], "function_signatures": [ "receiveStreamsAllCycles(uint8)" ], "saved_corpus_calls": 357, "selector": "0x3b0786f0", "share": 0.015191489362 }, { "comparison_key": "0xec992a3f", "function_names": [ "testReceiveStreams" ], "function_signatures": [ "testReceiveStreams(uint8,uint32)" ], "saved_corpus_calls": 356, "selector": "0xec992a3f", "share": 0.01514893617 }, { "comparison_key": "0x0e8df0d4", "function_names": [ "testSqueeze" ], "function_signatures": [ "testSqueeze(uint8,uint8)" ], "saved_corpus_calls": 352, "selector": "0x0e8df0d4", "share": 0.014978723404 }, { "comparison_key": "0x3ba851ca", "function_names": [ "setStreamsWithClamping" ], "function_signatures": [ "setStreamsWithClamping(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 352, "selector": "0x3ba851ca", "share": 0.014978723404 }, { "comparison_key": "0xe2b3d196", "function_names": [ "splitAndCollectToSelf" ], "function_signatures": [ "splitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 349, "selector": "0xe2b3d196", "share": 0.01485106383 }, { "comparison_key": "0x1ef44aed", "function_names": [ "split" ], "function_signatures": [ "split(uint8)" ], "saved_corpus_calls": 348, "selector": "0x1ef44aed", "share": 0.014808510638 }, { "comparison_key": "0xbcb054fd", "function_names": [ "addStreamImmediatelySqueezable" ], "function_signatures": [ "addStreamImmediatelySqueezable(uint8,uint8,uint160)" ], "saved_corpus_calls": 345, "selector": "0xbcb054fd", "share": 0.014680851064 }, { "comparison_key": "0xf89367f3", "function_names": [ "testReceiversReceivedSplit" ], "function_signatures": [ "testReceiversReceivedSplit(uint8)" ], "saved_corpus_calls": 344, "selector": "0xf89367f3", "share": 0.014638297872 }, { "comparison_key": "0x47bc779b", "function_names": [ "testAddSplitsShouldNotRevert" ], "function_signatures": [ "testAddSplitsShouldNotRevert(uint8,uint8,uint32)" ], "saved_corpus_calls": 343, "selector": "0x47bc779b", "share": 0.014595744681 }, { "comparison_key": "0x424df745", "function_names": [ "testCollectableAfterSplit" ], "function_signatures": [ "testCollectableAfterSplit(uint8)" ], "saved_corpus_calls": 342, "selector": "0x424df745", "share": 0.014553191489 }, { "comparison_key": "0x611aa8c7", "function_names": [ "invariantAccountingVsTokenBalance" ], "function_signatures": [ "invariantAccountingVsTokenBalance()" ], "saved_corpus_calls": 341, "selector": "0x611aa8c7", "share": 0.014510638298 }, { "comparison_key": "0xfabaa91d", "function_names": [ "testSetStreamBalanceWithdrawAllShouldNotRevert" ], "function_signatures": [ "testSetStreamBalanceWithdrawAllShouldNotRevert(uint8)" ], "saved_corpus_calls": 340, "selector": "0xfabaa91d", "share": 0.014468085106 }, { "comparison_key": "0x32dc4442", "function_names": [ "testSqueezeWithFullyHashedHistory" ], "function_signatures": [ "testSqueezeWithFullyHashedHistory(uint8,uint8)" ], "saved_corpus_calls": 339, "selector": "0x32dc4442", "share": 0.014425531915 }, { "comparison_key": "0x218be192", "function_names": [ "invariantSumAmtDeltaIsZero" ], "function_signatures": [ "invariantSumAmtDeltaIsZero(uint8)" ], "saved_corpus_calls": 338, "selector": "0x218be192", "share": 0.014382978723 }, { "comparison_key": "0xfed02144", "function_names": [ "receiveStreams" ], "function_signatures": [ "receiveStreams(uint8,uint32)" ], "saved_corpus_calls": 337, "selector": "0xfed02144", "share": 0.014340425532 }, { "comparison_key": "0x7e089b12", "function_names": [ "testSqueezeTwice" ], "function_signatures": [ "testSqueezeTwice(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 336, "selector": "0x7e089b12", "share": 0.01429787234 }, { "comparison_key": "0x752315fa", "function_names": [ "testSetStreamsShouldNotRevert" ], "function_signatures": [ "testSetStreamsShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 335, "selector": "0x752315fa", "share": 0.014255319149 }, { "comparison_key": "0x19ca05b3", "function_names": [ "testSplittableAfterSplit" ], "function_signatures": [ "testSplittableAfterSplit(uint8)" ], "saved_corpus_calls": 332, "selector": "0x19ca05b3", "share": 0.014127659574 }, { "comparison_key": "0x1a042ae7", "function_names": [ "invariant_canary" ], "function_signatures": [ "invariant_canary()" ], "saved_corpus_calls": 332, "selector": "0x1a042ae7", "share": 0.014127659574 }, { "comparison_key": "0x6fdf0fee", "function_names": [ "setStreamBalanceWithdrawAll" ], "function_signatures": [ "setStreamBalanceWithdrawAll(uint8)" ], "saved_corpus_calls": 330, "selector": "0x6fdf0fee", "share": 0.014042553191 }, { "comparison_key": "0x93191ccc", "function_names": [ "invariantWithdrawAllTokens" ], "function_signatures": [ "invariantWithdrawAllTokens()" ], "saved_corpus_calls": 330, "selector": "0x93191ccc", "share": 0.014042553191 }, { "comparison_key": "0x462664e4", "function_names": [ "testRemoveStreamShouldNotRevert" ], "function_signatures": [ "testRemoveStreamShouldNotRevert(uint8,uint256)" ], "saved_corpus_calls": 326, "selector": "0x462664e4", "share": 0.013872340426 }, { "comparison_key": "0xcf2634be", "function_names": [ "squeezeWithDefaultHistory" ], "function_signatures": [ "squeezeWithDefaultHistory(uint8,uint8)" ], "saved_corpus_calls": 325, "selector": "0xcf2634be", "share": 0.013829787234 }, { "comparison_key": "0x12dbc6ae", "function_names": [ "testCollectShouldNotRevert" ], "function_signatures": [ "testCollectShouldNotRevert(uint8,uint8)" ], "saved_corpus_calls": 324, "selector": "0x12dbc6ae", "share": 0.013787234043 }, { "comparison_key": "0x30387686", "function_names": [ "testSplitShouldNotRevert" ], "function_signatures": [ "testSplitShouldNotRevert(uint8)" ], "saved_corpus_calls": 323, "selector": "0x30387686", "share": 0.013744680851 }, { "comparison_key": "0x441581e7", "function_names": [ "setSplitsWithClamping" ], "function_signatures": [ "setSplitsWithClamping(uint8,uint8,uint32)" ], "saved_corpus_calls": 323, "selector": "0x441581e7", "share": 0.013744680851 }, { "comparison_key": "0x8319b8db", "function_names": [ "receiveStreamsSplitAndCollectToSelf" ], "function_signatures": [ "receiveStreamsSplitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 322, "selector": "0x8319b8db", "share": 0.01370212766 }, { "comparison_key": "0x1c1e74b7", "function_names": [ "testSqueezableVsReceived" ], "function_signatures": [ "testSqueezableVsReceived(uint8)" ], "saved_corpus_calls": 321, "selector": "0x1c1e74b7", "share": 0.013659574468 }, { "comparison_key": "0x2b95b898", "function_names": [ "invariantWithdrawAllTokensShouldNotRevert" ], "function_signatures": [ "invariantWithdrawAllTokensShouldNotRevert()" ], "saved_corpus_calls": 315, "selector": "0x2b95b898", "share": 0.013404255319 }, { "comparison_key": "0xed2ce2d6", "function_names": [ "squeezeWithFuzzedHistory" ], "function_signatures": [ "squeezeWithFuzzedHistory(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 314, "selector": "0xed2ce2d6", "share": 0.013361702128 }, { "comparison_key": "0x0787f556", "function_names": [ "giveClampedAmount" ], "function_signatures": [ "giveClampedAmount(uint8,uint8,uint128)" ], "saved_corpus_calls": 313, "selector": "0x0787f556", "share": 0.013319148936 }, { "comparison_key": "0xf288ca3f", "function_names": [ "invariantWithdrawShouldAlwaysFail" ], "function_signatures": [ "invariantWithdrawShouldAlwaysFail(uint256)" ], "saved_corpus_calls": 313, "selector": "0xf288ca3f", "share": 0.013319148936 }, { "comparison_key": "0x662fe867", "function_names": [ "invariantAmtPerSecVsMinAmtPerSec" ], "function_signatures": [ "invariantAmtPerSecVsMinAmtPerSec(uint8,uint256)" ], "saved_corpus_calls": 310, "selector": "0x662fe867", "share": 0.013191489362 }, { "comparison_key": "0x79f368d0", "function_names": [ "squeezeAllSenders" ], "function_signatures": [ "squeezeAllSenders(uint8)" ], "saved_corpus_calls": 309, "selector": "0x79f368d0", "share": 0.01314893617 }, { "comparison_key": "0x45b9b0ba", "function_names": [ "testReceiveStreamsViewVsActual" ], "function_signatures": [ "testReceiveStreamsViewVsActual(uint8,uint32)" ], "saved_corpus_calls": 302, "selector": "0x45b9b0ba", "share": 0.01285106383 }, { "comparison_key": "0x4e0ad60b", "function_names": [ "testSqueezableAmountCantBeWithdrawn" ], "function_signatures": [ "testSqueezableAmountCantBeWithdrawn(uint8,uint8)" ], "saved_corpus_calls": 302, "selector": "0x4e0ad60b", "share": 0.01285106383 }, { "comparison_key": "0x01b73ab9", "function_names": [ "testBalanceAtInFuture" ], "function_signatures": [ "testBalanceAtInFuture(uint8,uint8,uint160)" ], "saved_corpus_calls": 298, "selector": "0x01b73ab9", "share": 0.012680851064 }, { "comparison_key": "0x2e0c28fb", "function_names": [ "setMaxEndHints" ], "function_signatures": [ "setMaxEndHints(uint32,uint32)" ], "saved_corpus_calls": 298, "selector": "0x2e0c28fb", "share": 0.012680851064 }, { "comparison_key": "0xcdb89fe8", "function_names": [ "give" ], "function_signatures": [ "give(uint8,uint8,uint128)" ], "saved_corpus_calls": 298, "selector": "0xcdb89fe8", "share": 0.012680851064 }, { "comparison_key": "0x21d76db7", "function_names": [ "clampSplitWeight" ], "function_signatures": [ "clampSplitWeight(uint32,uint32)" ], "saved_corpus_calls": 31, "selector": "0x21d76db7", "share": 0.001319148936 } ], "fuzzer": "echidna-pr-1617", "instances": 4, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 23500, "status": "available", "unavailable_instances": 0, "unique_call_identities": 68, "unique_selectors": 68 }, { "available_instances": 4, "distribution": [ { "comparison_key": "0x1ef44aed", "function_names": [ "split" ], "function_signatures": [ "split(uint8)" ], "saved_corpus_calls": 402, "selector": "0x1ef44aed", "share": 0.018675090588 }, { "comparison_key": "0xb89fedbc", "function_names": [ "addStreamWithClamping" ], "function_signatures": [ "addStreamWithClamping(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 371, "selector": "0xb89fedbc", "share": 0.017234971662 }, { "comparison_key": "0x47bc779b", "function_names": [ "testAddSplitsShouldNotRevert" ], "function_signatures": [ "testAddSplitsShouldNotRevert(uint8,uint8,uint32)" ], "saved_corpus_calls": 363, "selector": "0x47bc779b", "share": 0.016863328068 }, { "comparison_key": "0x93191ccc", "function_names": [ "invariantWithdrawAllTokens" ], "function_signatures": [ "invariantWithdrawAllTokens()" ], "saved_corpus_calls": 351, "selector": "0x93191ccc", "share": 0.016305862678 }, { "comparison_key": "0x2e0c28fb", "function_names": [ "setMaxEndHints" ], "function_signatures": [ "setMaxEndHints(uint32,uint32)" ], "saved_corpus_calls": 349, "selector": "0x2e0c28fb", "share": 0.016212951779 }, { "comparison_key": "0x3b0786f0", "function_names": [ "receiveStreamsAllCycles" ], "function_signatures": [ "receiveStreamsAllCycles(uint8)" ], "saved_corpus_calls": 349, "selector": "0x3b0786f0", "share": 0.016212951779 }, { "comparison_key": "0x55072e3e", "function_names": [ "collect" ], "function_signatures": [ "collect(uint8,uint8)" ], "saved_corpus_calls": 349, "selector": "0x55072e3e", "share": 0.016212951779 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 347, "selector": "0xf24a44c9", "share": 0.016120040881 }, { "comparison_key": "0x6fdf0fee", "function_names": [ "setStreamBalanceWithdrawAll" ], "function_signatures": [ "setStreamBalanceWithdrawAll(uint8)" ], "saved_corpus_calls": 346, "selector": "0x6fdf0fee", "share": 0.016073585432 }, { "comparison_key": "0x1a3ed582", "function_names": [ "setStreams" ], "function_signatures": [ "setStreams(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 345, "selector": "0x1a3ed582", "share": 0.016027129982 }, { "comparison_key": "0x1ba3a23c", "function_names": [ "testReceiveStreamsViewConsistency" ], "function_signatures": [ "testReceiveStreamsViewConsistency(uint8,uint32)" ], "saved_corpus_calls": 344, "selector": "0x1ba3a23c", "share": 0.015980674533 }, { "comparison_key": "0x32dc4442", "function_names": [ "testSqueezeWithFullyHashedHistory" ], "function_signatures": [ "testSqueezeWithFullyHashedHistory(uint8,uint8)" ], "saved_corpus_calls": 343, "selector": "0x32dc4442", "share": 0.015934219084 }, { "comparison_key": "0xf89367f3", "function_names": [ "testReceiversReceivedSplit" ], "function_signatures": [ "testReceiversReceivedSplit(uint8)" ], "saved_corpus_calls": 342, "selector": "0xf89367f3", "share": 0.015887763635 }, { "comparison_key": "0xfed02144", "function_names": [ "receiveStreams" ], "function_signatures": [ "receiveStreams(uint8,uint32)" ], "saved_corpus_calls": 340, "selector": "0xfed02144", "share": 0.015794852736 }, { "comparison_key": "0x12a17262", "function_names": [ "squeezeAllAndReceiveAndSplitAndCollectToSelf" ], "function_signatures": [ "squeezeAllAndReceiveAndSplitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 339, "selector": "0x12a17262", "share": 0.015748397287 }, { "comparison_key": "0x218be192", "function_names": [ "invariantSumAmtDeltaIsZero" ], "function_signatures": [ "invariantSumAmtDeltaIsZero(uint8)" ], "saved_corpus_calls": 338, "selector": "0x218be192", "share": 0.015701941838 }, { "comparison_key": "0x6cc8862a", "function_names": [ "testGiveShouldNotRevert" ], "function_signatures": [ "testGiveShouldNotRevert(uint8,uint8,uint128)" ], "saved_corpus_calls": 337, "selector": "0x6cc8862a", "share": 0.015655486389 }, { "comparison_key": "0x68c69e1c", "function_names": [ "testSqueezeWithDefaultHistoryShouldNotRevert" ], "function_signatures": [ "testSqueezeWithDefaultHistoryShouldNotRevert(uint8,uint8)" ], "saved_corpus_calls": 336, "selector": "0x68c69e1c", "share": 0.015609030939 }, { "comparison_key": "0x12dbc6ae", "function_names": [ "testCollectShouldNotRevert" ], "function_signatures": [ "testCollectShouldNotRevert(uint8,uint8)" ], "saved_corpus_calls": 335, "selector": "0x12dbc6ae", "share": 0.01556257549 }, { "comparison_key": "0x7e089b12", "function_names": [ "testSqueezeTwice" ], "function_signatures": [ "testSqueezeTwice(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 335, "selector": "0x7e089b12", "share": 0.01556257549 }, { "comparison_key": "0xbcb054fd", "function_names": [ "addStreamImmediatelySqueezable" ], "function_signatures": [ "addStreamImmediatelySqueezable(uint8,uint8,uint160)" ], "saved_corpus_calls": 335, "selector": "0xbcb054fd", "share": 0.01556257549 }, { "comparison_key": "0xed2ce2d6", "function_names": [ "squeezeWithFuzzedHistory" ], "function_signatures": [ "squeezeWithFuzzedHistory(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 334, "selector": "0xed2ce2d6", "share": 0.015516120041 }, { "comparison_key": "0x13a600d0", "function_names": [ "addStream" ], "function_signatures": [ "addStream(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 333, "selector": "0x13a600d0", "share": 0.015469664592 }, { "comparison_key": "0x611aa8c7", "function_names": [ "invariantAccountingVsTokenBalance" ], "function_signatures": [ "invariantAccountingVsTokenBalance()" ], "saved_corpus_calls": 331, "selector": "0x611aa8c7", "share": 0.015376753693 }, { "comparison_key": "0xcdb89fe8", "function_names": [ "give" ], "function_signatures": [ "give(uint8,uint8,uint128)" ], "saved_corpus_calls": 329, "selector": "0xcdb89fe8", "share": 0.015283842795 }, { "comparison_key": "0x5bf58259", "function_names": [ "collectToSelf" ], "function_signatures": [ "collectToSelf(uint8)" ], "saved_corpus_calls": 328, "selector": "0x5bf58259", "share": 0.015237387346 }, { "comparison_key": "0xec13b1ca", "function_names": [ "testAddStreamShouldNotRevert" ], "function_signatures": [ "testAddStreamShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 328, "selector": "0xec13b1ca", "share": 0.015237387346 }, { "comparison_key": "0x0787f556", "function_names": [ "giveClampedAmount" ], "function_signatures": [ "giveClampedAmount(uint8,uint8,uint128)" ], "saved_corpus_calls": 327, "selector": "0x0787f556", "share": 0.015190931896 }, { "comparison_key": "0x7a81c2d8", "function_names": [ "testSqueezableAmountCantBeUndone" ], "function_signatures": [ "testSqueezableAmountCantBeUndone(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 326, "selector": "0x7a81c2d8", "share": 0.015144476447 }, { "comparison_key": "0xf288ca3f", "function_names": [ "invariantWithdrawShouldAlwaysFail" ], "function_signatures": [ "invariantWithdrawShouldAlwaysFail(uint256)" ], "saved_corpus_calls": 326, "selector": "0xf288ca3f", "share": 0.015144476447 }, { "comparison_key": "0xfa1227cd", "function_names": [ "testSetStreamBalance" ], "function_signatures": [ "testSetStreamBalance(uint8,int128)" ], "saved_corpus_calls": 324, "selector": "0xfa1227cd", "share": 0.015051565549 }, { "comparison_key": "0x3ba851ca", "function_names": [ "setStreamsWithClamping" ], "function_signatures": [ "setStreamsWithClamping(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 323, "selector": "0x3ba851ca", "share": 0.015005110099 }, { "comparison_key": "0x402f2eae", "function_names": [ "testSplitViewVsActual" ], "function_signatures": [ "testSplitViewVsActual(uint8)" ], "saved_corpus_calls": 323, "selector": "0x402f2eae", "share": 0.015005110099 }, { "comparison_key": "0xdf65cad7", "function_names": [ "testSetSplitsShouldNotRevert" ], "function_signatures": [ "testSetSplitsShouldNotRevert(uint8,uint8,uint32)" ], "saved_corpus_calls": 322, "selector": "0xdf65cad7", "share": 0.01495865465 }, { "comparison_key": "0xed0c06d6", "function_names": [ "removeAllSplits" ], "function_signatures": [ "removeAllSplits(uint8)" ], "saved_corpus_calls": 322, "selector": "0xed0c06d6", "share": 0.01495865465 }, { "comparison_key": "0x462664e4", "function_names": [ "testRemoveStreamShouldNotRevert" ], "function_signatures": [ "testRemoveStreamShouldNotRevert(uint8,uint256)" ], "saved_corpus_calls": 321, "selector": "0x462664e4", "share": 0.014912199201 }, { "comparison_key": "0x752315fa", "function_names": [ "testSetStreamsShouldNotRevert" ], "function_signatures": [ "testSetStreamsShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 321, "selector": "0x752315fa", "share": 0.014912199201 }, { "comparison_key": "0x1a042ae7", "function_names": [ "invariant_canary" ], "function_signatures": [ "invariant_canary()" ], "saved_corpus_calls": 317, "selector": "0x1a042ae7", "share": 0.014726377404 }, { "comparison_key": "0xfabaa91d", "function_names": [ "testSetStreamBalanceWithdrawAllShouldNotRevert" ], "function_signatures": [ "testSetStreamBalanceWithdrawAllShouldNotRevert(uint8)" ], "saved_corpus_calls": 315, "selector": "0xfabaa91d", "share": 0.014633466506 }, { "comparison_key": "0x4e0ad60b", "function_names": [ "testSqueezableAmountCantBeWithdrawn" ], "function_signatures": [ "testSqueezableAmountCantBeWithdrawn(uint8,uint8)" ], "saved_corpus_calls": 312, "selector": "0x4e0ad60b", "share": 0.014494100158 }, { "comparison_key": "0x79f368d0", "function_names": [ "squeezeAllSenders" ], "function_signatures": [ "squeezeAllSenders(uint8)" ], "saved_corpus_calls": 312, "selector": "0x79f368d0", "share": 0.014494100158 }, { "comparison_key": "0x92da0f7a", "function_names": [ "testSqueezeWithFuzzedHistoryShouldNotRevert" ], "function_signatures": [ "testSqueezeWithFuzzedHistoryShouldNotRevert(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 312, "selector": "0x92da0f7a", "share": 0.014494100158 }, { "comparison_key": "0x82ce0f6d", "function_names": [ "testReceiveStreamsShouldNotRevert" ], "function_signatures": [ "testReceiveStreamsShouldNotRevert(uint8)" ], "saved_corpus_calls": 311, "selector": "0x82ce0f6d", "share": 0.014447644709 }, { "comparison_key": "0x01b73ab9", "function_names": [ "testBalanceAtInFuture" ], "function_signatures": [ "testBalanceAtInFuture(uint8,uint8,uint160)" ], "saved_corpus_calls": 310, "selector": "0x01b73ab9", "share": 0.01440118926 }, { "comparison_key": "0x19ca05b3", "function_names": [ "testSplittableAfterSplit" ], "function_signatures": [ "testSplittableAfterSplit(uint8)" ], "saved_corpus_calls": 310, "selector": "0x19ca05b3", "share": 0.01440118926 }, { "comparison_key": "0x1c1e74b7", "function_names": [ "testSqueezableVsReceived" ], "function_signatures": [ "testSqueezableVsReceived(uint8)" ], "saved_corpus_calls": 310, "selector": "0x1c1e74b7", "share": 0.01440118926 }, { "comparison_key": "0x30387686", "function_names": [ "testSplitShouldNotRevert" ], "function_signatures": [ "testSplitShouldNotRevert(uint8)" ], "saved_corpus_calls": 308, "selector": "0x30387686", "share": 0.014308278361 }, { "comparison_key": "0x2b95b898", "function_names": [ "invariantWithdrawAllTokensShouldNotRevert" ], "function_signatures": [ "invariantWithdrawAllTokensShouldNotRevert()" ], "saved_corpus_calls": 307, "selector": "0x2b95b898", "share": 0.014261822912 }, { "comparison_key": "0x8319b8db", "function_names": [ "receiveStreamsSplitAndCollectToSelf" ], "function_signatures": [ "receiveStreamsSplitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 307, "selector": "0x8319b8db", "share": 0.014261822912 }, { "comparison_key": "0xb777536f", "function_names": [ "squeezeToSelf" ], "function_signatures": [ "squeezeToSelf(uint8)" ], "saved_corpus_calls": 306, "selector": "0xb777536f", "share": 0.014215367463 }, { "comparison_key": "0x925d2ba2", "function_names": [ "testSetStreamBalanceShouldNotRevert" ], "function_signatures": [ "testSetStreamBalanceShouldNotRevert(uint8,int128)" ], "saved_corpus_calls": 305, "selector": "0x925d2ba2", "share": 0.014168912013 }, { "comparison_key": "0x3bfbc3bd", "function_names": [ "setStreamBalance" ], "function_signatures": [ "setStreamBalance(uint8,int128)" ], "saved_corpus_calls": 304, "selector": "0x3bfbc3bd", "share": 0.014122456564 }, { "comparison_key": "0xe31f637a", "function_names": [ "testCollect" ], "function_signatures": [ "testCollect(uint8,uint8)" ], "saved_corpus_calls": 302, "selector": "0xe31f637a", "share": 0.014029545666 }, { "comparison_key": "0xcf2634be", "function_names": [ "squeezeWithDefaultHistory" ], "function_signatures": [ "squeezeWithDefaultHistory(uint8,uint8)" ], "saved_corpus_calls": 301, "selector": "0xcf2634be", "share": 0.013983090216 }, { "comparison_key": "0xe2b3d196", "function_names": [ "splitAndCollectToSelf" ], "function_signatures": [ "splitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 300, "selector": "0xe2b3d196", "share": 0.013936634767 }, { "comparison_key": "0x2e81ecdc", "function_names": [ "addSplitsReceiverWithClamping" ], "function_signatures": [ "addSplitsReceiverWithClamping(uint8,uint8,uint32)" ], "saved_corpus_calls": 299, "selector": "0x2e81ecdc", "share": 0.013890179318 }, { "comparison_key": "0x8d8b7f3b", "function_names": [ "setSplits" ], "function_signatures": [ "setSplits(uint8,uint8,uint32)" ], "saved_corpus_calls": 299, "selector": "0x8d8b7f3b", "share": 0.013890179318 }, { "comparison_key": "0x424df745", "function_names": [ "testCollectableAfterSplit" ], "function_signatures": [ "testCollectableAfterSplit(uint8)" ], "saved_corpus_calls": 296, "selector": "0x424df745", "share": 0.01375081297 }, { "comparison_key": "0x0e8df0d4", "function_names": [ "testSqueeze" ], "function_signatures": [ "testSqueeze(uint8,uint8)" ], "saved_corpus_calls": 293, "selector": "0x0e8df0d4", "share": 0.013611446623 }, { "comparison_key": "0x0325f4e1", "function_names": [ "addSplitsReceiver" ], "function_signatures": [ "addSplitsReceiver(uint8,uint8,uint32)" ], "saved_corpus_calls": 290, "selector": "0x0325f4e1", "share": 0.013472080275 }, { "comparison_key": "0x441581e7", "function_names": [ "setSplitsWithClamping" ], "function_signatures": [ "setSplitsWithClamping(uint8,uint8,uint32)" ], "saved_corpus_calls": 290, "selector": "0x441581e7", "share": 0.013472080275 }, { "comparison_key": "0xe393d86b", "function_names": [ "removeStream" ], "function_signatures": [ "removeStream(uint8,uint256)" ], "saved_corpus_calls": 287, "selector": "0xe393d86b", "share": 0.013332713927 }, { "comparison_key": "0x45b9b0ba", "function_names": [ "testReceiveStreamsViewVsActual" ], "function_signatures": [ "testReceiveStreamsViewVsActual(uint8,uint32)" ], "saved_corpus_calls": 286, "selector": "0x45b9b0ba", "share": 0.013286258478 }, { "comparison_key": "0x662fe867", "function_names": [ "invariantAmtPerSecVsMinAmtPerSec" ], "function_signatures": [ "invariantAmtPerSecVsMinAmtPerSec(uint8,uint256)" ], "saved_corpus_calls": 285, "selector": "0x662fe867", "share": 0.013239803029 }, { "comparison_key": "0x81b0058c", "function_names": [ "testSqueezeViewVsActual" ], "function_signatures": [ "testSqueezeViewVsActual(uint8,uint8)" ], "saved_corpus_calls": 281, "selector": "0x81b0058c", "share": 0.013053981232 }, { "comparison_key": "0xec992a3f", "function_names": [ "testReceiveStreams" ], "function_signatures": [ "testReceiveStreams(uint8,uint32)" ], "saved_corpus_calls": 275, "selector": "0xec992a3f", "share": 0.012775248537 }, { "comparison_key": "0xf56082ce", "function_names": [ "setStreamBalanceWithClamping" ], "function_signatures": [ "setStreamBalanceWithClamping(uint8,int128)" ], "saved_corpus_calls": 246, "selector": "0xf56082ce", "share": 0.011428040509 }, { "comparison_key": "0x21d76db7", "function_names": [ "clampSplitWeight" ], "function_signatures": [ "clampSplitWeight(uint32,uint32)" ], "saved_corpus_calls": 36, "selector": "0x21d76db7", "share": 0.001672396172 } ], "fuzzer": "echidna-release-2-3-3", "instances": 4, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 21526, "status": "available", "unavailable_instances": 0, "unique_call_identities": 68, "unique_selectors": 68 } ], "health_findings": [], "health_warnings": [], "instances": [ { "artifact_files": 58, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-pr-1617", "fuzzer_label": "echidna-pr-1617", "ignored_calls": 0, "instance_id": "i-00707547b90c30001", "instance_label": "i-00707547b90c30001-echidna-pr-1617", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 58, "processed_artifact_bytes": 3476672, "saved_corpus_calls": 5800, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 60, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-pr-1617", "fuzzer_label": "echidna-pr-1617", "ignored_calls": 0, "instance_id": "i-00b3c0983a077f3dd", "instance_label": "i-00b3c0983a077f3dd-echidna-pr-1617", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 60, "processed_artifact_bytes": 3611431, "saved_corpus_calls": 6000, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 58, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-release-2-3-3", "fuzzer_label": "echidna-release-2-3-3", "ignored_calls": 0, "instance_id": "i-00b5ddb83f88fe65a", "instance_label": "i-00b5ddb83f88fe65a-echidna-release-2-3-3", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 58, "processed_artifact_bytes": 3421083, "saved_corpus_calls": 5700, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 57, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-release-2-3-3", "fuzzer_label": "echidna-release-2-3-3", "ignored_calls": 0, "instance_id": "i-0262b30c4c9cd047f", "instance_label": "i-0262b30c4c9cd047f-echidna-release-2-3-3", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 57, "processed_artifact_bytes": 3339159, "saved_corpus_calls": 5540, "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-030a80d97ab0f91d0", "instance_label": "i-030a80d97ab0f91d0-echidna-ci-0ea96cb95290", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 58, "processed_artifact_bytes": 3481559, "saved_corpus_calls": 5800, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 55, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-ci-0ea96cb95290", "fuzzer_label": "echidna-ci-0ea96cb95290", "ignored_calls": 0, "instance_id": "i-0385374b386a10c4f", "instance_label": "i-0385374b386a10c4f-echidna-ci-0ea96cb95290", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 55, "processed_artifact_bytes": 3306422, "saved_corpus_calls": 5500, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 51, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-release-2-3-3", "fuzzer_label": "echidna-release-2-3-3", "ignored_calls": 0, "instance_id": "i-03a5c23cadf0e9adb", "instance_label": "i-03a5c23cadf0e9adb-echidna-release-2-3-3", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 51, "processed_artifact_bytes": 2991987, "saved_corpus_calls": 4992, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 52, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-ci-0ea96cb95290", "fuzzer_label": "echidna-ci-0ea96cb95290", "ignored_calls": 0, "instance_id": "i-0647770e02eef936b", "instance_label": "i-0647770e02eef936b-echidna-ci-0ea96cb95290", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 52, "processed_artifact_bytes": 3107724, "saved_corpus_calls": 5200, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 55, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-pr-1617", "fuzzer_label": "echidna-pr-1617", "ignored_calls": 0, "instance_id": "i-0c50c09420e065f3d", "instance_label": "i-0c50c09420e065f3d-echidna-pr-1617", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 55, "processed_artifact_bytes": 3301590, "saved_corpus_calls": 5500, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 62, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-pr-1617", "fuzzer_label": "echidna-pr-1617", "ignored_calls": 0, "instance_id": "i-0d20c01f50142bf31", "instance_label": "i-0d20c01f50142bf31-echidna-pr-1617", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 62, "processed_artifact_bytes": 3729158, "saved_corpus_calls": 6200, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 53, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-release-2-3-3", "fuzzer_label": "echidna-release-2-3-3", "ignored_calls": 0, "instance_id": "i-0e0efc176096eac22", "instance_label": "i-0e0efc176096eac22-echidna-release-2-3-3", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 53, "processed_artifact_bytes": 3176372, "saved_corpus_calls": 5294, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 55, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna-ci-0ea96cb95290", "fuzzer_label": "echidna-ci-0ea96cb95290", "ignored_calls": 0, "instance_id": "i-0f5d9fe91315fa51a", "instance_label": "i-0f5d9fe91315fa51a-echidna-ci-0ea96cb95290", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 55, "processed_artifact_bytes": 3284695, "saved_corpus_calls": 5500, "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-34112372205-1", "schema_version": 1 }