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 4c221a2 commit 00527d3
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -2110,7 +2110,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 00527d3

Please sign in to comment.