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

(set-info :source "contrived")
(set-info :smt-lib-version 2.0)
(set-info :category "check")
(set-info :status unsat)
(set-logic QF_UF)
(set-info :notes |This benchmark simply checks that SMT-LIB v2 can be parsed.|)
(set-info :difficulty 0.000)
(exit)
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback