From ca9d7633d76871cb0ea00dd46af351daf8ef4895 Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Fri, 27 Mar 2026 15:16:59 +0200 Subject: Extend raft replay with recover and later crash --- src/main/java/simulator/builder/SimulationFactory.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/main/java/simulator') 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); } } -- cgit v1.2.3