From 745326ee26236e2233e28a9f2f6e006d277a86f3 Mon Sep 17 00:00:00 2001
From: "Dongjia \"toka\" Zhang" <tokazerkje@outlook.com>
Date: Mon, 30 Oct 2023 19:27:55 +0100
Subject: [PATCH] Add post_run_target for ShadowExecutor (#1641)

---
 libafl/src/executors/shadow.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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<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
     }
 }