sorry for the missing file

diff --git a/test/regress/regress0/strings/escchar.smt2 b/test/regress/regress0/strings/escchar.smt2
new file mode 100644 (file)
index 0000000..508d7f3
--- /dev/null
+++ b/test/regress/regress0/strings/escchar.smt2
@@ -0,0 +1,11 @@
+(set-logic QF_S)\r
+(set-info :status sat)\r
+\r
+(declare-fun x () String)\r
+(declare-const I Int)\r
+\r
+(assert (= x "\0\1\2\3\04\005\x06\7\8\9ABC\\\"\t\a\b"))\r
+(assert (= I (str.len x)))\r
+\r
+\r
+(check-sat)\r