1 files changed, 20 insertions, 0 deletions
diff --git a/test/regress/regress1/strings/issue2060.smt2 b/test/regress/regress1/strings/issue2060.smt2
new file mode 100644
index 000000000..784fe1862
--- /dev/null
+++ b/test/regress/regress1/strings/issue2060.smt2
@@ -0,0 +1,20 @@
+(set-logic QF_S)
+(set-info :status sat)
+
+(declare-const action String)
+(declare-const example_key String)
+
+(assert (str.in.re action (re.++
+                           (str.to.re "foobar:ab")
+                           (re.* re.allchar)
+                   )))
+
+(declare-const action_1 String)
+(declare-const action_2 String)
+
+(assert (and
+         (= action (str.++ action_1 example_key action_2))
+         (= action_1 "foobar:a")
+         ))
+
+(check-sat)