Updated tool name to SMACK
@@ -55,7 +55,7 @@ class Tool(benchexec.tools.template.BaseTool):
Sets the name for SMACK, which gets displayed in the "Tool" row in
BenchExec table headers.
"""
- return 'SMACK+Corral'
+ return 'SMACK'
def cmdline(self, executable, options, tasks, propertyfile=None, rlimits={}):
"""
