summaryrefslogtreecommitdiff
path: root/test/regress/regress0/preprocess/issue6754-tpp.smt2
blob: 9d34429c6125e0a2d7f2ed76dbc7879f84f67dd3 (plain) 
1
2
3
4
5

(set-logic ALL)
(set-info :status unsat)
(declare-fun a () Bool)
(assert (> (mod (ite a 0 1) 2) 1))
(check-sat)
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback