Skip to content

Commit

Permalink
Always at least one other peer
Browse files Browse the repository at this point in the history
  • Loading branch information
Niols committed Apr 29, 2024
1 parent f598ee3 commit 3486ae7
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ prop_happyPath synchronized =
( do
gt <- genChains $ pure 0
honest <- genHonestSchedule gt
numOthers <- choose (0, 3)
numOthers <- choose (1, 3)
otherHonests <- if synchronized
then pure $ replicate numOthers honest
else replicateM numOthers (genHonestSchedule gt)
Expand Down

0 comments on commit 3486ae7

Please sign in to comment.