From e2e123428bee1f6b8b1fcd3ec22953a5d6878fae Mon Sep 17 00:00:00 2001
From: Martin Jonas <mjonas@fbk.eu>
Date: Tue, 23 Apr 2024 08:20:13 +0200
Subject: [PATCH] Benchexec tool module: add 'unpack" directory as required.

---
 smtcomp/tool.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/smtcomp/tool.py b/smtcomp/tool.py
index 1dd0d647..0cfab394 100644
--- a/smtcomp/tool.py
+++ b/smtcomp/tool.py
@@ -12,6 +12,8 @@ class Tool(BaseTool2):  # type: ignore
     Generic tool for smtcomp execution
     """
 
+    REQUIRED_PATHS = ['unpack']
+
     def determine_result(self, run: BaseTool2.Run) -> Any:  # type: ignore
         """Adaptation of Jochen Hoenicke process script