Update REQUIRED_PATHS variable
Update  tool-info module that requires new folders.
@@ -36,10 +36,11 @@ class Tool(benchexec.tools.template.BaseTool):
]
REQUIRED_PATHS_7_1 = [
- "__init__.py",
"map2check",
"map2check-wrapper.py",
- "modules"
+ "bin",
+ "include",
+ "lib"
]
def executable(self):
