AProVE 2025 (sosy-lab#1083)

Co-authored-by: nilslommen <[email protected]>
ultimate-pa · Oct 22, 2024 · ddd3986 · ddd3986
1 parent a9ebc8e
commit ddd3986
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/benchexec/tools/aprove.py b/benchexec/tools/aprove.py
@@ -22,7 +22,14 @@ class Tool(benchexec.tools.template.BaseTool2):
     Only the binary (jar) distribution of AProVE is supported.
     """
 
-    REQUIRED_PATHS = ["aprove.jar", "AProVE.sh", "bin", "newstrategy.strategy"]
+    REQUIRED_PATHS = [
+        "aprove.jar",
+        "AProVE.sh",
+        "bin",
+        "newstrategy.strategy",
+        "lib",
+        "fake_include",
+    ]
     BIT_WIDTH_PARAMETER_NAME = "--bit-width"
 
     def executable(self, tool_locator):