summaryrefslogtreecommitdiff
path: root/test/regress/regress0/strings/complement-simple.smt2
blob: d86fcd225804583d0160df469e6185cd1914a6eb (plain) 
1
2
3
4
5

(set-logic SLIA)
(set-info :status sat)
(declare-fun x () String)
(assert (str.in_re x (re.comp (str.to_re "ABC"))))
(check-sat)
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback