diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/files/run/bug3232.scala | 21 | ||||
-rw-r--r-- | test/files/scalacheck/range.scala | 17 |
2 files changed, 37 insertions, 1 deletions
diff --git a/test/files/run/bug3232.scala b/test/files/run/bug3232.scala new file mode 100644 index 0000000000..acb1a1e0e9 --- /dev/null +++ b/test/files/run/bug3232.scala @@ -0,0 +1,21 @@ +object Test { + // some maximally sized ranges + val r1 = 0 until Int.MaxValue + val r2 = 1 to Int.MaxValue + val r3 = Int.MinValue to -2 + val r4 = Int.MinValue until -1 + + // some exceptional conditions + val e1 = () => (0 to Int.MaxValue).length + val e2 = () => (5 until 5).last + + def main(args: Array[String]): Unit = { + List(r1, r2, r3, r4) foreach (x => assert(x.length == Int.MaxValue)) + + // exception required + List(e1, e2) foreach { f => + try { f() ; assert(false) } + catch { case _ => () } + } + } +} diff --git a/test/files/scalacheck/range.scala b/test/files/scalacheck/range.scala index b14177e38b..6a0e83a47d 100644 --- a/test/files/scalacheck/range.scala +++ b/test/files/scalacheck/range.scala @@ -182,10 +182,25 @@ object SmallValuesRange extends RangeTest("smallValues") { override def myGen = genSmallRange } +object TooLargeRange extends Properties("Too Large Range") { + val genTooLargeStart = for { + start <- choose(-Int.MinValue, 0) + } yield start + + property("Too large range throws exception") = forAll(genTooLargeStart) { start => + try { + val r = Range.inclusive(start, Int.MaxValue, 1) + println("how here? r = " + r.toString) + false + } + catch { case _: IllegalArgumentException => true } + } +} + object Test extends Properties("Range") { import org.scalacheck.{ Test => STest } - List(NormalRangeTest, InclusiveRangeTest, ByOneRangeTest, InclusiveByOneRangeTest) foreach { ps => + List(NormalRangeTest, InclusiveRangeTest, ByOneRangeTest, InclusiveByOneRangeTest, TooLargeRange) foreach { ps => STest.checkProperties(STest.Params(testCallback = ConsoleReporter(0)), ps) } } |