summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaul Buetow <paul@buetow.org>2026-03-27 14:37:50 +0200
committerPaul Buetow <paul@buetow.org>2026-03-27 14:37:50 +0200
commit3919d141328dd51e6e9c5f94bb7e58e216e4e13a (patch)
tree2d59da1be3b03db37b8aea15f409dc9a6056516b
parentf797489f30e76e8afcd8b8eb1fd16c79e9cd1363 (diff)
Extend Raft replay to 60 seconds
-rw-r--r--saved-simulations/raft.datbin14533 -> 14533 bytes
-rw-r--r--src/main/java/simulator/builder/SimulationFactory.java2
-rw-r--r--src/test/java/simulator/builder/SimulationBuilderTest.java5
3 files changed, 5 insertions, 2 deletions
diff --git a/saved-simulations/raft.dat b/saved-simulations/raft.dat
index 262809a..d64aa13 100644
--- a/saved-simulations/raft.dat
+++ b/saved-simulations/raft.dat
Binary files differ
diff --git a/src/main/java/simulator/builder/SimulationFactory.java b/src/main/java/simulator/builder/SimulationFactory.java
index 165e42d..570a0d0 100644
--- a/src/main/java/simulator/builder/SimulationFactory.java
+++ b/src/main/java/simulator/builder/SimulationFactory.java
@@ -91,7 +91,7 @@ public class SimulationFactory {
return new SimulationBuilder()
.withProcesses(3)
.withProtocol(SimulationBuilder.Protocols.RAFT)
- .withDuration(30000)
+ .withDuration(60000)
.activateServers(0)
.activateClientsAt(100, 1)
.activateClientsAt(1700, 2)
diff --git a/src/test/java/simulator/builder/SimulationBuilderTest.java b/src/test/java/simulator/builder/SimulationBuilderTest.java
index 3992688..a5b25a0 100644
--- a/src/test/java/simulator/builder/SimulationBuilderTest.java
+++ b/src/test/java/simulator/builder/SimulationBuilderTest.java
@@ -75,12 +75,15 @@ class SimulationBuilderTest {
void testCreateRaftSimulation() throws Exception {
String filename = TEST_DIR + "test-raft.dat";
- SimulationFactory.createRaftSimulation()
+ SimulationBuilder builder = SimulationFactory.createRaftSimulation();
+ builder
.save(filename);
File file = new File(filename);
assertTrue(file.exists(), "Simulation file should be created");
assertTrue(file.length() > 10000, "Raft simulation should be larger");
+ assertEquals(60, builder.getSimulator().getPrefs().getInteger("sim.seconds"),
+ "Raft simulation should replay for 60 seconds");
String content = new String(Files.readAllBytes(file.toPath()),
StandardCharsets.ISO_8859_1);