fix: do not panic if cannot read counterexample (#12467)

grandizzy · web-flow · commit ea9c764629fc · 2025-11-05T22:14:54.000Z
diff --git a/crates/evm/evm/src/executors/fuzz/mod.rs b/crates/evm/evm/src/executors/fuzz/mod.rs
@@ -142,7 +142,7 @@ impl FuzzedExecutor {
         'stop: while continue_campaign(test_data.runs) {
             // If counterexample recorded, replay it first, without incrementing runs.
             let input = if let Some(failure) = self.persisted_failure.take()
-                && func.selector() == failure.calldata[..4]
+                && failure.calldata.get(..4).is_some_and(|selector| func.selector() == selector)
             {
                 failure.calldata.clone()
             } else {

Original file line number	Diff line number	Diff line change
`@@ -142,7 +142,7 @@ impl FuzzedExecutor {`
`142`	`142`	`'stop: while continue_campaign(test_data.runs) {`
`143`	`143`	`// If counterexample recorded, replay it first, without incrementing runs.`
`144`	`144`	`let input = if let Some(failure) = self.persisted_failure.take()`
`145`		`- && func.selector() == failure.calldata[..4]`
	`145`	`+ && failure.calldata.get(..4).is_some_and(\|selector\| func.selector() == selector)`
`146`	`146`	`{`
`147`	`147`	`failure.calldata.clone()`
`148`	`148`	`} else {`