#NEWLINE# def _call_interpformat( self , input_str , args = [ ] , verbose = False ) : #NEWLINE# #INDENT# '\n        Call the ``interpformat`` binary with the given input.\n\n        :param input_str: A string whose contents are used as stdin.\n        :param args: A list of command-line arguments.\n        :return: A tuple (stdout, returncode)\n        :see: ``config_prover9``\n        ' #NEWLINE# if ( self . _interpformat_bin is None ) : #NEWLINE# #INDENT# self . _interpformat_bin = self . _modelbuilder . _find_binary ( 'interpformat' , verbose ) #NEWLINE# #UNINDENT# return self . _modelbuilder . _call ( input_str , self . _interpformat_bin , args , verbose )