wip

joelberkeley · Jul 4, 2022 · e8d92a7 · e8d92a7
1 parent ef075a2
commit e8d92a7
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/test/Unit/TestTensor.idr b/test/Unit/TestTensor.idr
@@ -1085,17 +1085,14 @@ iidKolmogorovSmirnov samples cdf =
 
 covering
 uniform : Property
-uniform = withTests 10 . property $ do
+uniform = withTests 20 . property $ do
   bound <- forAll (literal [5] finiteDoubles)
   bound' <- forAll (literal [5] finiteDoubles)
   key <- forAll (literal [] nats)
   seed <- forAll (literal [1] nats)
 
   let bound = fromLiteral bound
       bound' = fromLiteral bound'
-      bound' = select (bound == bound')
-        (select (bound == fill 0.0) (fill 0.001) (1.1 * bound'))
-        bound'
       key = fromLiteral key
       seed = fromLiteral seed
       samples = evalState seed (uniform key (broadcast bound) (broadcast bound'))
@@ -1105,7 +1102,7 @@ uniform = withTests 10 . property $ do
 
       ksTest := iidKolmogorovSmirnov samples uniformCdf
 
-  diff (toLiteral ksTest) (<) 0.015
+  diff (toLiteral ksTest) (<) 0.01
 
 covering
 uniformForNonFiniteBounds : Property