diff --git a/tests/rangeTest.hs b/tests/rangeTest.hs index 704a36c717c7582ec7a4f60dfb06892da10d0d54..88f736d02db4c4afeb4918d51ad8b978be83453e 100644 --- a/tests/rangeTest.hs +++ b/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)) diff --git a/tests/rangeTest.stdout b/tests/rangeTest.stdout index 55ccaffb4e62ba7d57f8ae06202f429d32b84b9d..f9d9479d9900516836d4676243ab809635cc6598 100644 --- a/tests/rangeTest.stdout +++ b/tests/rangeTest.stdout @@ -1,5 +1,7 @@ Int: Passed Integer: Passed +Integer Rbig: Passed +Integer RbigPos: Passed Int8: Passed Int16: Passed Int32: Passed