summaryrefslogtreecommitdiff
path: root/test/regress/regress0/bug288.smt
blob: 3a2ded4e96ed8da7d327ebc47174be90cd038af2 (plain) 
1
2
3
4
5
6
7
8

(benchmark delta
:logic QF_UFLIA
:extrafuns ((f Int Int))
:extrafuns ((x Int))
:status sat
:formula
(not (= x (f 0)))
)
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback