Skip to content

Commit f7b2f02

Browse files
committed
testnet: enhanced counterexample for unit_peer_sharing
1 parent 501f6e4 commit f7b2f02

File tree

1 file changed

+2
-1
lines changed
  • ouroboros-network/sim-tests-lib/Test/Ouroboros/Network/Diffusion/Testnet

1 file changed

+2
-1
lines changed

ouroboros-network/sim-tests-lib/Test/Ouroboros/Network/Diffusion/Testnet/Cardano.hs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3932,12 +3932,13 @@ unit_peer_sharing =
39323932
counterexample (concat [ show ip_0
39333933
, " is not a member of received peers "
39343934
, show receivedPeers
3935+
, " for "
3936+
, show addr
39353937
]) $
39363938
ip_0 `Set.member` receivedPeers
39373939
verify _ _ = All True
39383940

39393941
in
3940-
-- counterexample (ppEvents trace) $
39413942
counterexample (Map.foldrWithKey (\addr evs s -> concat [ "\n\n===== "
39423943
, show addr
39433944
, " =====\n\n"

0 commit comments

Comments
 (0)