test/regress/regress0/errorcrash.smt2

   1 ; EXIT: 1
   2 ; EXPECT-ERROR: (error "Parse Error: errorcrash.smt2:5.29: Symbol 'Array' not declared as a type")
   3 (set-logic QF_UF)
   4 (declare-sort U 0)
   5 (declare-fun x () (Array U U))
   6 (declare-fun y () (Array U U))
   7 (assert (= x y))
   8 (check-sat)
   9 (get-value (x y))