Include folder dependencies from previous years
@@ -14,7 +14,8 @@ import re
class Tool(benchexec.tools.template.BaseTool):
- REQUIRED_PATHS = ["bin", "lib", "share", "smack-deps", "smack.sh"]
+ REQUIRED_PATHS = ["bin", "lib", "share", "smack-deps", "smack.sh",
+ "boogie", "corral", "llvm", "lockpwn", "smack"]
def executable(self):
"""
