/test/regress/regress2/strings/

• ../
• cmu-dis-0707-3.smt2
• cmu-disagree-0707-dd.smt2
• cmu-prereg-fmf.smt2
• cmu-repl-len-nterm.smt2
• issue3203.smt2
• issue918.smt2
• non_termination_regular_expression6.smt2
• norn-dis-0707-3.smt2
• range-perf.smt2
• repl-repl.smt2
• replaceall-diffrange.smt2
• replaceall-len-c.smt2
• small-1.smt2