1 2 3 4 5 6 7
; COMMAND-LINE: --strings-exp (set-logic QF_SLIA) (set-info :status unsat) (declare-const x String) (assert (str.in_re x (re.++ (str.to_re "abc") re.all))) (assert (not (str.prefixof "abc" x))) (check-sat)