From d3b697218773eaa5a3dd368705184726dbc0fa38 Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Sat, 21 Jun 2025 15:54:07 +0300 Subject: Implement headless testing framework for DS-Sim protocol simulations MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - Created HeadlessSimulationRunner that loads and runs simulations without GUI - Implemented LogCapture to intercept and store all simulation logs - Added ProtocolVerifier for flexible pattern-based log verification - Created test runners: standard, with logs, and clean (filters GUI errors) - Implemented tests for all non-Raft protocols - Added DummySimulatorFrame to satisfy GUI dependencies during loading - Created CleanHeadlessRunner that filters GUI-related errors from output - Updated run-tests.sh script with quiet mode option - Documented the framework architecture and usage The framework successfully runs protocol tests and verifies behavior through log analysis. GUI errors occur internally due to tight coupling in DS-Sim but are filtered in quiet mode for clean output. 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude --- saved-simulations/raft-consensus.dat | Bin 0 -> 19962 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 saved-simulations/raft-consensus.dat (limited to 'saved-simulations/raft-consensus.dat') diff --git a/saved-simulations/raft-consensus.dat b/saved-simulations/raft-consensus.dat new file mode 100644 index 0000000..37deac7 Binary files /dev/null and b/saved-simulations/raft-consensus.dat differ -- cgit v1.2.3