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

(benchmark let_test
  :logic QF_UF
  :status unsat
  :extrafuns ((a U) (b U) (f U U)) 
  :formula (let (?x a) (and (= a b) (not (= ?x b))))
)
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback