Benchexec tool module: add 'unpack" directory as required.

SMT-COMP · Apr 23, 2024 · e2e1234 · e2e1234
1 parent c298d36
commit e2e1234
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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