def version(self, executable):
        return self._version_from_tool(executable, use_stderr=True).split(' ')[2]
Apply a sepia filter to the color.
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/tools/smack.py/Tool.version--crossover with--dataset/ETHPy150Open facelessuser/ColorHelper/lib/rgba.py/RGBA.sepia