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

(set-logic QF_LIA)
(set-info :smt-lib-version 2.6)
(set-info :status unsat)
(assert (let
	   ((a 2))
	   (= a (let ((a 7)) a))))
(check-sat)
(exit)
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback