From c35f6adb7064305712e93f816b26982e2249dfa3 Mon Sep 17 00:00:00 2001
From: Po-Chun Chien <po-chun.chien@sosy.ifi.lmu.de>
Date: Wed, 4 Dec 2024 13:32:40 +0100
Subject: [PATCH] Add lib/ to MoXIchecker's required paths

---
 benchexec/tools/moxichecker.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/benchexec/tools/moxichecker.py b/benchexec/tools/moxichecker.py
index 06fc12a65..0764f511f 100644
--- 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")