Add lib/ to MoXIchecker's required paths

sosy-lab · Dec 4, 2024 · c35f6ad · c35f6ad
1 parent 288d86b
commit c35f6ad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/benchexec/tools/moxichecker.py b/benchexec/tools/moxichecker.py
@@ -14,7 +14,7 @@ class Tool(benchexec.tools.template.BaseTool2):
     Tool info for MoXIchecker
     """
 
-    REQUIRED_PATHS = ["moxichecker/"]
+    REQUIRED_PATHS = ["moxichecker/", "lib/"]
 
     def executable(self, tool_locator):
         return tool_locator.find_executable("moxichecker", subdir="bin")