diff options
-rw-r--r-- | lib/scalacheck-1.6dev.jar.desired.sha1 | 2 | ||||
-rw-r--r-- | test/files/lib/ScalaCheck.jar.desired.sha1 | 2 | ||||
-rw-r--r-- | test/files/scalacheck/array.scala | 37 |
3 files changed, 39 insertions, 2 deletions
diff --git a/lib/scalacheck-1.6dev.jar.desired.sha1 b/lib/scalacheck-1.6dev.jar.desired.sha1 index 3dc47f53f5..ebb5579b27 100644 --- a/lib/scalacheck-1.6dev.jar.desired.sha1 +++ b/lib/scalacheck-1.6dev.jar.desired.sha1 @@ -1 +1 @@ -08cea28f282d8360a6344a8cfb853522e18915bb ?scalacheck-1.6dev.jar +11d0f9f9235146558bbfe94f3270aa5be3930079 ?scalacheck-1.6dev.jar diff --git a/test/files/lib/ScalaCheck.jar.desired.sha1 b/test/files/lib/ScalaCheck.jar.desired.sha1 index 55aa27f176..eaf6a10124 100644 --- a/test/files/lib/ScalaCheck.jar.desired.sha1 +++ b/test/files/lib/ScalaCheck.jar.desired.sha1 @@ -1 +1 @@ -08cea28f282d8360a6344a8cfb853522e18915bb ?ScalaCheck.jar +11d0f9f9235146558bbfe94f3270aa5be3930079 ?ScalaCheck.jar diff --git a/test/files/scalacheck/array.scala b/test/files/scalacheck/array.scala new file mode 100644 index 0000000000..0b7dee5716 --- /dev/null +++ b/test/files/scalacheck/array.scala @@ -0,0 +1,37 @@ +import org.scalacheck._ +import Prop._ +import Gen._ +import Arbitrary._ +import util._ +import Buildable._ + +object Test extends Properties("Array") { + val myGens: Seq[Gen[Array[_]]] = List( + arbArray[Int], + arbArray[Array[Int]], + arbArray[List[String]], + arbArray[String], + arbArray[Boolean], + arbArray[AnyVal](arbAnyVal) + ) map (_.arbitrary) + + property("eq/ne") = + forAll(oneOf(myGens: _*)) { c1 => + forAll(oneOf(myGens: _*)) { c2 => + (c1 eq c2) || (c1 ne c2) + } + } + + def smallInt = choose(1, 10) + property("ofDim") = forAll(smallInt) { i1 => + forAll(smallInt) { i2 => + forAll(smallInt) { i3 => + val arr = Array.ofDim[String](i1, i2, i3) + val flattened = arr flatMap (x => x) flatMap (x => x) + + flattened.length == i1 * i2 * i3 + } + } + } +} + |