def version(self, executable):
        return self._version_from_tool(executable, use_stderr=True).split(' ')[2]
Sets the version number for SMACK, which gets displayed in the "Tool" row
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/tools/smack.py/Tool.version