<s> """<STR_LIT>""" <EOL> from __future__ import absolute_import , division , print_function , unicode_literals <EOL> import benchexec . result as result <EOL> import benchexec . tools . template <EOL> class Smtlib2Tool ( benchexec . tools . template . BaseTool ) : <EOL> """<STR_LIT>""" <EOL> def determine_result ( self , returncode , returnsignal , output , isTimeout ) : <EOL> if returnsignal == <NUM_LIT:0> and returncode == <NUM_LIT:0> : <EOL> status = None <EOL> for line in output : <EOL> line = line . strip ( ) <EOL> if line == '<STR_LIT>' : <EOL> status = result . RESULT_UNSAT <EOL> elif line == '<STR_LIT>' : <EOL> status = result . RESULT_SAT <EOL> elif not status and line . startswith ( '<STR_LIT>' ) : <EOL> status = '<STR_LIT>' <EOL> if not status : <EOL> status = result . RESULT_UNKNOWN <EOL> elif ( ( returnsignal == <NUM_LIT:9> ) or ( returnsignal == <NUM_LIT:15> ) ) and isTimeout : <EOL> status = '<STR_LIT>' <EOL> elif returnsignal == <NUM_LIT:9> : <EOL> status = "<STR_LIT>" <EOL> elif returnsignal == <NUM_LIT:6> : <EOL> status = "<STR_LIT>" <EOL> elif returnsignal == <NUM_LIT:15> : <EOL> status = "<STR_LIT>" <EOL> else : <EOL> status = "<STR_LIT>" . format ( returncode ) <EOL> return status </s>
