From d3b697218773eaa5a3dd368705184726dbc0fa38 Mon Sep 17 00:00:00 2001
From: Paul Buetow <paul@buetow.org>
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 <noreply@anthropic.com>
---
 src/main/java/testing/RuleResult.java | 40 +++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 src/main/java/testing/RuleResult.java

(limited to 'src/main/java/testing/RuleResult.java')

diff --git a/src/main/java/testing/RuleResult.java b/src/main/java/testing/RuleResult.java
new file mode 100644
index 0000000..4414f34
--- /dev/null
+++ b/src/main/java/testing/RuleResult.java
@@ -0,0 +1,40 @@
+package testing;
+
+import java.util.Collections;
+import java.util.List;
+
+/**
+ * Result of applying a verification rule to simulation logs.
+ */
+public class RuleResult {
+    private final boolean passed;
+    private final String message;
+    private final List<LogEntry> relevantLogs;
+    
+    public RuleResult(boolean passed, String message, List<LogEntry> relevantLogs) {
+        this.passed = passed;
+        this.message = message;
+        this.relevantLogs = Collections.unmodifiableList(relevantLogs);
+    }
+    
+    public RuleResult(boolean passed, String message) {
+        this(passed, message, Collections.emptyList());
+    }
+    
+    public boolean isPassed() {
+        return passed;
+    }
+    
+    public String getMessage() {
+        return message;
+    }
+    
+    public List<LogEntry> getRelevantLogs() {
+        return relevantLogs;
+    }
+    
+    @Override
+    public String toString() {
+        return (passed ? "PASS" : "FAIL") + ": " + message;
+    }
+}
\ No newline at end of file
-- 
cgit v1.2.3