<s> """<STR_LIT>""" <EOL> import benchexec . tools . template <EOL> import benchexec . result as result <EOL> class CSeqTool ( benchexec . tools . template . BaseTool ) : <EOL> """<STR_LIT>""" <EOL> def version ( self , executable ) : <EOL> return self . _version_from_tool ( executable ) <EOL> def cmdline ( self , executable , options , tasks , propertyfile = None , rlimits = { } ) : <EOL> """<STR_LIT>""" <EOL> assert len ( tasks ) == <NUM_LIT:1> , "<STR_LIT>" <EOL> inputfile = [ "<STR_LIT>" , tasks [ <NUM_LIT:0> ] ] <EOL> spec = [ "<STR_LIT>" , propertyfile ] if propertyfile is not None else [ ] <EOL> return [ executable ] + options + spec + inputfile <EOL> def determine_result ( self , returncode , returnsignal , output , isTimeout ) : <EOL> output = '<STR_LIT:\n>' . join ( output ) <EOL> status = result . RESULT_UNKNOWN <EOL> if "<STR_LIT>" in output : <EOL> status = result . RESULT_FALSE_REACH <EOL> elif "<STR_LIT>" in output : <EOL> status = result . RESULT_TRUE_PROP <EOL> else : <EOL> status = result . RESULT_UNKNOWN <EOL> return status </s>
