From c8f4e6c757130c8ee8c3c2a1d4fa6b7cb6d8b449 Mon Sep 17 00:00:00 2001 From: Rongsong Shen Date: Sun, 21 Jun 2026 17:07:42 +0000 Subject: [PATCH] test(raft-log-replication): full library suite green under ASAN (task 10.1) Canonical clean build (tools/xce-build.sh lib: rm -rf + fresh meson setup with -Db_sanitize=address) passes from scratch: libxce test OK, Fail 0, ASAN-clean (halt_on_error/abort_on_error active). All election-core + new log-replication + simulator invariant tests green; no regressions. Closes the raft-log-replication implementation plan (bug-851 G1/G2/G3/G5 library half). --- .kiro/specs/raft-log-replication/tasks.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.kiro/specs/raft-log-replication/tasks.md b/.kiro/specs/raft-log-replication/tasks.md index 6da5b16..6d8f242 100644 --- a/.kiro/specs/raft-log-replication/tasks.md +++ b/.kiro/specs/raft-log-replication/tasks.md @@ -191,7 +191,7 @@ ## 10. Verification -- [ ] 10.1 Full library suite green under ASAN +- [x] 10.1 Full library suite green under ASAN - Run `/xce-build lib`; all existing election tests plus the new log-replication and simulator tests pass under ASAN with zero leaks - Observable completion: test binary exits 0; ASAN clean; no regression in the election-core tests - _Requirements: 1.1, 2.1, 3.2, 4.3, 5.1, 6.1, 7.1, 8.4_