projects / cvc5.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Fixes for sygus-inst (#8448)
[cvc5.git] / test / regress / cli / regress1 / quantifiers / issue8456-2-syqi-ic.smt2
1 ; COMMAND-LINE: --sygus-inst
2 ; EXPECT: unsat
3 (set-logic ALL)
4 (assert (and (forall ((v (Array (_ BitVec 1) Bool))) (select v (_ bv0 1)))))
5 (check-sat)