1 2 3 4 5 6 7
; COMMAND-LINE: --strings-exp --re-elim ; EXPECT: unsat (set-logic ALL) (declare-const a String) (assert (str.in_re a (re.++ (str.to_re "A") re.allchar (str.to_re "A")))) (assert (not (str.in_re a (re.++ (str.to_re "A") (re.* (re.++ (str.to_re "A") re.allchar)) re.allchar (str.to_re "A"))))) (check-sat)