Skip to content

Commit

Permalink
Replace H.annotate with H.noteShow_
Browse files Browse the repository at this point in the history
  • Loading branch information
carbolymer committed Apr 17, 2023
1 parent fcd3744 commit 45657ed
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 3 deletions.
3 changes: 2 additions & 1 deletion cardano-testnet/test/Test/Cli/Alonzo/LeadershipSchedule.hs
Original file line number Diff line number Diff line change
Expand Up @@ -22,6 +22,7 @@ import qualified Data.Map.Strict as Map
import Data.Monoid (Last (..))
import Data.Set (Set)
import qualified Data.Set as Set
import Data.Text (Text)
import qualified Data.Text as T
import qualified Data.Time.Clock as DTC
import GHC.Stack (callStack)
Expand Down Expand Up @@ -516,7 +517,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" :: Text)
([minimum expectedLeadershipSlotNumbers .. maxSlotExpected] \\ leaderSlots) \\ notLeaderSlots === []

-- It's possible for some slots to not be assigned in TPraos when BFT nodes are running.
Expand Down
5 changes: 3 additions & 2 deletions cardano-testnet/test/Test/Cli/Babbage/LeadershipSchedule.hs
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,7 @@ import Cardano.CLI.Shelley.Output (QueryTipLocalStateOutput (..))
import Control.Monad (void)
import Data.List ((\\))
import Data.Monoid (Last (..))
import Data.Text (Text)
import GHC.Stack (callStack)
import Hedgehog (Property, (===))
import Prelude
Expand Down Expand Up @@ -150,7 +151,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" :: Text)
([minimum expectedLeadershipSlotNumbers .. maxSlotExpected] \\ leaderSlots) \\ notLeaderSlots === []

-- As there are no BFT nodes, the next leadership schedule should match slots assigned exactly
Expand Down Expand Up @@ -197,7 +198,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" :: Text)
([minimum expectedLeadershipSlotNumbers .. maxSlotExpected] \\ leaderSlots) \\ notLeaderSlots === []

-- As there are no BFT nodes, the next leadership schedule should match slots assigned exactly
Expand Down

0 comments on commit 45657ed

Please sign in to comment.