def executable(self):
        return util.find_executable('smack.sh')
Tells BenchExec to search for 'smack.sh' as the main executable to be
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/tools/smack.py/Tool.executable