summaryrefslogtreecommitdiff
path: root/test/regress/regress0/nl/iand-no-init.smt2
blob: f73703693e6753c30f4132bc1e1dbd9e6decc8a2 (plain) 
1
2
3
4
5

(set-logic ALL)
(set-info :status sat)
(declare-fun y () Int)
(assert (= 0 ((_ iand 5) y 1)))
(check-sat)
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback