1 files changed, 19 insertions, 0 deletions
diff --git a/test/scalacheck/substringTests.scala b/test/scalacheck/substringTests.scala
new file mode 100644
index 0000000000..df3d18be0b
--- /dev/null
+++ b/test/scalacheck/substringTests.scala
@@ -0,0 +1,19 @@
+import org.scalacheck._
+
+object SubstringTest extends Properties("String") {
+  property("startsWith") = Prop.forAll((a: String, b: String) => (a+b).startsWith(a))
+
+  property("endsWith") = Prop.forAll((a: String, b: String) => (a+b).endsWith(b))
+
+  property("concat") = Prop.forAll((a: String, b: String) =>
+    (a+b).length >= a.length && (a+b).length >= b.length
+  )
+
+  property("substring") = Prop.forAll((a: String, b: String) =>
+    (a+b).substring(a.length) == b
+  )
+
+  property("substring") = Prop.forAll((a: String, b: String, c: String) =>
+    (a+b+c).substring(a.length, a.length+b.length) == b
+  )
+}