Replace H.annotate with H.noteShow_

IntersectMBO · Apr 17, 2023 · 5712fa8 · 5712fa8
1 parent fcd3744
commit 5712fa8
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/cardano-testnet/test/Test/Cli/Alonzo/LeadershipSchedule.hs b/cardano-testnet/test/Test/Cli/Alonzo/LeadershipSchedule.hs
@@ -516,7 +516,7 @@ hprop_leadershipSchedule = integrationRetryWorkspace 2 "alonzo-leadership-schedu
   H.noteShow_ notLeaderSlots
 
   -- Double check that we've seen all slots
-  H.annotate "Slots not seen as TraceNodeIsLeader nor TraceNodeNotLeader"
+  H.noteShow_ "Slots not seen as TraceNodeIsLeader nor TraceNodeNotLeader"
   ([minimum expectedLeadershipSlotNumbers .. maxSlotExpected] \\ leaderSlots) \\ notLeaderSlots === []
 
   -- It's possible for some slots to not be assigned in TPraos when BFT nodes are running.

diff --git a/cardano-testnet/test/Test/Cli/Babbage/LeadershipSchedule.hs b/cardano-testnet/test/Test/Cli/Babbage/LeadershipSchedule.hs
@@ -150,7 +150,7 @@ hprop_leadershipSchedule = H.integrationRetryWorkspace 2 "babbage-leadership-sch
     H.noteShow_ notLeaderSlots
 
     -- Double check that we've seen all slots
-    H.annotate "Slots not seen as TraceNodeIsLeader nor TraceNodeNotLeader"
+    H.noteShow_ "Slots not seen as TraceNodeIsLeader nor TraceNodeNotLeader"
     ([minimum expectedLeadershipSlotNumbers .. maxSlotExpected] \\ leaderSlots) \\ notLeaderSlots === []
 
     -- As there are no BFT nodes, the next leadership schedule should match slots assigned exactly
@@ -197,7 +197,7 @@ hprop_leadershipSchedule = H.integrationRetryWorkspace 2 "babbage-leadership-sch
     H.noteShow_ notLeaderSlots
 
     -- Double check that we've seen all slots
-    H.annotate "Slots not seen as TraceNodeIsLeader nor TraceNodeNotLeader"
+    H.noteShow_ "Slots not seen as TraceNodeIsLeader nor TraceNodeNotLeader"
     ([minimum expectedLeadershipSlotNumbers .. maxSlotExpected] \\ leaderSlots) \\ notLeaderSlots === []
 
     -- As there are no BFT nodes, the next leadership schedule should match slots assigned exactly