Slightly nicer looking cover/tabulate

dustin · Aug 24, 2023 · a2159f3 · a2159f3
1 parent 4294d6e
commit a2159f3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/ExpiringSpec.hs b/test/ExpiringSpec.hs
@@ -42,8 +42,8 @@ allOpTypes = ["Insert", "Delete", "Update", "UpdateNothing", "NewGeneration"]
 -- Verify that after a series of operations, the map and expiring map return the same values for the given keys.
 prop_expMapDoesMapStuff :: [Mutation] -> [SomeKey] -> Property
 prop_expMapDoesMapStuff ops lookups =
-  coverTable "pkt types" ((,5) <$> allOpTypes) $
-  tabulate "pkt types" (takeWhile (/= ' ') . show <$> ops) $
+  coverTable "mutation types" ((,5) <$> allOpTypes) $ -- The test paths should hit every mutation type (5% min)
+  tabulate "mutation types" (takeWhile (/= ' ') . show <$> ops) $ -- We can identify one by the first word in its constructor
   checkCoverage $
   ((`Map.lookup` massocs) <$> lookups) === ((`ExpiringMap.lookup` eassocs) <$> lookups)
   where