Add version number for yogar-cbmc-parallel
@@ -29,5 +29,8 @@ class Tool(yogar_cbmc.Tool):
def name(self):
return 'Yogar-CBMC-Parallel'
+ def version(self, executable):
+ return self._version_from_tool(executable)
+
def cmdline(self, executable, options, tasks, propertyfile, rlimits):
return [executable] + options + tasks
