Make MetaVal's wrapped tool folders more generic
It is probably a bad idea anyway to have this mapping in the
tool-info module. For now we just make the names generic,
later we might want to move this into the tool instead.
@@ -29,8 +29,8 @@ class Tool(benchexec.tools.template.BaseTool2):
"""
TOOL_TO_PATH_MAP = {
- "cpachecker-metaval": "CPAchecker",
- "cpachecker": "CPAchecker-1.7-svn 29852-unix",
+ "cpachecker-metaval": "CPAchecker-backend",
+ "cpachecker": "CPAchecker",
"esbmc": "esbmc",
"symbiotic": "symbiotic",
"yogar-cbmc": "yogar-cbmc",
