summaryrefslogtreecommitdiff
path: root/test/regress/regress0/bug383.smt2
blob: b0349c00826b588876aae67dab669c8851de1d51 (plain) 
1
2
3
4
5
6
7
8

(set-logic QF_LIA)
(set-info :status sat)
(declare-fun f1 () Int)
(declare-fun f2 () Int)
(declare-fun f3 () Int)
(assert (< 1 f1 f2 f3 5))
(check-sat)
(exit)
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback