Lines Matching refs:preamble
744 def preamble (self, solver_impl):
745 preamble = []
747 preamble += ['(set-option :print-success true)']
748 preamble += [ '(set-option :produce-models true)',
751 preamble += ['(set-option :produce-unsat-cores true)']
754 preamble.extend (mem_word8_preamble)
756 preamble.extend (mem_word32_preamble)
757 return preamble
776 for msg in self.preamble (solver):
1089 for msg in self.preamble (solver):