diff --git a/tools/push3-evolution/revm-evaluator/batch-eval.sh b/tools/push3-evolution/revm-evaluator/batch-eval.sh
index e5210e9..e6c68e1 100755
--- a/tools/push3-evolution/revm-evaluator/batch-eval.sh
+++ b/tools/push3-evolution/revm-evaluator/batch-eval.sh
@@ -103,6 +103,12 @@ fi
 # =============================================================================
 
 MANIFEST_DIR="$(mktemp -d)"
+
+cleanup() {
+    [ -d "${MANIFEST_DIR:-}" ] && rm -rf "$MANIFEST_DIR"
+}
+trap cleanup EXIT
+
 IDS_FILE="$MANIFEST_DIR/ids.txt"
 BYTECODES_FILE="$MANIFEST_DIR/bytecodes.txt"