Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Reactivated big Integer tests that were deactivated on the master bra…

…nch.
  • Loading branch information...
commit 5541f8cdca26657cfc18bd6d101870e7c3a913a2 1 parent 280f978
@rrnewton rrnewton authored
Showing with 4 additions and 2 deletions.
  1. +2 −2 tests/rangeTest.hs
  2. +2 −0  tests/rangeTest.stdout
View
4 tests/rangeTest.hs
@@ -58,8 +58,8 @@ main =
do
checkBounds "Int" (intRange nb) (approxBounds random trials (undefined::Int))
checkBounds "Integer" (intRange nb) (approxBounds random trials (undefined::Integer))
--- checkBounds "Integer Rbig" (False,-(2^500), 2^500) (approxBounds (randomR (-(2^500), 2^500)) trials (undefined::Integer))
--- checkBounds "Integer RbigPos" (False,1,2^5000) (approxBounds (randomR (1,2^5000)) trials (undefined::Integer))
+ checkBounds "Integer Rbig" (False,-(2^500), 2^500) (approxBounds (randomR (-(2^500), 2^500)) trials (undefined::Integer))
+ checkBounds "Integer RbigPos" (False,1,2^5000) (approxBounds (randomR (1,2^5000)) trials (undefined::Integer))
checkBounds "Int8" (intRange 8) (approxBounds random trials (undefined::Int8))
checkBounds "Int16" (intRange 16) (approxBounds random trials (undefined::Int16))
checkBounds "Int32" (intRange 32) (approxBounds random trials (undefined::Int32))
View
2  tests/rangeTest.stdout
@@ -1,5 +1,7 @@
Int: Passed
Integer: Passed
+Integer Rbig: Passed
+Integer RbigPos: Passed
Int8: Passed
Int16: Passed
Int32: Passed
Please sign in to comment.
Something went wrong with that request. Please try again.