Thanks for organising, I’d be happy to present:
Title: Towards simulation testing in Rust
Description: I’ll summarise Roland’s new stage graph API and show how it can be used to write a deterministic simulator.
Duration: 10 min including discussion
This is related to the action item “Refactor Amaru consensus to ease implementing deterministic testing” and the sessions:
- Back pressured, deterministic processing networks
- Coroutines/Generators vs. explicit state machines
- Property-based testing state machine testing
- Rust software design session