search

ledgerloops / strategy-pit

Testing ground for LedgerLoop strategies
Apache License 2.0
0 stars 0 forks source link

Alice thinks genRanHex0 probe is virgin for Charlie #12

Closed michielbdejong closed 5 months ago

michielbdejong commented 5 months ago

https://github.com/ledgerloops/strategy-pit/blob/main/__tests__/fixtures/batched-butterfly-triangle.json#L128-L133

[...]
    "QUEUEING PROBE genRanHex0 TO Charlie",
    "Alice start waiting to talk to Charlie",
    "Alice raises hand to Charlie",
    "[Node#receiveMessage] Alice receives message from Charlie",
    "INCOMING PROBE genRanHex0 IS KNOWN TO US",
    "PROBE genRanHex0 ALREADY KNOWN TO US, VIRGIN FOR Charlie!",
[...]
michielbdejong commented 5 months ago

Ah wait, this is actually correct, it just means that it is a proof of communication, not that Alice should forward it to Charlie

michielbdejong commented 5 months ago

Where it goes wrong is https://github.com/ledgerloops/strategy-pit/blob/bf6310eccaec5edaf6bae26526be4ee03b5c801e/__tests__/fixtures/batched-butterfly-triangle.json#L145 - apparently Charlie wasn't added to .from for this probe when it came in