{ "expected_set": { "kind": "peer-consensus-heuristic", "selectors": [ { "function_name": "testBalanceAtInFuture", "selector": "0x01b73ab9", "signature": "testBalanceAtInFuture(uint8,uint8,uint160)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "addSplitsReceiver", "selector": "0x0325f4e1", "signature": "addSplitsReceiver(uint8,uint8,uint32)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "giveClampedAmount", "selector": "0x0787f556", "signature": "giveClampedAmount(uint8,uint8,uint128)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testSqueeze", "selector": "0x0e8df0d4", "signature": "testSqueeze(uint8,uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "squeezeAllAndReceiveAndSplitAndCollectToSelf", "selector": "0x12a17262", "signature": "squeezeAllAndReceiveAndSplitAndCollectToSelf(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testCollectShouldNotRevert", "selector": "0x12dbc6ae", "signature": "testCollectShouldNotRevert(uint8,uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "addStream", "selector": "0x13a600d0", "signature": "addStream(uint8,uint8,uint160,uint32,uint32,int128)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testSplittableAfterSplit", "selector": "0x19ca05b3", "signature": "testSplittableAfterSplit(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "setStreams", "selector": "0x1a3ed582", "signature": "setStreams(uint8,uint8,uint160,uint32,uint32,int128)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testReceiveStreamsViewConsistency", "selector": "0x1ba3a23c", "signature": "testReceiveStreamsViewConsistency(uint8,uint32)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testSqueezableVsReceived", "selector": "0x1c1e74b7", "signature": "testSqueezableVsReceived(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "split", "selector": "0x1ef44aed", "signature": "split(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "invariantSumAmtDeltaIsZero", "selector": "0x218be192", "signature": "invariantSumAmtDeltaIsZero(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "clampSplitWeight", "selector": "0x21d76db7", "signature": "clampSplitWeight(uint32,uint32)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "invariantWithdrawAllTokensShouldNotRevert", "selector": "0x2b95b898", "signature": "invariantWithdrawAllTokensShouldNotRevert()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "setMaxEndHints", "selector": "0x2e0c28fb", "signature": "setMaxEndHints(uint32,uint32)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "addSplitsReceiverWithClamping", "selector": "0x2e81ecdc", "signature": "addSplitsReceiverWithClamping(uint8,uint8,uint32)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testSplitShouldNotRevert", "selector": "0x30387686", "signature": "testSplitShouldNotRevert(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testSqueezeWithFullyHashedHistory", "selector": "0x32dc4442", "signature": "testSqueezeWithFullyHashedHistory(uint8,uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "receiveStreamsAllCycles", "selector": "0x3b0786f0", "signature": "receiveStreamsAllCycles(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "setStreamsWithClamping", "selector": "0x3ba851ca", "signature": "setStreamsWithClamping(uint8,uint8,uint160,uint32,uint32,int128)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "setStreamBalance", "selector": "0x3bfbc3bd", "signature": "setStreamBalance(uint8,int128)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testSplitViewVsActual", "selector": "0x402f2eae", "signature": "testSplitViewVsActual(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testCollectableAfterSplit", "selector": "0x424df745", "signature": "testCollectableAfterSplit(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "setSplitsWithClamping", "selector": "0x441581e7", "signature": "setSplitsWithClamping(uint8,uint8,uint32)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testReceiveStreamsViewVsActual", "selector": "0x45b9b0ba", "signature": "testReceiveStreamsViewVsActual(uint8,uint32)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testRemoveStreamShouldNotRevert", "selector": "0x462664e4", "signature": "testRemoveStreamShouldNotRevert(uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testAddSplitsShouldNotRevert", "selector": "0x47bc779b", "signature": "testAddSplitsShouldNotRevert(uint8,uint8,uint32)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testSqueezableAmountCantBeWithdrawn", "selector": "0x4e0ad60b", "signature": "testSqueezableAmountCantBeWithdrawn(uint8,uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "collect", "selector": "0x55072e3e", "signature": "collect(uint8,uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "collectToSelf", "selector": "0x5bf58259", "signature": "collectToSelf(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "invariantAccountingVsTokenBalance", "selector": "0x611aa8c7", "signature": "invariantAccountingVsTokenBalance()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "invariantAmtPerSecVsMinAmtPerSec", "selector": "0x662fe867", "signature": "invariantAmtPerSecVsMinAmtPerSec(uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testSqueezeWithDefaultHistoryShouldNotRevert", "selector": "0x68c69e1c", "signature": "testSqueezeWithDefaultHistoryShouldNotRevert(uint8,uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testGiveShouldNotRevert", "selector": "0x6cc8862a", "signature": "testGiveShouldNotRevert(uint8,uint8,uint128)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "setStreamBalanceWithdrawAll", "selector": "0x6fdf0fee", "signature": "setStreamBalanceWithdrawAll(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testSetStreamsShouldNotRevert", "selector": "0x752315fa", "signature": "testSetStreamsShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "squeezeAllSenders", "selector": "0x79f368d0", "signature": "squeezeAllSenders(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testSqueezableAmountCantBeUndone", "selector": "0x7a81c2d8", "signature": "testSqueezableAmountCantBeUndone(uint8,uint8,uint160,uint32,uint32,int128)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testSqueezeTwice", "selector": "0x7e089b12", "signature": "testSqueezeTwice(uint8,uint8,uint256,bytes32)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testSqueezeViewVsActual", "selector": "0x81b0058c", "signature": "testSqueezeViewVsActual(uint8,uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testReceiveStreamsShouldNotRevert", "selector": "0x82ce0f6d", "signature": "testReceiveStreamsShouldNotRevert(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "receiveStreamsSplitAndCollectToSelf", "selector": "0x8319b8db", "signature": "receiveStreamsSplitAndCollectToSelf(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "setSplits", "selector": "0x8d8b7f3b", "signature": "setSplits(uint8,uint8,uint32)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testSetStreamBalanceShouldNotRevert", "selector": "0x925d2ba2", "signature": "testSetStreamBalanceShouldNotRevert(uint8,int128)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testSqueezeWithFuzzedHistoryShouldNotRevert", "selector": "0x92da0f7a", "signature": "testSqueezeWithFuzzedHistoryShouldNotRevert(uint8,uint8,uint256,bytes32)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "invariantWithdrawAllTokens", "selector": "0x93191ccc", "signature": "invariantWithdrawAllTokens()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "squeezeToSelf", "selector": "0xb777536f", "signature": "squeezeToSelf(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "addStreamWithClamping", "selector": "0xb89fedbc", "signature": "addStreamWithClamping(uint8,uint8,uint160,uint32,uint32,int128)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "addStreamImmediatelySqueezable", "selector": "0xbcb054fd", "signature": "addStreamImmediatelySqueezable(uint8,uint8,uint160)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "give", "selector": "0xcdb89fe8", "signature": "give(uint8,uint8,uint128)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "squeezeWithDefaultHistory", "selector": "0xcf2634be", "signature": "squeezeWithDefaultHistory(uint8,uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testSetSplitsShouldNotRevert", "selector": "0xdf65cad7", "signature": "testSetSplitsShouldNotRevert(uint8,uint8,uint32)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "splitAndCollectToSelf", "selector": "0xe2b3d196", "signature": "splitAndCollectToSelf(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testCollect", "selector": "0xe31f637a", "signature": "testCollect(uint8,uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "removeStream", "selector": "0xe393d86b", "signature": "removeStream(uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testAddStreamShouldNotRevert", "selector": "0xec13b1ca", "signature": "testAddStreamShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testReceiveStreams", "selector": "0xec992a3f", "signature": "testReceiveStreams(uint8,uint32)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "removeAllSplits", "selector": "0xed0c06d6", "signature": "removeAllSplits(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "squeezeWithFuzzedHistory", "selector": "0xed2ce2d6", "signature": "squeezeWithFuzzedHistory(uint8,uint8,uint256,bytes32)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "assert_canary_ASSERTION_CANARY", "selector": "0xf24a44c9", "signature": "assert_canary_ASSERTION_CANARY(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "invariantWithdrawShouldAlwaysFail", "selector": "0xf288ca3f", "signature": "invariantWithdrawShouldAlwaysFail(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "setStreamBalanceWithClamping", "selector": "0xf56082ce", "signature": "setStreamBalanceWithClamping(uint8,int128)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testReceiversReceivedSplit", "selector": "0xf89367f3", "signature": "testReceiversReceivedSplit(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testSetStreamBalance", "selector": "0xfa1227cd", "signature": "testSetStreamBalance(uint8,int128)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testSetStreamBalanceWithdrawAllShouldNotRevert", "selector": "0xfabaa91d", "signature": "testSetStreamBalanceWithdrawAllShouldNotRevert(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "receiveStreams", "selector": "0xfed02144", "signature": "receiveStreams(uint8,uint32)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] } ], "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": "available" }, "fuzzers": [ { "available_instances": 2, "distribution": [ { "comparison_key": "0x0325f4e1", "function_names": [ "addSplitsReceiver" ], "function_signatures": [ "addSplitsReceiver(uint8,uint8,uint32)" ], "saved_corpus_calls": 240, "selector": "0x0325f4e1", "share": 0.01946629897 }, { "comparison_key": "0xed0c06d6", "function_names": [ "removeAllSplits" ], "function_signatures": [ "removeAllSplits(uint8)" ], "saved_corpus_calls": 232, "selector": "0xed0c06d6", "share": 0.018817422338 }, { "comparison_key": "0x81b0058c", "function_names": [ "testSqueezeViewVsActual" ], "function_signatures": [ "testSqueezeViewVsActual(uint8,uint8)" ], "saved_corpus_calls": 231, "selector": "0x81b0058c", "share": 0.018736312759 }, { "comparison_key": "0xb89fedbc", "function_names": [ "addStreamWithClamping" ], "function_signatures": [ "addStreamWithClamping(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 227, "selector": "0xb89fedbc", "share": 0.018411874442 }, { "comparison_key": "0xfabaa91d", "function_names": [ "testSetStreamBalanceWithdrawAllShouldNotRevert" ], "function_signatures": [ "testSetStreamBalanceWithdrawAllShouldNotRevert(uint8)" ], "saved_corpus_calls": 215, "selector": "0xfabaa91d", "share": 0.017438559494 }, { "comparison_key": "0x82ce0f6d", "function_names": [ "testReceiveStreamsShouldNotRevert" ], "function_signatures": [ "testReceiveStreamsShouldNotRevert(uint8)" ], "saved_corpus_calls": 210, "selector": "0x82ce0f6d", "share": 0.017033011599 }, { "comparison_key": "0x8319b8db", "function_names": [ "receiveStreamsSplitAndCollectToSelf" ], "function_signatures": [ "receiveStreamsSplitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 210, "selector": "0x8319b8db", "share": 0.017033011599 }, { "comparison_key": "0x45b9b0ba", "function_names": [ "testReceiveStreamsViewVsActual" ], "function_signatures": [ "testReceiveStreamsViewVsActual(uint8,uint32)" ], "saved_corpus_calls": 208, "selector": "0x45b9b0ba", "share": 0.016870792441 }, { "comparison_key": "0x79f368d0", "function_names": [ "squeezeAllSenders" ], "function_signatures": [ "squeezeAllSenders(uint8)" ], "saved_corpus_calls": 203, "selector": "0x79f368d0", "share": 0.016465244545 }, { "comparison_key": "0x1a3ed582", "function_names": [ "setStreams" ], "function_signatures": [ "setStreams(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 201, "selector": "0x1a3ed582", "share": 0.016303025387 }, { "comparison_key": "0x4e0ad60b", "function_names": [ "testSqueezableAmountCantBeWithdrawn" ], "function_signatures": [ "testSqueezableAmountCantBeWithdrawn(uint8,uint8)" ], "saved_corpus_calls": 201, "selector": "0x4e0ad60b", "share": 0.016303025387 }, { "comparison_key": "0x7e089b12", "function_names": [ "testSqueezeTwice" ], "function_signatures": [ "testSqueezeTwice(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 201, "selector": "0x7e089b12", "share": 0.016303025387 }, { "comparison_key": "0xe2b3d196", "function_names": [ "splitAndCollectToSelf" ], "function_signatures": [ "splitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 201, "selector": "0xe2b3d196", "share": 0.016303025387 }, { "comparison_key": "0x6cc8862a", "function_names": [ "testGiveShouldNotRevert" ], "function_signatures": [ "testGiveShouldNotRevert(uint8,uint8,uint128)" ], "saved_corpus_calls": 200, "selector": "0x6cc8862a", "share": 0.016221915808 }, { "comparison_key": "0x925d2ba2", "function_names": [ "testSetStreamBalanceShouldNotRevert" ], "function_signatures": [ "testSetStreamBalanceShouldNotRevert(uint8,int128)" ], "saved_corpus_calls": 199, "selector": "0x925d2ba2", "share": 0.016140806229 }, { "comparison_key": "0xf288ca3f", "function_names": [ "invariantWithdrawShouldAlwaysFail" ], "function_signatures": [ "invariantWithdrawShouldAlwaysFail(uint256)" ], "saved_corpus_calls": 197, "selector": "0xf288ca3f", "share": 0.015978587071 }, { "comparison_key": "0x218be192", "function_names": [ "invariantSumAmtDeltaIsZero" ], "function_signatures": [ "invariantSumAmtDeltaIsZero(uint8)" ], "saved_corpus_calls": 196, "selector": "0x218be192", "share": 0.015897477492 }, { "comparison_key": "0x30387686", "function_names": [ "testSplitShouldNotRevert" ], "function_signatures": [ "testSplitShouldNotRevert(uint8)" ], "saved_corpus_calls": 196, "selector": "0x30387686", "share": 0.015897477492 }, { "comparison_key": "0x55072e3e", "function_names": [ "collect" ], "function_signatures": [ "collect(uint8,uint8)" ], "saved_corpus_calls": 196, "selector": "0x55072e3e", "share": 0.015897477492 }, { "comparison_key": "0xfed02144", "function_names": [ "receiveStreams" ], "function_signatures": [ "receiveStreams(uint8,uint32)" ], "saved_corpus_calls": 195, "selector": "0xfed02144", "share": 0.015816367913 }, { "comparison_key": "0x12dbc6ae", "function_names": [ "testCollectShouldNotRevert" ], "function_signatures": [ "testCollectShouldNotRevert(uint8,uint8)" ], "saved_corpus_calls": 192, "selector": "0x12dbc6ae", "share": 0.015573039176 }, { "comparison_key": "0x462664e4", "function_names": [ "testRemoveStreamShouldNotRevert" ], "function_signatures": [ "testRemoveStreamShouldNotRevert(uint8,uint256)" ], "saved_corpus_calls": 192, "selector": "0x462664e4", "share": 0.015573039176 }, { "comparison_key": "0xdf65cad7", "function_names": [ "testSetSplitsShouldNotRevert" ], "function_signatures": [ "testSetSplitsShouldNotRevert(uint8,uint8,uint32)" ], "saved_corpus_calls": 191, "selector": "0xdf65cad7", "share": 0.015491929597 }, { "comparison_key": "0xec13b1ca", "function_names": [ "testAddStreamShouldNotRevert" ], "function_signatures": [ "testAddStreamShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 191, "selector": "0xec13b1ca", "share": 0.015491929597 }, { "comparison_key": "0xf89367f3", "function_names": [ "testReceiversReceivedSplit" ], "function_signatures": [ "testReceiversReceivedSplit(uint8)" ], "saved_corpus_calls": 190, "selector": "0xf89367f3", "share": 0.015410820018 }, { "comparison_key": "0x7a81c2d8", "function_names": [ "testSqueezableAmountCantBeUndone" ], "function_signatures": [ "testSqueezableAmountCantBeUndone(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 189, "selector": "0x7a81c2d8", "share": 0.015329710439 }, { "comparison_key": "0x0e8df0d4", "function_names": [ "testSqueeze" ], "function_signatures": [ "testSqueeze(uint8,uint8)" ], "saved_corpus_calls": 187, "selector": "0x0e8df0d4", "share": 0.015167491281 }, { "comparison_key": "0x3bfbc3bd", "function_names": [ "setStreamBalance" ], "function_signatures": [ "setStreamBalance(uint8,int128)" ], "saved_corpus_calls": 187, "selector": "0x3bfbc3bd", "share": 0.015167491281 }, { "comparison_key": "0x68c69e1c", "function_names": [ "testSqueezeWithDefaultHistoryShouldNotRevert" ], "function_signatures": [ "testSqueezeWithDefaultHistoryShouldNotRevert(uint8,uint8)" ], "saved_corpus_calls": 187, "selector": "0x68c69e1c", "share": 0.015167491281 }, { "comparison_key": "0x1c1e74b7", "function_names": [ "testSqueezableVsReceived" ], "function_signatures": [ "testSqueezableVsReceived(uint8)" ], "saved_corpus_calls": 185, "selector": "0x1c1e74b7", "share": 0.015005272123 }, { "comparison_key": "0x93191ccc", "function_names": [ "invariantWithdrawAllTokens" ], "function_signatures": [ "invariantWithdrawAllTokens()" ], "saved_corpus_calls": 185, "selector": "0x93191ccc", "share": 0.015005272123 }, { "comparison_key": "0xcf2634be", "function_names": [ "squeezeWithDefaultHistory" ], "function_signatures": [ "squeezeWithDefaultHistory(uint8,uint8)" ], "saved_corpus_calls": 185, "selector": "0xcf2634be", "share": 0.015005272123 }, { "comparison_key": "0x2b95b898", "function_names": [ "invariantWithdrawAllTokensShouldNotRevert" ], "function_signatures": [ "invariantWithdrawAllTokensShouldNotRevert()" ], "saved_corpus_calls": 184, "selector": "0x2b95b898", "share": 0.014924162544 }, { "comparison_key": "0x92da0f7a", "function_names": [ "testSqueezeWithFuzzedHistoryShouldNotRevert" ], "function_signatures": [ "testSqueezeWithFuzzedHistoryShouldNotRevert(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 184, "selector": "0x92da0f7a", "share": 0.014924162544 }, { "comparison_key": "0x402f2eae", "function_names": [ "testSplitViewVsActual" ], "function_signatures": [ "testSplitViewVsActual(uint8)" ], "saved_corpus_calls": 183, "selector": "0x402f2eae", "share": 0.014843052965 }, { "comparison_key": "0x47bc779b", "function_names": [ "testAddSplitsShouldNotRevert" ], "function_signatures": [ "testAddSplitsShouldNotRevert(uint8,uint8,uint32)" ], "saved_corpus_calls": 183, "selector": "0x47bc779b", "share": 0.014843052965 }, { "comparison_key": "0x662fe867", "function_names": [ "invariantAmtPerSecVsMinAmtPerSec" ], "function_signatures": [ "invariantAmtPerSecVsMinAmtPerSec(uint8,uint256)" ], "saved_corpus_calls": 183, "selector": "0x662fe867", "share": 0.014843052965 }, { "comparison_key": "0x1ba3a23c", "function_names": [ "testReceiveStreamsViewConsistency" ], "function_signatures": [ "testReceiveStreamsViewConsistency(uint8,uint32)" ], "saved_corpus_calls": 182, "selector": "0x1ba3a23c", "share": 0.014761943386 }, { "comparison_key": "0x441581e7", "function_names": [ "setSplitsWithClamping" ], "function_signatures": [ "setSplitsWithClamping(uint8,uint8,uint32)" ], "saved_corpus_calls": 182, "selector": "0x441581e7", "share": 0.014761943386 }, { "comparison_key": "0x752315fa", "function_names": [ "testSetStreamsShouldNotRevert" ], "function_signatures": [ "testSetStreamsShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 182, "selector": "0x752315fa", "share": 0.014761943386 }, { "comparison_key": "0xe31f637a", "function_names": [ "testCollect" ], "function_signatures": [ "testCollect(uint8,uint8)" ], "saved_corpus_calls": 181, "selector": "0xe31f637a", "share": 0.014680833806 }, { "comparison_key": "0x13a600d0", "function_names": [ "addStream" ], "function_signatures": [ "addStream(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 180, "selector": "0x13a600d0", "share": 0.014599724227 }, { "comparison_key": "0x6fdf0fee", "function_names": [ "setStreamBalanceWithdrawAll" ], "function_signatures": [ "setStreamBalanceWithdrawAll(uint8)" ], "saved_corpus_calls": 180, "selector": "0x6fdf0fee", "share": 0.014599724227 }, { "comparison_key": "0xb777536f", "function_names": [ "squeezeToSelf" ], "function_signatures": [ "squeezeToSelf(uint8)" ], "saved_corpus_calls": 180, "selector": "0xb777536f", "share": 0.014599724227 }, { "comparison_key": "0x8d8b7f3b", "function_names": [ "setSplits" ], "function_signatures": [ "setSplits(uint8,uint8,uint32)" ], "saved_corpus_calls": 179, "selector": "0x8d8b7f3b", "share": 0.014518614648 }, { "comparison_key": "0x2e0c28fb", "function_names": [ "setMaxEndHints" ], "function_signatures": [ "setMaxEndHints(uint32,uint32)" ], "saved_corpus_calls": 176, "selector": "0x2e0c28fb", "share": 0.014275285911 }, { "comparison_key": "0x3ba851ca", "function_names": [ "setStreamsWithClamping" ], "function_signatures": [ "setStreamsWithClamping(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 175, "selector": "0x3ba851ca", "share": 0.014194176332 }, { "comparison_key": "0x5bf58259", "function_names": [ "collectToSelf" ], "function_signatures": [ "collectToSelf(uint8)" ], "saved_corpus_calls": 173, "selector": "0x5bf58259", "share": 0.014031957174 }, { "comparison_key": "0xcdb89fe8", "function_names": [ "give" ], "function_signatures": [ "give(uint8,uint8,uint128)" ], "saved_corpus_calls": 173, "selector": "0xcdb89fe8", "share": 0.014031957174 }, { "comparison_key": "0x19ca05b3", "function_names": [ "testSplittableAfterSplit" ], "function_signatures": [ "testSplittableAfterSplit(uint8)" ], "saved_corpus_calls": 172, "selector": "0x19ca05b3", "share": 0.013950847595 }, { "comparison_key": "0x424df745", "function_names": [ "testCollectableAfterSplit" ], "function_signatures": [ "testCollectableAfterSplit(uint8)" ], "saved_corpus_calls": 172, "selector": "0x424df745", "share": 0.013950847595 }, { "comparison_key": "0xed2ce2d6", "function_names": [ "squeezeWithFuzzedHistory" ], "function_signatures": [ "squeezeWithFuzzedHistory(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 167, "selector": "0xed2ce2d6", "share": 0.0135452997 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 166, "selector": "0xf24a44c9", "share": 0.013464190121 }, { "comparison_key": "0x01b73ab9", "function_names": [ "testBalanceAtInFuture" ], "function_signatures": [ "testBalanceAtInFuture(uint8,uint8,uint160)" ], "saved_corpus_calls": 164, "selector": "0x01b73ab9", "share": 0.013301970963 }, { "comparison_key": "0x1a042ae7", "function_names": [ "invariant_canary" ], "function_signatures": [ "invariant_canary()" ], "saved_corpus_calls": 163, "selector": "0x1a042ae7", "share": 0.013220861384 }, { "comparison_key": "0x2e81ecdc", "function_names": [ "addSplitsReceiverWithClamping" ], "function_signatures": [ "addSplitsReceiverWithClamping(uint8,uint8,uint32)" ], "saved_corpus_calls": 163, "selector": "0x2e81ecdc", "share": 0.013220861384 }, { "comparison_key": "0xbcb054fd", "function_names": [ "addStreamImmediatelySqueezable" ], "function_signatures": [ "addStreamImmediatelySqueezable(uint8,uint8,uint160)" ], "saved_corpus_calls": 163, "selector": "0xbcb054fd", "share": 0.013220861384 }, { "comparison_key": "0x32dc4442", "function_names": [ "testSqueezeWithFullyHashedHistory" ], "function_signatures": [ "testSqueezeWithFullyHashedHistory(uint8,uint8)" ], "saved_corpus_calls": 160, "selector": "0x32dc4442", "share": 0.012977532647 }, { "comparison_key": "0x1ef44aed", "function_names": [ "split" ], "function_signatures": [ "split(uint8)" ], "saved_corpus_calls": 159, "selector": "0x1ef44aed", "share": 0.012896423068 }, { "comparison_key": "0x12a17262", "function_names": [ "squeezeAllAndReceiveAndSplitAndCollectToSelf" ], "function_signatures": [ "squeezeAllAndReceiveAndSplitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 155, "selector": "0x12a17262", "share": 0.012571984751 }, { "comparison_key": "0xec992a3f", "function_names": [ "testReceiveStreams" ], "function_signatures": [ "testReceiveStreams(uint8,uint32)" ], "saved_corpus_calls": 152, "selector": "0xec992a3f", "share": 0.012328656014 }, { "comparison_key": "0xfa1227cd", "function_names": [ "testSetStreamBalance" ], "function_signatures": [ "testSetStreamBalance(uint8,int128)" ], "saved_corpus_calls": 151, "selector": "0xfa1227cd", "share": 0.012247546435 }, { "comparison_key": "0x611aa8c7", "function_names": [ "invariantAccountingVsTokenBalance" ], "function_signatures": [ "invariantAccountingVsTokenBalance()" ], "saved_corpus_calls": 148, "selector": "0x611aa8c7", "share": 0.012004217698 }, { "comparison_key": "0xf56082ce", "function_names": [ "setStreamBalanceWithClamping" ], "function_signatures": [ "setStreamBalanceWithClamping(uint8,int128)" ], "saved_corpus_calls": 146, "selector": "0xf56082ce", "share": 0.01184199854 }, { "comparison_key": "0x0787f556", "function_names": [ "giveClampedAmount" ], "function_signatures": [ "giveClampedAmount(uint8,uint8,uint128)" ], "saved_corpus_calls": 144, "selector": "0x0787f556", "share": 0.011679779382 }, { "comparison_key": "0xe393d86b", "function_names": [ "removeStream" ], "function_signatures": [ "removeStream(uint8,uint256)" ], "saved_corpus_calls": 143, "selector": "0xe393d86b", "share": 0.011598669803 }, { "comparison_key": "0x3b0786f0", "function_names": [ "receiveStreamsAllCycles" ], "function_signatures": [ "receiveStreamsAllCycles(uint8)" ], "saved_corpus_calls": 141, "selector": "0x3b0786f0", "share": 0.011436450645 }, { "comparison_key": "0x21d76db7", "function_names": [ "clampSplitWeight" ], "function_signatures": [ "clampSplitWeight(uint32,uint32)" ], "saved_corpus_calls": 20, "selector": "0x21d76db7", "share": 0.001622191581 } ], "fuzzer": "echidna", "instances": 2, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 12329, "status": "available", "unavailable_instances": 0, "unique_call_identities": 68, "unique_selectors": 68 }, { "available_instances": 0, "distribution": [], "fuzzer": "foundry", "instances": 2, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 0, "status": "unavailable", "unavailable_instances": 2, "unique_call_identities": 0, "unique_selectors": 0 }, { "available_instances": 2, "distribution": [ { "comparison_key": "0x0325f4e1", "function_names": [ "addSplitsReceiver" ], "function_signatures": [ "addSplitsReceiver(uint8,uint8,uint32)" ], "saved_corpus_calls": 349, "selector": "0x0325f4e1", "share": 0.032483246463 }, { "comparison_key": "0x1ba3a23c", "function_names": [ "testReceiveStreamsViewConsistency" ], "function_signatures": [ "testReceiveStreamsViewConsistency(uint8,uint32)" ], "saved_corpus_calls": 306, "selector": "0x1ba3a23c", "share": 0.028481012658 }, { "comparison_key": "0x8d8b7f3b", "function_names": [ "setSplits" ], "function_signatures": [ "setSplits(uint8,uint8,uint32)" ], "saved_corpus_calls": 293, "selector": "0x8d8b7f3b", "share": 0.027271034996 }, { "comparison_key": "0x462664e4", "function_names": [ "testRemoveStreamShouldNotRevert" ], "function_signatures": [ "testRemoveStreamShouldNotRevert(uint8,uint256)" ], "saved_corpus_calls": 285, "selector": "0x462664e4", "share": 0.026526433358 }, { "comparison_key": "0x218be192", "function_names": [ "invariantSumAmtDeltaIsZero" ], "function_signatures": [ "invariantSumAmtDeltaIsZero(uint8)" ], "saved_corpus_calls": 280, "selector": "0x218be192", "share": 0.026061057334 }, { "comparison_key": "0x1a3ed582", "function_names": [ "setStreams" ], "function_signatures": [ "setStreams(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 279, "selector": "0x1a3ed582", "share": 0.02596798213 }, { "comparison_key": "0x47bc779b", "function_names": [ "testAddSplitsShouldNotRevert" ], "function_signatures": [ "testAddSplitsShouldNotRevert(uint8,uint8,uint32)" ], "saved_corpus_calls": 268, "selector": "0x47bc779b", "share": 0.024944154877 }, { "comparison_key": "0x3bfbc3bd", "function_names": [ "setStreamBalance" ], "function_signatures": [ "setStreamBalance(uint8,int128)" ], "saved_corpus_calls": 261, "selector": "0x3bfbc3bd", "share": 0.024292628444 }, { "comparison_key": "0xec13b1ca", "function_names": [ "testAddStreamShouldNotRevert" ], "function_signatures": [ "testAddStreamShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 253, "selector": "0xec13b1ca", "share": 0.023548026806 }, { "comparison_key": "0x2e0c28fb", "function_names": [ "setMaxEndHints" ], "function_signatures": [ "setMaxEndHints(uint32,uint32)" ], "saved_corpus_calls": 248, "selector": "0x2e0c28fb", "share": 0.023082650782 }, { "comparison_key": "0x5bf58259", "function_names": [ "collectToSelf" ], "function_signatures": [ "collectToSelf(uint8)" ], "saved_corpus_calls": 247, "selector": "0x5bf58259", "share": 0.022989575577 }, { "comparison_key": "0xcdb89fe8", "function_names": [ "give" ], "function_signatures": [ "give(uint8,uint8,uint128)" ], "saved_corpus_calls": 234, "selector": "0xcdb89fe8", "share": 0.021779597915 }, { "comparison_key": "0xb89fedbc", "function_names": [ "addStreamWithClamping" ], "function_signatures": [ "addStreamWithClamping(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 214, "selector": "0xb89fedbc", "share": 0.01991809382 }, { "comparison_key": "0x0787f556", "function_names": [ "giveClampedAmount" ], "function_signatures": [ "giveClampedAmount(uint8,uint8,uint128)" ], "saved_corpus_calls": 210, "selector": "0x0787f556", "share": 0.019545793001 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 210, "selector": "0xf24a44c9", "share": 0.019545793001 }, { "comparison_key": "0xfed02144", "function_names": [ "receiveStreams" ], "function_signatures": [ "receiveStreams(uint8,uint32)" ], "saved_corpus_calls": 206, "selector": "0xfed02144", "share": 0.019173492182 }, { "comparison_key": "0x441581e7", "function_names": [ "setSplitsWithClamping" ], "function_signatures": [ "setSplitsWithClamping(uint8,uint8,uint32)" ], "saved_corpus_calls": 199, "selector": "0x441581e7", "share": 0.018521965748 }, { "comparison_key": "0x4e0ad60b", "function_names": [ "testSqueezableAmountCantBeWithdrawn" ], "function_signatures": [ "testSqueezableAmountCantBeWithdrawn(uint8,uint8)" ], "saved_corpus_calls": 196, "selector": "0x4e0ad60b", "share": 0.018242740134 }, { "comparison_key": "0xcf2634be", "function_names": [ "squeezeWithDefaultHistory" ], "function_signatures": [ "squeezeWithDefaultHistory(uint8,uint8)" ], "saved_corpus_calls": 181, "selector": "0xcf2634be", "share": 0.016846612063 }, { "comparison_key": "0x13a600d0", "function_names": [ "addStream" ], "function_signatures": [ "addStream(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 180, "selector": "0x13a600d0", "share": 0.016753536858 }, { "comparison_key": "0x6cc8862a", "function_names": [ "testGiveShouldNotRevert" ], "function_signatures": [ "testGiveShouldNotRevert(uint8,uint8,uint128)" ], "saved_corpus_calls": 178, "selector": "0x6cc8862a", "share": 0.016567386448 }, { "comparison_key": "0x92da0f7a", "function_names": [ "testSqueezeWithFuzzedHistoryShouldNotRevert" ], "function_signatures": [ "testSqueezeWithFuzzedHistoryShouldNotRevert(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 177, "selector": "0x92da0f7a", "share": 0.016474311243 }, { "comparison_key": "0x424df745", "function_names": [ "testCollectableAfterSplit" ], "function_signatures": [ "testCollectableAfterSplit(uint8)" ], "saved_corpus_calls": 174, "selector": "0x424df745", "share": 0.016195085629 }, { "comparison_key": "0x7e089b12", "function_names": [ "testSqueezeTwice" ], "function_signatures": [ "testSqueezeTwice(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 173, "selector": "0x7e089b12", "share": 0.016102010424 }, { "comparison_key": "0x752315fa", "function_names": [ "testSetStreamsShouldNotRevert" ], "function_signatures": [ "testSetStreamsShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 172, "selector": "0x752315fa", "share": 0.01600893522 }, { "comparison_key": "0x19ca05b3", "function_names": [ "testSplittableAfterSplit" ], "function_signatures": [ "testSplittableAfterSplit(uint8)" ], "saved_corpus_calls": 171, "selector": "0x19ca05b3", "share": 0.015915860015 }, { "comparison_key": "0x2b95b898", "function_names": [ "invariantWithdrawAllTokensShouldNotRevert" ], "function_signatures": [ "invariantWithdrawAllTokensShouldNotRevert()" ], "saved_corpus_calls": 171, "selector": "0x2b95b898", "share": 0.015915860015 }, { "comparison_key": "0xdf65cad7", "function_names": [ "testSetSplitsShouldNotRevert" ], "function_signatures": [ "testSetSplitsShouldNotRevert(uint8,uint8,uint32)" ], "saved_corpus_calls": 168, "selector": "0xdf65cad7", "share": 0.015636634401 }, { "comparison_key": "0x3ba851ca", "function_names": [ "setStreamsWithClamping" ], "function_signatures": [ "setStreamsWithClamping(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 164, "selector": "0x3ba851ca", "share": 0.015264333582 }, { "comparison_key": "0x1c1e74b7", "function_names": [ "testSqueezableVsReceived" ], "function_signatures": [ "testSqueezableVsReceived(uint8)" ], "saved_corpus_calls": 158, "selector": "0x1c1e74b7", "share": 0.014705882353 }, { "comparison_key": "0x82ce0f6d", "function_names": [ "testReceiveStreamsShouldNotRevert" ], "function_signatures": [ "testReceiveStreamsShouldNotRevert(uint8)" ], "saved_corpus_calls": 157, "selector": "0x82ce0f6d", "share": 0.014612807148 }, { "comparison_key": "0xed0c06d6", "function_names": [ "removeAllSplits" ], "function_signatures": [ "removeAllSplits(uint8)" ], "saved_corpus_calls": 155, "selector": "0xed0c06d6", "share": 0.014426656739 }, { "comparison_key": "0x7a81c2d8", "function_names": [ "testSqueezableAmountCantBeUndone" ], "function_signatures": [ "testSqueezableAmountCantBeUndone(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 150, "selector": "0x7a81c2d8", "share": 0.013961280715 }, { "comparison_key": "0xe2b3d196", "function_names": [ "splitAndCollectToSelf" ], "function_signatures": [ "splitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 149, "selector": "0xe2b3d196", "share": 0.01386820551 }, { "comparison_key": "0x45b9b0ba", "function_names": [ "testReceiveStreamsViewVsActual" ], "function_signatures": [ "testReceiveStreamsViewVsActual(uint8,uint32)" ], "saved_corpus_calls": 148, "selector": "0x45b9b0ba", "share": 0.013775130305 }, { "comparison_key": "0x12a17262", "function_names": [ "squeezeAllAndReceiveAndSplitAndCollectToSelf" ], "function_signatures": [ "squeezeAllAndReceiveAndSplitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 146, "selector": "0x12a17262", "share": 0.013588979896 }, { "comparison_key": "0x12dbc6ae", "function_names": [ "testCollectShouldNotRevert" ], "function_signatures": [ "testCollectShouldNotRevert(uint8,uint8)" ], "saved_corpus_calls": 145, "selector": "0x12dbc6ae", "share": 0.013495904691 }, { "comparison_key": "0x925d2ba2", "function_names": [ "testSetStreamBalanceShouldNotRevert" ], "function_signatures": [ "testSetStreamBalanceShouldNotRevert(uint8,int128)" ], "saved_corpus_calls": 144, "selector": "0x925d2ba2", "share": 0.013402829486 }, { "comparison_key": "0xbcb054fd", "function_names": [ "addStreamImmediatelySqueezable" ], "function_signatures": [ "addStreamImmediatelySqueezable(uint8,uint8,uint160)" ], "saved_corpus_calls": 142, "selector": "0xbcb054fd", "share": 0.013216679077 }, { "comparison_key": "0x662fe867", "function_names": [ "invariantAmtPerSecVsMinAmtPerSec" ], "function_signatures": [ "invariantAmtPerSecVsMinAmtPerSec(uint8,uint256)" ], "saved_corpus_calls": 140, "selector": "0x662fe867", "share": 0.013030528667 }, { "comparison_key": "0x01b73ab9", "function_names": [ "testBalanceAtInFuture" ], "function_signatures": [ "testBalanceAtInFuture(uint8,uint8,uint160)" ], "saved_corpus_calls": 135, "selector": "0x01b73ab9", "share": 0.012565152643 }, { "comparison_key": "0x402f2eae", "function_names": [ "testSplitViewVsActual" ], "function_signatures": [ "testSplitViewVsActual(uint8)" ], "saved_corpus_calls": 128, "selector": "0x402f2eae", "share": 0.01191362621 }, { "comparison_key": "0x6fdf0fee", "function_names": [ "setStreamBalanceWithdrawAll" ], "function_signatures": [ "setStreamBalanceWithdrawAll(uint8)" ], "saved_corpus_calls": 127, "selector": "0x6fdf0fee", "share": 0.011820551005 }, { "comparison_key": "0x81b0058c", "function_names": [ "testSqueezeViewVsActual" ], "function_signatures": [ "testSqueezeViewVsActual(uint8,uint8)" ], "saved_corpus_calls": 123, "selector": "0x81b0058c", "share": 0.011448250186 }, { "comparison_key": "0xfabaa91d", "function_names": [ "testSetStreamBalanceWithdrawAllShouldNotRevert" ], "function_signatures": [ "testSetStreamBalanceWithdrawAllShouldNotRevert(uint8)" ], "saved_corpus_calls": 120, "selector": "0xfabaa91d", "share": 0.011169024572 }, { "comparison_key": "0xf89367f3", "function_names": [ "testReceiversReceivedSplit" ], "function_signatures": [ "testReceiversReceivedSplit(uint8)" ], "saved_corpus_calls": 118, "selector": "0xf89367f3", "share": 0.010982874162 }, { "comparison_key": "0xec992a3f", "function_names": [ "testReceiveStreams" ], "function_signatures": [ "testReceiveStreams(uint8,uint32)" ], "saved_corpus_calls": 117, "selector": "0xec992a3f", "share": 0.010889798958 }, { "comparison_key": "0x93191ccc", "function_names": [ "invariantWithdrawAllTokens" ], "function_signatures": [ "invariantWithdrawAllTokens()" ], "saved_corpus_calls": 116, "selector": "0x93191ccc", "share": 0.010796723753 }, { "comparison_key": "0x0e8df0d4", "function_names": [ "testSqueeze" ], "function_signatures": [ "testSqueeze(uint8,uint8)" ], "saved_corpus_calls": 110, "selector": "0x0e8df0d4", "share": 0.010238272524 }, { "comparison_key": "0x68c69e1c", "function_names": [ "testSqueezeWithDefaultHistoryShouldNotRevert" ], "function_signatures": [ "testSqueezeWithDefaultHistoryShouldNotRevert(uint8,uint8)" ], "saved_corpus_calls": 110, "selector": "0x68c69e1c", "share": 0.010238272524 }, { "comparison_key": "0x1ef44aed", "function_names": [ "split" ], "function_signatures": [ "split(uint8)" ], "saved_corpus_calls": 109, "selector": "0x1ef44aed", "share": 0.010145197319 }, { "comparison_key": "0xb777536f", "function_names": [ "squeezeToSelf" ], "function_signatures": [ "squeezeToSelf(uint8)" ], "saved_corpus_calls": 109, "selector": "0xb777536f", "share": 0.010145197319 }, { "comparison_key": "0xe31f637a", "function_names": [ "testCollect" ], "function_signatures": [ "testCollect(uint8,uint8)" ], "saved_corpus_calls": 102, "selector": "0xe31f637a", "share": 0.009493670886 }, { "comparison_key": "0x2e81ecdc", "function_names": [ "addSplitsReceiverWithClamping" ], "function_signatures": [ "addSplitsReceiverWithClamping(uint8,uint8,uint32)" ], "saved_corpus_calls": 100, "selector": "0x2e81ecdc", "share": 0.009307520477 }, { "comparison_key": "0xfa1227cd", "function_names": [ "testSetStreamBalance" ], "function_signatures": [ "testSetStreamBalance(uint8,int128)" ], "saved_corpus_calls": 99, "selector": "0xfa1227cd", "share": 0.009214445272 }, { "comparison_key": "0x79f368d0", "function_names": [ "squeezeAllSenders" ], "function_signatures": [ "squeezeAllSenders(uint8)" ], "saved_corpus_calls": 98, "selector": "0x79f368d0", "share": 0.009121370067 }, { "comparison_key": "0xf56082ce", "function_names": [ "setStreamBalanceWithClamping" ], "function_signatures": [ "setStreamBalanceWithClamping(uint8,int128)" ], "saved_corpus_calls": 96, "selector": "0xf56082ce", "share": 0.008935219657 }, { "comparison_key": "0x3b0786f0", "function_names": [ "receiveStreamsAllCycles" ], "function_signatures": [ "receiveStreamsAllCycles(uint8)" ], "saved_corpus_calls": 92, "selector": "0x3b0786f0", "share": 0.008562918838 }, { "comparison_key": "0x8319b8db", "function_names": [ "receiveStreamsSplitAndCollectToSelf" ], "function_signatures": [ "receiveStreamsSplitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 92, "selector": "0x8319b8db", "share": 0.008562918838 }, { "comparison_key": "0x30387686", "function_names": [ "testSplitShouldNotRevert" ], "function_signatures": [ "testSplitShouldNotRevert(uint8)" ], "saved_corpus_calls": 88, "selector": "0x30387686", "share": 0.008190618019 }, { "comparison_key": "0x55072e3e", "function_names": [ "collect" ], "function_signatures": [ "collect(uint8,uint8)" ], "saved_corpus_calls": 88, "selector": "0x55072e3e", "share": 0.008190618019 }, { "comparison_key": "0xf288ca3f", "function_names": [ "invariantWithdrawShouldAlwaysFail" ], "function_signatures": [ "invariantWithdrawShouldAlwaysFail(uint256)" ], "saved_corpus_calls": 84, "selector": "0xf288ca3f", "share": 0.0078183172 }, { "comparison_key": "0xed2ce2d6", "function_names": [ "squeezeWithFuzzedHistory" ], "function_signatures": [ "squeezeWithFuzzedHistory(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 83, "selector": "0xed2ce2d6", "share": 0.007725241996 }, { "comparison_key": "0x32dc4442", "function_names": [ "testSqueezeWithFullyHashedHistory" ], "function_signatures": [ "testSqueezeWithFullyHashedHistory(uint8,uint8)" ], "saved_corpus_calls": 78, "selector": "0x32dc4442", "share": 0.007259865972 }, { "comparison_key": "0x611aa8c7", "function_names": [ "invariantAccountingVsTokenBalance" ], "function_signatures": [ "invariantAccountingVsTokenBalance()" ], "saved_corpus_calls": 72, "selector": "0x611aa8c7", "share": 0.006701414743 }, { "comparison_key": "0xe393d86b", "function_names": [ "removeStream" ], "function_signatures": [ "removeStream(uint8,uint256)" ], "saved_corpus_calls": 63, "selector": "0xe393d86b", "share": 0.0058637379 }, { "comparison_key": "0x21d76db7", "function_names": [ "clampSplitWeight" ], "function_signatures": [ "clampSplitWeight(uint32,uint32)" ], "saved_corpus_calls": 6, "selector": "0x21d76db7", "share": 0.000558451229 } ], "fuzzer": "medusa", "instances": 2, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 10744, "status": "available", "unavailable_instances": 0, "unique_call_identities": 67, "unique_selectors": 67 }, { "available_instances": 2, "distribution": [ { "comparison_key": "0xbcb054fd", "function_names": [ "addStreamImmediatelySqueezable" ], "function_signatures": [ "addStreamImmediatelySqueezable(uint8,uint8,uint160)" ], "saved_corpus_calls": 324, "selector": "0xbcb054fd", "share": 0.020089285714 }, { "comparison_key": "0xe2b3d196", "function_names": [ "splitAndCollectToSelf" ], "function_signatures": [ "splitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 324, "selector": "0xe2b3d196", "share": 0.020089285714 }, { "comparison_key": "0x92da0f7a", "function_names": [ "testSqueezeWithFuzzedHistoryShouldNotRevert" ], "function_signatures": [ "testSqueezeWithFuzzedHistoryShouldNotRevert(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 320, "selector": "0x92da0f7a", "share": 0.019841269841 }, { "comparison_key": "0xed0c06d6", "function_names": [ "removeAllSplits" ], "function_signatures": [ "removeAllSplits(uint8)" ], "saved_corpus_calls": 318, "selector": "0xed0c06d6", "share": 0.019717261905 }, { "comparison_key": "0x2b95b898", "function_names": [ "invariantWithdrawAllTokensShouldNotRevert" ], "function_signatures": [ "invariantWithdrawAllTokensShouldNotRevert()" ], "saved_corpus_calls": 314, "selector": "0x2b95b898", "share": 0.019469246032 }, { "comparison_key": "0x662fe867", "function_names": [ "invariantAmtPerSecVsMinAmtPerSec" ], "function_signatures": [ "invariantAmtPerSecVsMinAmtPerSec(uint8,uint256)" ], "saved_corpus_calls": 312, "selector": "0x662fe867", "share": 0.019345238095 }, { "comparison_key": "0xb777536f", "function_names": [ "squeezeToSelf" ], "function_signatures": [ "squeezeToSelf(uint8)" ], "saved_corpus_calls": 309, "selector": "0xb777536f", "share": 0.01915922619 }, { "comparison_key": "0x19ca05b3", "function_names": [ "testSplittableAfterSplit" ], "function_signatures": [ "testSplittableAfterSplit(uint8)" ], "saved_corpus_calls": 297, "selector": "0x19ca05b3", "share": 0.018415178571 }, { "comparison_key": "0x13a600d0", "function_names": [ "addStream" ], "function_signatures": [ "addStream(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 285, "selector": "0x13a600d0", "share": 0.017671130952 }, { "comparison_key": "0x218be192", "function_names": [ "invariantSumAmtDeltaIsZero" ], "function_signatures": [ "invariantSumAmtDeltaIsZero(uint8)" ], "saved_corpus_calls": 284, "selector": "0x218be192", "share": 0.017609126984 }, { "comparison_key": "0x1a3ed582", "function_names": [ "setStreams" ], "function_signatures": [ "setStreams(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 281, "selector": "0x1a3ed582", "share": 0.017423115079 }, { "comparison_key": "0x7a81c2d8", "function_names": [ "testSqueezableAmountCantBeUndone" ], "function_signatures": [ "testSqueezableAmountCantBeUndone(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 280, "selector": "0x7a81c2d8", "share": 0.017361111111 }, { "comparison_key": "0x5bf58259", "function_names": [ "collectToSelf" ], "function_signatures": [ "collectToSelf(uint8)" ], "saved_corpus_calls": 279, "selector": "0x5bf58259", "share": 0.017299107143 }, { "comparison_key": "0xf56082ce", "function_names": [ "setStreamBalanceWithClamping" ], "function_signatures": [ "setStreamBalanceWithClamping(uint8,int128)" ], "saved_corpus_calls": 273, "selector": "0xf56082ce", "share": 0.016927083333 }, { "comparison_key": "0xdf65cad7", "function_names": [ "testSetSplitsShouldNotRevert" ], "function_signatures": [ "testSetSplitsShouldNotRevert(uint8,uint8,uint32)" ], "saved_corpus_calls": 272, "selector": "0xdf65cad7", "share": 0.016865079365 }, { "comparison_key": "0xb89fedbc", "function_names": [ "addStreamWithClamping" ], "function_signatures": [ "addStreamWithClamping(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 271, "selector": "0xb89fedbc", "share": 0.016803075397 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 265, "selector": "0xf24a44c9", "share": 0.016431051587 }, { "comparison_key": "0xf89367f3", "function_names": [ "testReceiversReceivedSplit" ], "function_signatures": [ "testReceiversReceivedSplit(uint8)" ], "saved_corpus_calls": 265, "selector": "0xf89367f3", "share": 0.016431051587 }, { "comparison_key": "0x441581e7", "function_names": [ "setSplitsWithClamping" ], "function_signatures": [ "setSplitsWithClamping(uint8,uint8,uint32)" ], "saved_corpus_calls": 264, "selector": "0x441581e7", "share": 0.016369047619 }, { "comparison_key": "0x30387686", "function_names": [ "testSplitShouldNotRevert" ], "function_signatures": [ "testSplitShouldNotRevert(uint8)" ], "saved_corpus_calls": 261, "selector": "0x30387686", "share": 0.016183035714 }, { "comparison_key": "0xec13b1ca", "function_names": [ "testAddStreamShouldNotRevert" ], "function_signatures": [ "testAddStreamShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 259, "selector": "0xec13b1ca", "share": 0.016059027778 }, { "comparison_key": "0x6cc8862a", "function_names": [ "testGiveShouldNotRevert" ], "function_signatures": [ "testGiveShouldNotRevert(uint8,uint8,uint128)" ], "saved_corpus_calls": 257, "selector": "0x6cc8862a", "share": 0.015935019841 }, { "comparison_key": "0x8d8b7f3b", "function_names": [ "setSplits" ], "function_signatures": [ "setSplits(uint8,uint8,uint32)" ], "saved_corpus_calls": 257, "selector": "0x8d8b7f3b", "share": 0.015935019841 }, { "comparison_key": "0xe31f637a", "function_names": [ "testCollect" ], "function_signatures": [ "testCollect(uint8,uint8)" ], "saved_corpus_calls": 253, "selector": "0xe31f637a", "share": 0.015687003968 }, { "comparison_key": "0x32dc4442", "function_names": [ "testSqueezeWithFullyHashedHistory" ], "function_signatures": [ "testSqueezeWithFullyHashedHistory(uint8,uint8)" ], "saved_corpus_calls": 252, "selector": "0x32dc4442", "share": 0.015625 }, { "comparison_key": "0x82ce0f6d", "function_names": [ "testReceiveStreamsShouldNotRevert" ], "function_signatures": [ "testReceiveStreamsShouldNotRevert(uint8)" ], "saved_corpus_calls": 252, "selector": "0x82ce0f6d", "share": 0.015625 }, { "comparison_key": "0x68c69e1c", "function_names": [ "testSqueezeWithDefaultHistoryShouldNotRevert" ], "function_signatures": [ "testSqueezeWithDefaultHistoryShouldNotRevert(uint8,uint8)" ], "saved_corpus_calls": 251, "selector": "0x68c69e1c", "share": 0.015562996032 }, { "comparison_key": "0x1a042ae7", "function_names": [ "invariant_canary" ], "function_signatures": [ "invariant_canary()" ], "saved_corpus_calls": 249, "selector": "0x1a042ae7", "share": 0.015438988095 }, { "comparison_key": "0xe393d86b", "function_names": [ "removeStream" ], "function_signatures": [ "removeStream(uint8,uint256)" ], "saved_corpus_calls": 248, "selector": "0xe393d86b", "share": 0.015376984127 }, { "comparison_key": "0x12dbc6ae", "function_names": [ "testCollectShouldNotRevert" ], "function_signatures": [ "testCollectShouldNotRevert(uint8,uint8)" ], "saved_corpus_calls": 246, "selector": "0x12dbc6ae", "share": 0.01525297619 }, { "comparison_key": "0xfabaa91d", "function_names": [ "testSetStreamBalanceWithdrawAllShouldNotRevert" ], "function_signatures": [ "testSetStreamBalanceWithdrawAllShouldNotRevert(uint8)" ], "saved_corpus_calls": 245, "selector": "0xfabaa91d", "share": 0.015190972222 }, { "comparison_key": "0x611aa8c7", "function_names": [ "invariantAccountingVsTokenBalance" ], "function_signatures": [ "invariantAccountingVsTokenBalance()" ], "saved_corpus_calls": 241, "selector": "0x611aa8c7", "share": 0.014942956349 }, { "comparison_key": "0x45b9b0ba", "function_names": [ "testReceiveStreamsViewVsActual" ], "function_signatures": [ "testReceiveStreamsViewVsActual(uint8,uint32)" ], "saved_corpus_calls": 239, "selector": "0x45b9b0ba", "share": 0.014818948413 }, { "comparison_key": "0x1ef44aed", "function_names": [ "split" ], "function_signatures": [ "split(uint8)" ], "saved_corpus_calls": 236, "selector": "0x1ef44aed", "share": 0.014632936508 }, { "comparison_key": "0x81b0058c", "function_names": [ "testSqueezeViewVsActual" ], "function_signatures": [ "testSqueezeViewVsActual(uint8,uint8)" ], "saved_corpus_calls": 234, "selector": "0x81b0058c", "share": 0.014508928571 }, { "comparison_key": "0xf288ca3f", "function_names": [ "invariantWithdrawShouldAlwaysFail" ], "function_signatures": [ "invariantWithdrawShouldAlwaysFail(uint256)" ], "saved_corpus_calls": 233, "selector": "0xf288ca3f", "share": 0.014446924603 }, { "comparison_key": "0x01b73ab9", "function_names": [ "testBalanceAtInFuture" ], "function_signatures": [ "testBalanceAtInFuture(uint8,uint8,uint160)" ], "saved_corpus_calls": 232, "selector": "0x01b73ab9", "share": 0.014384920635 }, { "comparison_key": "0x2e0c28fb", "function_names": [ "setMaxEndHints" ], "function_signatures": [ "setMaxEndHints(uint32,uint32)" ], "saved_corpus_calls": 231, "selector": "0x2e0c28fb", "share": 0.014322916667 }, { "comparison_key": "0xcdb89fe8", "function_names": [ "give" ], "function_signatures": [ "give(uint8,uint8,uint128)" ], "saved_corpus_calls": 231, "selector": "0xcdb89fe8", "share": 0.014322916667 }, { "comparison_key": "0x1c1e74b7", "function_names": [ "testSqueezableVsReceived" ], "function_signatures": [ "testSqueezableVsReceived(uint8)" ], "saved_corpus_calls": 226, "selector": "0x1c1e74b7", "share": 0.014012896825 }, { "comparison_key": "0x3b0786f0", "function_names": [ "receiveStreamsAllCycles" ], "function_signatures": [ "receiveStreamsAllCycles(uint8)" ], "saved_corpus_calls": 226, "selector": "0x3b0786f0", "share": 0.014012896825 }, { "comparison_key": "0x424df745", "function_names": [ "testCollectableAfterSplit" ], "function_signatures": [ "testCollectableAfterSplit(uint8)" ], "saved_corpus_calls": 226, "selector": "0x424df745", "share": 0.014012896825 }, { "comparison_key": "0x8319b8db", "function_names": [ "receiveStreamsSplitAndCollectToSelf" ], "function_signatures": [ "receiveStreamsSplitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 226, "selector": "0x8319b8db", "share": 0.014012896825 }, { "comparison_key": "0xec992a3f", "function_names": [ "testReceiveStreams" ], "function_signatures": [ "testReceiveStreams(uint8,uint32)" ], "saved_corpus_calls": 226, "selector": "0xec992a3f", "share": 0.014012896825 }, { "comparison_key": "0x1ba3a23c", "function_names": [ "testReceiveStreamsViewConsistency" ], "function_signatures": [ "testReceiveStreamsViewConsistency(uint8,uint32)" ], "saved_corpus_calls": 223, "selector": "0x1ba3a23c", "share": 0.013826884921 }, { "comparison_key": "0x0e8df0d4", "function_names": [ "testSqueeze" ], "function_signatures": [ "testSqueeze(uint8,uint8)" ], "saved_corpus_calls": 221, "selector": "0x0e8df0d4", "share": 0.013702876984 }, { "comparison_key": "0x12a17262", "function_names": [ "squeezeAllAndReceiveAndSplitAndCollectToSelf" ], "function_signatures": [ "squeezeAllAndReceiveAndSplitAndCollectToSelf(uint8)" ], "saved_corpus_calls": 219, "selector": "0x12a17262", "share": 0.013578869048 }, { "comparison_key": "0x402f2eae", "function_names": [ "testSplitViewVsActual" ], "function_signatures": [ "testSplitViewVsActual(uint8)" ], "saved_corpus_calls": 216, "selector": "0x402f2eae", "share": 0.013392857143 }, { "comparison_key": "0x925d2ba2", "function_names": [ "testSetStreamBalanceShouldNotRevert" ], "function_signatures": [ "testSetStreamBalanceShouldNotRevert(uint8,int128)" ], "saved_corpus_calls": 214, "selector": "0x925d2ba2", "share": 0.013268849206 }, { "comparison_key": "0x4e0ad60b", "function_names": [ "testSqueezableAmountCantBeWithdrawn" ], "function_signatures": [ "testSqueezableAmountCantBeWithdrawn(uint8,uint8)" ], "saved_corpus_calls": 213, "selector": "0x4e0ad60b", "share": 0.013206845238 }, { "comparison_key": "0xcf2634be", "function_names": [ "squeezeWithDefaultHistory" ], "function_signatures": [ "squeezeWithDefaultHistory(uint8,uint8)" ], "saved_corpus_calls": 212, "selector": "0xcf2634be", "share": 0.01314484127 }, { "comparison_key": "0xfa1227cd", "function_names": [ "testSetStreamBalance" ], "function_signatures": [ "testSetStreamBalance(uint8,int128)" ], "saved_corpus_calls": 211, "selector": "0xfa1227cd", "share": 0.013082837302 }, { "comparison_key": "0xed2ce2d6", "function_names": [ "squeezeWithFuzzedHistory" ], "function_signatures": [ "squeezeWithFuzzedHistory(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 209, "selector": "0xed2ce2d6", "share": 0.012958829365 }, { "comparison_key": "0x2e81ecdc", "function_names": [ "addSplitsReceiverWithClamping" ], "function_signatures": [ "addSplitsReceiverWithClamping(uint8,uint8,uint32)" ], "saved_corpus_calls": 201, "selector": "0x2e81ecdc", "share": 0.012462797619 }, { "comparison_key": "0x47bc779b", "function_names": [ "testAddSplitsShouldNotRevert" ], "function_signatures": [ "testAddSplitsShouldNotRevert(uint8,uint8,uint32)" ], "saved_corpus_calls": 199, "selector": "0x47bc779b", "share": 0.012338789683 }, { "comparison_key": "0x3ba851ca", "function_names": [ "setStreamsWithClamping" ], "function_signatures": [ "setStreamsWithClamping(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 197, "selector": "0x3ba851ca", "share": 0.012214781746 }, { "comparison_key": "0x3bfbc3bd", "function_names": [ "setStreamBalance" ], "function_signatures": [ "setStreamBalance(uint8,int128)" ], "saved_corpus_calls": 195, "selector": "0x3bfbc3bd", "share": 0.01209077381 }, { "comparison_key": "0x6fdf0fee", "function_names": [ "setStreamBalanceWithdrawAll" ], "function_signatures": [ "setStreamBalanceWithdrawAll(uint8)" ], "saved_corpus_calls": 194, "selector": "0x6fdf0fee", "share": 0.012028769841 }, { "comparison_key": "0x93191ccc", "function_names": [ "invariantWithdrawAllTokens" ], "function_signatures": [ "invariantWithdrawAllTokens()" ], "saved_corpus_calls": 190, "selector": "0x93191ccc", "share": 0.011780753968 }, { "comparison_key": "0x79f368d0", "function_names": [ "squeezeAllSenders" ], "function_signatures": [ "squeezeAllSenders(uint8)" ], "saved_corpus_calls": 189, "selector": "0x79f368d0", "share": 0.01171875 }, { "comparison_key": "0x462664e4", "function_names": [ "testRemoveStreamShouldNotRevert" ], "function_signatures": [ "testRemoveStreamShouldNotRevert(uint8,uint256)" ], "saved_corpus_calls": 187, "selector": "0x462664e4", "share": 0.011594742063 }, { "comparison_key": "0x55072e3e", "function_names": [ "collect" ], "function_signatures": [ "collect(uint8,uint8)" ], "saved_corpus_calls": 187, "selector": "0x55072e3e", "share": 0.011594742063 }, { "comparison_key": "0x7e089b12", "function_names": [ "testSqueezeTwice" ], "function_signatures": [ "testSqueezeTwice(uint8,uint8,uint256,bytes32)" ], "saved_corpus_calls": 184, "selector": "0x7e089b12", "share": 0.011408730159 }, { "comparison_key": "0x0787f556", "function_names": [ "giveClampedAmount" ], "function_signatures": [ "giveClampedAmount(uint8,uint8,uint128)" ], "saved_corpus_calls": 181, "selector": "0x0787f556", "share": 0.011222718254 }, { "comparison_key": "0x0325f4e1", "function_names": [ "addSplitsReceiver" ], "function_signatures": [ "addSplitsReceiver(uint8,uint8,uint32)" ], "saved_corpus_calls": 179, "selector": "0x0325f4e1", "share": 0.011098710317 }, { "comparison_key": "0xfed02144", "function_names": [ "receiveStreams" ], "function_signatures": [ "receiveStreams(uint8,uint32)" ], "saved_corpus_calls": 177, "selector": "0xfed02144", "share": 0.010974702381 }, { "comparison_key": "0x752315fa", "function_names": [ "testSetStreamsShouldNotRevert" ], "function_signatures": [ "testSetStreamsShouldNotRevert(uint8,uint8,uint160,uint32,uint32,int128)" ], "saved_corpus_calls": 156, "selector": "0x752315fa", "share": 0.009672619048 } ], "fuzzer": "recon-fuzzer", "instances": 2, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 16128, "status": "available", "unavailable_instances": 0, "unique_call_identities": 67, "unique_selectors": 67 } ], "health_findings": [ { "instance_label": "i-093a6dd5d2b926065-recon-v0.4.6", "kind": "peer_heuristic_gap", "message": "i-093a6dd5d2b926065-recon-v0.4.6: peer-heuristic gap (diagnostic, not ground truth): absent 1 selector(s): 0x21d76db7", "severity": "info" }, { "instance_label": "i-0ff08ba021a054554-recon-v0.4.6", "kind": "peer_heuristic_gap", "message": "i-0ff08ba021a054554-recon-v0.4.6: peer-heuristic gap (diagnostic, not ground truth): absent 1 selector(s): 0x21d76db7", "severity": "info" } ], "health_warnings": [], "instances": [ { "artifact_files": 0, "duplicate_sequences": 0, "engine": "foundry", "fuzzer": "foundry", "fuzzer_label": "foundry-git-02c05d9", "ignored_calls": 0, "instance_id": "i-0064e4a60c38595e5", "instance_label": "i-0064e4a60c38595e5-foundry-git-02c05d9", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 0, "processed_artifact_bytes": 0, "saved_corpus_calls": 0, "status": "unavailable", "unique_call_identities": 0, "unique_selectors": 0, "warnings": [] }, { "artifact_files": 0, "duplicate_sequences": 0, "engine": "foundry", "fuzzer": "foundry", "fuzzer_label": "foundry-git-02c05d9", "ignored_calls": 0, "instance_id": "i-058a92fa40dc71e39", "instance_label": "i-058a92fa40dc71e39-foundry-git-02c05d9", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 0, "processed_artifact_bytes": 0, "saved_corpus_calls": 0, "status": "unavailable", "unique_call_identities": 0, "unique_selectors": 0, "warnings": [] }, { "artifact_files": 63, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna", "fuzzer_label": "echidna-v2.3.1", "ignored_calls": 0, "instance_id": "i-08aeb92c1b17db4a3", "instance_label": "i-08aeb92c1b17db4a3-echidna-v2.3.1", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 63, "processed_artifact_bytes": 3760285, "saved_corpus_calls": 6254, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 110, "duplicate_sequences": 0, "engine": "recon-fuzzer", "fuzzer": "recon-fuzzer", "fuzzer_label": "recon-v0.4.6", "ignored_calls": 2, "instance_id": "i-093a6dd5d2b926065", "instance_label": "i-093a6dd5d2b926065-recon-v0.4.6", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [ "0x21d76db7" ], "parsed_sequences": 110, "processed_artifact_bytes": 6205185, "saved_corpus_calls": 10517, "status": "available", "unique_call_identities": 67, "unique_selectors": 67, "warnings": [ "peer-heuristic gap (diagnostic, not ground truth): absent 1 selector(s): 0x21d76db7" ] }, { "artifact_files": 61, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna", "fuzzer_label": "echidna-v2.3.1", "ignored_calls": 2, "instance_id": "i-095187848c5450d18", "instance_label": "i-095187848c5450d18-echidna-v2.3.1", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 61, "processed_artifact_bytes": 3645505, "saved_corpus_calls": 6075, "status": "available", "unique_call_identities": 68, "unique_selectors": 68, "warnings": [] }, { "artifact_files": 133, "duplicate_sequences": 0, "engine": "medusa", "fuzzer": "medusa", "fuzzer_label": "medusa-v1.4.1", "ignored_calls": 0, "instance_id": "i-0ce1467fd9f8849bd", "instance_label": "i-0ce1467fd9f8849bd-medusa-v1.4.1", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 133, "processed_artifact_bytes": 4392850, "saved_corpus_calls": 5840, "status": "available", "unique_call_identities": 67, "unique_selectors": 67, "warnings": [] }, { "artifact_files": 145, "duplicate_sequences": 0, "engine": "medusa", "fuzzer": "medusa", "fuzzer_label": "medusa-v1.4.1", "ignored_calls": 0, "instance_id": "i-0fb580c2fdda2427b", "instance_label": "i-0fb580c2fdda2427b-medusa-v1.4.1", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 145, "processed_artifact_bytes": 3690882, "saved_corpus_calls": 4904, "status": "available", "unique_call_identities": 67, "unique_selectors": 67, "warnings": [] }, { "artifact_files": 58, "duplicate_sequences": 0, "engine": "recon-fuzzer", "fuzzer": "recon-fuzzer", "fuzzer_label": "recon-v0.4.6", "ignored_calls": 1, "instance_id": "i-0ff08ba021a054554", "instance_label": "i-0ff08ba021a054554-recon-v0.4.6", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [ "0x21d76db7" ], "parsed_sequences": 58, "processed_artifact_bytes": 3316509, "saved_corpus_calls": 5611, "status": "available", "unique_call_identities": 67, "unique_selectors": 67, "warnings": [ "peer-heuristic gap (diagnostic, not ground truth): absent 1 selector(s): 0x21d76db7" ] } ], "limitations": [ "i-0064e4a60c38595e5-foundry-git-02c05d9: Foundry selector distribution is unavailable because no persisted corpus was present; failure-event selectors are intentionally not used as a distribution", "i-058a92fa40dc71e39-foundry-git-02c05d9: Foundry selector distribution is unavailable because no persisted corpus was present; failure-event selectors are intentionally not used as a distribution" ], "measurement": "Counts are occurrences in unique saved corpus sequences, not runtime execution frequencies", "run_id": "gh-29781264950-1", "schema_version": 1 }