test/regress/regress0/arith/issue7984-quant-trans.smt2

   1 ; COMMAND-LINE: --check-models
   2 ; EXPECT: (error "Cannot run check-model on a model with approximate values.")
   3 ; EXIT: 1
   4 (set-logic QF_NRAT)
   5 (set-option :re-elim-agg true)
   6 (declare-fun r6 () Real)
   7 (assert (= 0.0 (cos r6)))
   8 (check-sat)