diff options
| author | Paul Buetow <paul@buetow.org> | 2026-03-27 15:16:59 +0200 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2026-03-27 15:16:59 +0200 |
| commit | ca9d7633d76871cb0ea00dd46af351daf8ef4895 (patch) | |
| tree | c45ff231af84400587a365cfe1d1663b98078b35 /src/main | |
| parent | 7088d292893e3e20324b04527e93de9b1c73f6aa (diff) | |
Extend raft replay with recover and later crash
Diffstat (limited to 'src/main')
| -rw-r--r-- | src/main/java/simulator/builder/SimulationFactory.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/main/java/simulator/builder/SimulationFactory.java b/src/main/java/simulator/builder/SimulationFactory.java index 570a0d0..0695a11 100644 --- a/src/main/java/simulator/builder/SimulationFactory.java +++ b/src/main/java/simulator/builder/SimulationFactory.java @@ -103,6 +103,8 @@ public class SimulationFactory { .setProtocolLong(1, "electionJitter", 0) .setProtocolLong(2, "electionTimeout", 12000) .setProtocolLong(2, "electionJitter", 0) - .addCrashEvent(0, 3500); + .addCrashEvent(0, 3500) + .addRecoveryEvent(0, 12000) + .addCrashEvent(2, 20000); } } |