From 3919d141328dd51e6e9c5f94bb7e58e216e4e13a Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Fri, 27 Mar 2026 14:37:50 +0200 Subject: Extend Raft replay to 60 seconds --- saved-simulations/raft.dat | Bin 14533 -> 14533 bytes .../java/simulator/builder/SimulationFactory.java | 2 +- .../simulator/builder/SimulationBuilderTest.java | 5 ++++- 3 files changed, 5 insertions(+), 2 deletions(-) diff --git a/saved-simulations/raft.dat b/saved-simulations/raft.dat index 262809a..d64aa13 100644 Binary files a/saved-simulations/raft.dat and b/saved-simulations/raft.dat 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); -- cgit v1.2.3