<s> """<STR_LIT>""" <EOL> import os <EOL> import benchexec . util as util <EOL> import benchexec . tools . template <EOL> import benchexec . result as result <EOL> REQUIRED_PATHS = [ <EOL> "<STR_LIT>" , <EOL> "<STR_LIT>" , <EOL> ] <EOL> class Tool ( benchexec . tools . template . BaseTool ) : <EOL> def executable ( self ) : <EOL> return util . find_executable ( '<STR_LIT>' , '<STR_LIT>' ) <EOL> def program_files ( self , executable ) : <EOL> installDir = os . path . join ( os . path . dirname ( executable ) , os . path . pardir ) <EOL> return util . flatten ( util . expand_filename_pattern ( path , installDir ) for path in REQUIRED_PATHS ) <EOL> def working_directory ( self , executable ) : <EOL> return os . path . dirname ( executable ) <EOL> def environment ( self , executable ) : <EOL> return { "<STR_LIT>" : { '<STR_LIT>' : '<STR_LIT>' } } <EOL> def version ( self , executable ) : <EOL> return self . _version_from_tool ( executable ) [ <NUM_LIT:6> : <NUM_LIT:11> ] <EOL> def cmdline ( self , blastExe , options , tasks , propertyfile , rlimits ) : <EOL> spec = [ "<STR_LIT>" , propertyfile ] if propertyfile is not None else [ ] <EOL> return [ '<STR_LIT>' , '<STR_LIT>' , os . path . basename ( blastExe ) ] + options + spec + tasks <EOL> def name ( self ) : <EOL> return '<STR_LIT>' <EOL> def determine_result ( self , returncode , returnsignal , output , isTimeout ) : <EOL> status = result . RESULT_UNKNOWN <EOL> for line in output : <EOL> if line . startswith ( '<STR_LIT>' ) : <EOL> status = result . RESULT_FALSE_REACH <EOL> elif line . startswith ( '<STR_LIT>' ) : <EOL> status = result . RESULT_TRUE_PROP <EOL> elif line . startswith ( '<STR_LIT>' ) : <EOL> status = '<STR_LIT>' <EOL> elif line . startswith ( '<STR_LIT>' ) : <EOL> status = '<STR_LIT>' <EOL> elif ( returnsignal == <NUM_LIT:9> ) : <EOL> status = '<STR_LIT>' <EOL> elif '<STR_LIT>' in line : <EOL> status = '<STR_LIT>' <EOL> return status </s>
