Use assertWith to clarify property prop_listRegisteredPools.

cardano-foundation · Sep 16, 2020 · 8b81962 · 8b81962
1 parent 013623e
commit 8b81962
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/lib/core/test/unit/Cardano/Pool/DB/Properties.hs b/lib/core/test/unit/Cardano/Pool/DB/Properties.hs
@@ -911,7 +911,8 @@ prop_listRegisteredPools DBLayer {..} entries =
         monitor $ counterexample $ unlines
             [ "Read from DB: " <> show pools
             ]
-        assert (L.sort pools == L.sort (view #poolId <$> entries))
+        assertWith "pools written == pools retrieved"
+            (L.sort pools == L.sort (view #poolId <$> entries))
 
 -- | Test that `listRetiredPools` returns the correct set of retirements for
 --   any given epoch.