p2p testing issues

• #3384 Inject accept errors in net-sim

  • effort: easy, coverage:can reveal bugs
  • importance: esseintial

• #3378 Network simulator should allow to specify BearerInfo scripts per connection

  • effort: easy, better shrinking
  • importance: nice-to-have

• #3366 Simulate an SPO setup

  • depends: #2764
  • effort: moderate, coverate:small gain

• #3365 Connectivity property through block propagation

  • depends: #2764
  • effort: moderate
  • coverage: small gain for testing the mechanics of p2p, but important from systemic point of view,

• #3364 Connectivity property

  • depends: #2764
  • effort: moderate
  • coverage: small gain for testing the mechanics of p2p, but important from systemic point of view,

• #3363 Coverage test for InboundStateActions

  • effort: easy
  • coverage: a small gain
  • supplement: enable test coverage

• #3362 Identify and verify properties of PeerStateActions required by outbound-governor

  • depends: #2764
  • effort: moderate
  • importance: nice to have
  • note: requires Duncan's attention

• #3361 Identify and introduce identity transitions

  • coverage: better spec
  • effort: easy
  • importance: nice to have

• #3359 Validate order of inbound-governor's transitions

  • coverage: better validation of inbound-governor state changes
  • effort: moderate
  • importance: moderate

• #3358 Validate order of connection-manager's transitions

  • coverage: better validation of inbound-governor state changes
  • effort: moderate
  • importance: moderate

• #3331 Verify that inbound-governor timeouts are enforced

  • coverage: introduces verification of timeouts
  • effort: moderate-to-difficult
  • importance: essential

• #3330 Verify that connection-manager timeouts are enforced

  • coverage: introduces verification of timeouts
  • effort: moderate-to-difficult
  • importance: essential

• #3329 Coverage test for various network conditions in diffusion simulation

  • depends: #2764
  • effort: moderate-to-difficult
  • importance: nice to have

• #3328 Coverage test for diffusion traces

  • depends: #2764
  • effort: moderate-to-difficult
  • importance: nice to have

• #3327 Test that we are connected to public root peers

  • coverage: lifts p2p-governor property to net-sim setting
  • depends: #2764
  • effort: moderate-to-difficult
  • importance: nice to have

• #3326 Test that we are connected to local root peers

  • coverage: lifts p2p-governor property to net-sim setting
  • depends: #2764
  • effort: moderate-to-difficult
  • importance: nice to have

• #3325 Coverage test for connection manager trace transitions

  • coverage: a small gain
  • effort: easy
  • supplement: enable test coverage

• #3324 Coverage test for inbound governor trace transitions

  • coverage: a small gain
  • effort: easy
  • supplement: enable test coverage

• #3321 Improve verification of connection manager

  • effort: easy
  • importnace: essenatial

• #3315 prop_multinode_Sim: in presence of accept IO errors

  • depends: #3384
  • effort: easy to do, might be difficult to debug
  • importance: essenatial

• #3289 Expand 'Simulation.Network.Socket' tests

  • note: will reduce the cost of other tests
  • importance: essential

• #3288 Improve simulation validation

  • effort: difficult (might require debuging complex traces)
  • importance: essential

• #3287 Enable attenuation in inbound governor simulations

  • pr: #3281

• #2764 Simulated testnet

  • branch: coot/netsim-diffusion-simulation
  • effort: difficult (provisioning a node, providing all the generators - the scope is large)
  • importance: essetnial (enalbes other tests)

• #2762 Enable NoThunk tests for connection manager

  • coverage: give more confidence that we don't have memory leaks
  • effort: easy

• #3387 Enable NoThunk in diffusion tests

  • coverage: give more confidence that we don't have memory leaks
  • effort: easy

• #3386 Enable NoThunk in outbound-governor tests

  • coverage: give more confidence that we don't have memory leaks
  • effort: easy

• #3385 Enable NoThunk for inbound-governor tests

  • coverage: give more confidence that we don't have memory leaks
  • effort: easy

• #2759 Improve connection manager tests

  • pr: #3309

• #1833 End-to-end tests for rate limiting

  • effort: moderate
  • coverage: it would catch the bug fixed in #3335