1 files changed, 0 insertions, 26 deletions
diff --git a/test/regress/regress0/strings/bug615.smt2 b/test/regress/regress0/strings/bug615.smt2
deleted file mode 100644
index 86cc592fb..000000000
--- a/test/regress/regress0/strings/bug615.smt2
+++ /dev/null
@@ -1,26 +0,0 @@
-(set-logic QF_S)
-(set-option :strings-exp true)
-(set-info :status sat)
-
-(declare-fun s () String)
-;(assert (= s "</script><script>alert(1);</script><script>"))
-
-(declare-fun joined () String)
-(assert (= joined (str.++ "<script>console.log('" s "');</script>")))
-(assert (str.contains joined "<script>alert(1);</script>"))
-
-; (<script>[^<]*</script>)+
-(assert (str.in.re joined
-            (re.+ (re.++
-                    (str.to.re "<script>")
-                    (re.*
-                        (re.union
-                            (re.range " " ";")
-                            (re.range "=" "~")
-                        )
-                    )
-                    (str.to.re "</script>")
-            ))
-  ))
-
-(check-sat)