1 2 3 4 5 6 7
; COMMAND-LINE: --strings-exp ; EXPECT: sat (set-logic QF_SLIA) (declare-const x String) (assert (str.in.re x (re.loop (re.range "0" "9") 12 12))) (assert (str.in.re x (re.++ (re.* re.allchar) (str.to.re "01") (re.* re.allchar)))) (check-sat)