diff options
author | Paul Phillips <paulp@improving.org> | 2011-06-30 21:38:03 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-06-30 21:38:03 +0000 |
commit | bf65e48526e022a520d8c88f8a4a290fd6494daa (patch) | |
tree | cabcddb3d35291c2d3f05f6030136876bffb8aac /test/files/scalacheck | |
parent | fa2a19746252334f1691a0b63f4c263db878d438 (diff) | |
download | scala-bf65e48526e022a520d8c88f8a4a290fd6494daa.tar.gz scala-bf65e48526e022a520d8c88f8a4a290fd6494daa.tar.bz2 scala-bf65e48526e022a520d8c88f8a4a290fd6494daa.zip |
Fix for unfortunate bug in Range.init.
Diffstat (limited to 'test/files/scalacheck')
-rw-r--r-- | test/files/scalacheck/range.scala | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/files/scalacheck/range.scala b/test/files/scalacheck/range.scala index 6a0e83a47d..56295f204c 100644 --- a/test/files/scalacheck/range.scala +++ b/test/files/scalacheck/range.scala @@ -130,6 +130,13 @@ abstract class RangeTest(kind: String) extends Properties("Range "+kind) { (t.size == (0 max x min r.size) && t.start == r.start && t.step == r.step) :| str(r)+" / "+str(t)+": "+x } + property("init") = forAll(myGen suchThat (r => expectedSize(r).toInt == expectedSize(r))) { r => + (r.size == 0) || { + val t = r.init + (t.size + 1 == r.size) && (t.isEmpty || t.head == r.head) + } + } + property("takeWhile") = forAll(myGen suchThat (r => expectedSize(r).toInt == expectedSize(r)), arbInt.arbitrary) { (r, x) => val t = (if (r.step > 0) r takeWhile (_ <= x) else r takeWhile(_ >= x)) if (r.size == 0) { |