Add post_run_target for ShadowExecutor (#1641)

2023-10-30 19:27:55 +01:00 · 2023-10-30 19:27:55 +01:00 · 745326ee26
commit 745326ee26
parent 976d6b2e97
1 changed files with 3 additions and 1 deletions
--- a/libafl/src/executors/shadow.rs
+++ b/libafl/src/executors/shadow.rs
@ -70,7 +70,9 @@ where
        mgr: &mut EM,
        input: &Self::Input,
    ) -> Result<ExitKind, Error> {
-        self.executor.run_target(fuzzer, state, mgr, input)
+        let ret = self.executor.run_target(fuzzer, state, mgr, input);
+        self.executor.post_run_reset();
+        ret
    }
 }