Skip to content

Commit

Permalink
outbound-governor: fixed a counterexample label
Browse files Browse the repository at this point in the history
  • Loading branch information
coot committed May 6, 2024
1 parent 2fc1abc commit 921653e
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -2099,7 +2099,7 @@ prop_diffusion_target_active_below defaultBearerInfo diffScript =

in counterexample
("\nSignal key: (local, established peers, active peers, " ++
"recent failures, opportunities, ignored too long)") $
"recent failures, opportunities, is node running, ignored too long)") $
counterexample
(intercalate "\n" $ map show $ Signal.eventsToList events) $

Expand Down

0 comments on commit 921653e

Please sign in to comment.