Start a simulation

Choose a seed and how you want to see the nodes. Read the notes below before you start.

Real Raft: The simulation runs Raft completely inside the engine. It is the same Raft that runs on the deployed nodes, which run the algorithm by sending messages over the network.
Deterministic: Time is a tick counter, and the network and the crashes are simulated. The same seed always produces the same run.
Replayable: If you find a bug or an interesting sequence of events, run it again with the same seed to reproduce it exactly.

Seed

An integer from 0 to 4294967295 (32 bits). It drives all the randomness in the run.

MaxTicks

How long the simulation runs, in ticks. From 1 to 50,000. Default: 1,000.

Fuzz level

Low The most reliable network. Messages take less time to arrive and a node is less likely to crash. Medium A less reliable network. Messages take longer to arrive and nodes are more likely to crash. High The least reliable network. Messages take the longest to arrive and nodes are the most likely to crash.

Fuzzing injects faults into the simulation. These values cannot be changed once it starts.

tick 0 seed max ticks fuzz

time

messages