test/regress/cli/regress0/dump-unsat-core-full.smt2

   1 ; COMMAND-LINE: --print-unsat-cores-full --dump-unsat-cores
   2 ; EXPECT: unsat
   3 ; EXPECT: (
   4 ; EXPECT: (and (= x y) (< x y))
   5 ; EXPECT: )
   6 (set-logic QF_LIA)
   7 (set-info :status unsat)
   8 (declare-fun x () Int)
   9 (declare-fun y () Int)
  10 (assert (and (= x y) (< x y)))
  11 (check-sat)