summaryrefslogtreecommitdiff
path: root/test/regress/regress0/let.smt
blob: 45d0eaecbcee63a80e6e092ca7a856dd88778b8c (plain)
1
2
3
4
5
(benchmark let_test
  :logic QF_UF
  :status unsat
  :extrafuns ((a U) (b U) (f U U)) 
  :formula (let (?x a) (not (= ?x a))))
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback