Add missing path to the tool-info module for TracerX (and reformat)
@@ -24,7 +24,13 @@ class Tool(benchexec.tools.template.BaseTool):
Tool info for Tracer-X (https://www.comp.nus.edu.sg/~tracerx/).
"""
- REQUIRED_PATHS = ["bin", "include", "tracerx_build", "libraries"]
+ REQUIRED_PATHS = [
+ "bin",
+ "include",
+ "libraries",
+ "llvm-3.4.2",
+ "tracerx_build",
+ ]
def executable(self):
return util.find_executable("bin/tracerx")
