diff --git a/libafl/src/executors/shadow.rs b/libafl/src/executors/shadow.rs index bf749268c7..67ecada499 100644 --- a/libafl/src/executors/shadow.rs +++ b/libafl/src/executors/shadow.rs @@ -70,7 +70,9 @@ where mgr: &mut EM, input: &Self::Input, ) -> Result { - self.executor.run_target(fuzzer, state, mgr, input) + let ret = self.executor.run_target(fuzzer, state, mgr, input); + self.executor.post_run_reset(); + ret } }