blob: 648a1b11103f374b48e14c757c7b218acc0b4b5c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
; COMMAND-LINE: --strings-exp --no-re-elim
(set-info :status unsat)
(set-logic ALL)
(declare-const actionName String)
(assert
(str.in_re actionName (re.++ (str.to_re "wiz") (re.* re.allchar) (str.to_re "foobar") (re.* re.allchar) (str.to_re "baz/") (re.* re.allchar))))
(assert (not
(str.in_re actionName (re.++ (str.to_re "wiz") (re.* re.allchar) (re.++ (str.to_re "foo") re.allchar (str.to_re "ar")) (re.* re.allchar) (str.to_re "baz/") (re.* re.allchar)))
))
(check-sat)
|