summaryrefslogtreecommitdiff
path: root/test/regress/regress0/nl/all-logic.smt2
blob: 700e5d919b79aa5b716ae511feedd49db555c22c (plain) 
1
2
3
4
5
6
7
8

(set-logic ALL)
(set-info :status unsat)

(declare-fun x () Real)

(assert (< (* x x) 0.0))

(check-sat)
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback