Run the Test.Ouroboros.Network.Node simulations in IO

IntersectMBO / ouroboros-network

Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.

https://ouroboros-network.cardano.intersectmbo.org

Apache License 2.0

275 stars 86 forks source link

Run the Test.Ouroboros.Network.Node simulations in IO #217

Open coot opened 5 years ago

coot commented 5 years ago

In particular:

core -> relay
core -> relay -> relay
~core <-> relay <-> core~

There's a need to cleanly terminate forked threads. Initial work is in coot/node-tests-io branch (prop_coreToRelayIO)

dcoutts commented 4 years ago

Let's review if we need the node tests at all, since it's covered in consensus.