Rename the monotonicity tests.

robrix · Jul 6, 2020 · 0006ab3 · 0006ab3
1 parent 7a508a5
commit 0006ab3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/Data/IntervalSet/Test.hs b/test/Data/IntervalSet/Test.hs
@@ -25,14 +25,14 @@ tests = testGroup "IntervalSet"
       insert i s === s
     ]
   , testGroup "larger"
-    [ testProperty "monotone" . property $ do
+    [ testProperty "monotonicity" . property $ do
       i1 <- forAll gi
       i2 <- forAll gi
       i3 <- forAll gi
       when (larger i1 (Just i2) && larger i1 (Just i3)) $ larger i1 (Just (i2 <> i3)) === True
     ]
   , testGroup "smaller"
-    [ testProperty "monotone" . property $ do
+    [ testProperty "monotonicity" . property $ do
       i1 <- forAll gi
       i2 <- forAll gi
       i3 <- forAll gi