Test that we produce a certain # of spans.

robrix · Jul 8, 2020 · 3aebe3d · 3aebe3d
1 parent 500d0c3
commit 3aebe3d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/test/Data/IntervalSet/Test.hs b/test/Data/IntervalSet/Test.hs
@@ -37,7 +37,8 @@ tests = map checkParallel
       assert $ inf i <= sup i)
     , ("coverage", verifiedTermination . withConfidence (10^(6 :: Int)) . property $ do
       i <- forAll gi
-      cover 5 "point" (inf i == sup i))
+      cover 5 "point" (inf i == sup i)
+      cover 20 "span" (inf i < sup i))
     ]
   ]
   where