1 2 3 4 5 6
; REQUIRES: symfpu ; EXPECT: unsat (set-logic QF_FP) (declare-const x Float32) (assert (not (= x (fp.neg (fp.neg x))))) (check-sat)