language-smtlib-0.1.0.0: test/samples/smt/print-success.smt2
(set-logic QF_UF) (get-option :print-success) (declare-fun a () Bool) (set-option :print-success false) (get-option :print-success) (declare-fun b () Bool) (assert (or a b)) (check-sat)
(set-logic QF_UF) (get-option :print-success) (declare-fun a () Bool) (set-option :print-success false) (get-option :print-success) (declare-fun b () Bool) (assert (or a b)) (check-sat)