zenlambda · December 28, 2015 15:19 · Nov 18, 2013 · Nov 18, 2013
diff --git a/error.txt b/error.txt
@@ -9,4 +9,4 @@
 [info]     arg1 = ""
 [info]   )
 
-// failing "scalatest doc property" i not mentioned anywhere in this error!
+// failing "scalatest doc property" is not mentioned anywhere in this error!
diff --git a/ScalaCheckProperties.scala b/ScalaCheckProperties.scala
@@ -0,0 +1,15 @@
+package simulations
+
+import org.scalacheck.Properties
+import org.scalacheck.Prop.forAll
+
+class ScalaCheckProperties extends Properties("Properties from ScalaTest Docs") {
+
+  // based on example "supply argument names" property from:
+  // http://www.scalatest.org/user_guide/generator_driven_property_checks
+
+  property("scalatest doc property") = forAll { (a: String, b: String) =>
+  	a.length + b.length == ((a + b).length + 1) // Should fail
+  }
+
+}
diff --git a/ScalaTestSuite.scala b/ScalaTestSuite.scala
@@ -0,0 +1,15 @@
+package simulations
+
+import org.scalatest.FunSuite
+import org.scalatest.prop.Checkers
+import org.junit.runner.RunWith
+import org.scalatest.junit.JUnitRunner
+
+@RunWith(classOf[JUnitRunner])
+class ScalaTestSuite extends FunSuite with Checkers {
+
+  test("scalatest property test") {
+	  check(new ScalaCheckProperties)
+  }
+
+}
diff --git a/error.txt b/error.txt
@@ -0,0 +1,12 @@
+[info] ScalaTestSuite:
+[info] - scalatest property test *** FAILED ***
+[info]   GeneratorDrivenPropertyCheckFailedException was thrown during property evaluation.
+[info]  (ScalaTestSuite.scala:12)
+[info]   Falsified after 0 successful property evaluations.
+[info]   Location: (ScalaTestSuite.scala:12)
+[info]   Occurred when passed generated values (
+[info]     arg0 = "",
+[info]     arg1 = ""
+[info]   )
+
+// failing "scalatest doc property" i not mentioned anywhere in this error!