Home / Input Output / hydra-poc
Sep 22, 10-11 PM (0)
Sep 22, 11-12 AM (0)
Sep 23, 12-1 AM (0)
Sep 23, 1-2 AM (0)
Sep 23, 2-3 AM (0)
Sep 23, 3-4 AM (1)
Sep 23, 4-5 AM (0)
Sep 23, 5-6 AM (0)
Sep 23, 6-7 AM (0)
Sep 23, 7-8 AM (0)
Sep 23, 8-9 AM (0)
Sep 23, 9-10 AM (0)
Sep 23, 10-11 AM (0)
Sep 23, 11-12 PM (0)
Sep 23, 12-1 PM (0)
Sep 23, 1-2 PM (0)
Sep 23, 2-3 PM (0)
Sep 23, 3-4 PM (0)
Sep 23, 4-5 PM (0)
Sep 23, 5-6 PM (0)
Sep 23, 6-7 PM (0)
Sep 23, 7-8 PM (0)
Sep 23, 8-9 PM (0)
Sep 23, 9-10 PM (0)
Sep 23, 10-11 PM (0)
Sep 23, 11-12 AM (0)
Sep 24, 12-1 AM (0)
Sep 24, 1-2 AM (0)
Sep 24, 2-3 AM (0)
Sep 24, 3-4 AM (1)
Sep 24, 4-5 AM (0)
Sep 24, 5-6 AM (0)
Sep 24, 6-7 AM (0)
Sep 24, 7-8 AM (0)
Sep 24, 8-9 AM (0)
Sep 24, 9-10 AM (0)
Sep 24, 10-11 AM (0)
Sep 24, 11-12 PM (0)
Sep 24, 12-1 PM (0)
Sep 24, 1-2 PM (0)
Sep 24, 2-3 PM (0)
Sep 24, 3-4 PM (0)
Sep 24, 4-5 PM (0)
Sep 24, 5-6 PM (0)
Sep 24, 6-7 PM (0)
Sep 24, 7-8 PM (0)
Sep 24, 8-9 PM (0)
Sep 24, 9-10 PM (0)
Sep 24, 10-11 PM (0)
Sep 24, 11-12 AM (0)
Sep 25, 12-1 AM (0)
Sep 25, 1-2 AM (0)
Sep 25, 2-3 AM (0)
Sep 25, 3-4 AM (1)
Sep 25, 4-5 AM (0)
Sep 25, 5-6 AM (1)
Sep 25, 6-7 AM (0)
Sep 25, 7-8 AM (1)
Sep 25, 8-9 AM (0)
Sep 25, 9-10 AM (0)
Sep 25, 10-11 AM (2)
Sep 25, 11-12 PM (1)
Sep 25, 12-1 PM (0)
Sep 25, 1-2 PM (0)
Sep 25, 2-3 PM (1)
Sep 25, 3-4 PM (5)
Sep 25, 4-5 PM (1)
Sep 25, 5-6 PM (1)
Sep 25, 6-7 PM (0)
Sep 25, 7-8 PM (0)
Sep 25, 8-9 PM (0)
Sep 25, 9-10 PM (0)
Sep 25, 10-11 PM (0)
Sep 25, 11-12 AM (0)
Sep 26, 12-1 AM (0)
Sep 26, 1-2 AM (0)
Sep 26, 2-3 AM (0)
Sep 26, 3-4 AM (1)
Sep 26, 4-5 AM (0)
Sep 26, 5-6 AM (0)
Sep 26, 6-7 AM (0)
Sep 26, 7-8 AM (1)
Sep 26, 8-9 AM (1)
Sep 26, 9-10 AM (0)
Sep 26, 10-11 AM (1)
Sep 26, 11-12 PM (9)
Sep 26, 12-1 PM (0)
Sep 26, 1-2 PM (0)
Sep 26, 2-3 PM (0)
Sep 26, 3-4 PM (0)
Sep 26, 4-5 PM (0)
Sep 26, 5-6 PM (0)
Sep 26, 6-7 PM (0)
Sep 26, 7-8 PM (0)
Sep 26, 8-9 PM (2)
Sep 26, 9-10 PM (0)
Sep 26, 10-11 PM (0)
Sep 26, 11-12 AM (0)
Sep 27, 12-1 AM (0)
Sep 27, 1-2 AM (0)
Sep 27, 2-3 AM (0)
Sep 27, 3-4 AM (1)
Sep 27, 4-5 AM (0)
Sep 27, 5-6 AM (0)
Sep 27, 6-7 AM (4)
Sep 27, 7-8 AM (2)
Sep 27, 8-9 AM (4)
Sep 27, 9-10 AM (4)
Sep 27, 10-11 AM (1)
Sep 27, 11-12 PM (3)
Sep 27, 12-1 PM (1)
Sep 27, 1-2 PM (1)
Sep 27, 2-3 PM (1)
Sep 27, 3-4 PM (0)
Sep 27, 4-5 PM (0)
Sep 27, 5-6 PM (0)
Sep 27, 6-7 PM (0)
Sep 27, 7-8 PM (0)
Sep 27, 8-9 PM (0)
Sep 27, 9-10 PM (0)
Sep 27, 10-11 PM (0)
Sep 27, 11-12 AM (0)
Sep 28, 12-1 AM (0)
Sep 28, 1-2 AM (0)
Sep 28, 2-3 AM (0)
Sep 28, 3-4 AM (0)
Sep 28, 4-5 AM (0)
Sep 28, 5-6 AM (0)
Sep 28, 6-7 AM (0)
Sep 28, 7-8 AM (0)
Sep 28, 8-9 AM (0)
Sep 28, 9-10 AM (0)
Sep 28, 10-11 AM (0)
Sep 28, 11-12 PM (0)
Sep 28, 12-1 PM (0)
Sep 28, 1-2 PM (3)
Sep 28, 2-3 PM (0)
Sep 28, 3-4 PM (0)
Sep 28, 4-5 PM (0)
Sep 28, 5-6 PM (0)
Sep 28, 6-7 PM (0)
Sep 28, 7-8 PM (0)
Sep 28, 8-9 PM (0)
Sep 28, 9-10 PM (0)
Sep 28, 10-11 PM (0)
Sep 28, 11-12 AM (0)
Sep 29, 12-1 AM (0)
Sep 29, 1-2 AM (0)
Sep 29, 2-3 AM (0)
Sep 29, 3-4 AM (0)
Sep 29, 4-5 AM (0)
Sep 29, 5-6 AM (0)
Sep 29, 6-7 AM (1)
Sep 29, 7-8 AM (1)
Sep 29, 8-9 AM (0)
Sep 29, 9-10 AM (0)
Sep 29, 10-11 AM (0)
Sep 29, 11-12 PM (0)
Sep 29, 12-1 PM (0)
Sep 29, 1-2 PM (0)
Sep 29, 2-3 PM (0)
Sep 29, 3-4 PM (0)
Sep 29, 4-5 PM (0)
Sep 29, 5-6 PM (0)
Sep 29, 6-7 PM (0)
Sep 29, 7-8 PM (0)
Sep 29, 8-9 PM (0)
Sep 29, 9-10 PM (0)
Sep 29, 10-11 PM (0)
58 commits this week Sep 22, 2023 - Sep 29, 2023
FIX bug: do not increase local vector clock when receiving Ping
Bug was exposed by running:
```
cabal test hydra-node --test-options '-m Reliability --seed 1054015251'
```

The problem was caused by Bob increasing his local view of received
messsages from Alice from 15 to 16 when receiving a Ping from Alice
when, actually, he never received this message 16 before.

As a consequence, Alice would not resend message 16 or, when she
resends message 16, Bob would ignore it anyway as it's expecting
:x