Simulation testing

How it works

See the following series of posts:

1. Introduction to simulation testing;
2. Using Maelstrom to test distributed systems;
3. Sketching how to simulation test distributed systems;
4. The main test loop of simulation testing;
5. Draft: Using "workloads" to test distributed systems;
6. Draft: A domain-specific language for simulation testing distributed systems.
7. Dealing with the notion of time when simulating distributed systems;
8. Draft: Introducing faults to test resilience of a distributed system
9. Draft: Extending the domain-specific language with synchronous RPCs
10. Draft: Domain-specific debugger
11. Draft: Optimisation: pipelining parallelism
12. Draft: Optimisation: running simulations in parallel

Running

See RUNNING.md for details on how to run the tests.