multinode server2 simulation: introduce attenuation

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

276 stars 86 forks source link

multinode server2 simulation: introduce attenuation #3263

Closed coot closed 2 years ago

coot commented 3 years ago

Currently we don't use any attenuation in the simulation, however we should introduce:

a QuickCheck generator for BearerInfo (and Script BearerInfo);
test its distribution;
plug it into prop_multinode_Sim and possibly other simulations

coot commented 3 years ago

@bolt12 is this all addressed by #3281?

bolt12 commented 3 years ago

Yes