Lines Matching defs:preamble
742 def preamble (self, solver_impl):
743 preamble = []
745 preamble += ['(set-option :print-success true)']
746 preamble += [ '(set-option :produce-models true)',
749 preamble += ['(set-option :produce-unsat-cores true)']
752 preamble.extend (mem_word8_preamble)
754 preamble.extend (mem_word32_preamble)
755 return preamble
774 for msg in self.preamble (solver):
1087 for msg in self.preamble (solver):