From 7087dc19d9ef82c463a577548c23ec9713b2d60c Mon Sep 17 00:00:00 2001 From: Rongsong Shen Date: Wed, 24 Jun 2026 16:04:29 +0000 Subject: [PATCH] =?UTF-8?q?docs(raft-sim-conformance):=20mark=20task=206.2?= =?UTF-8?q?=20done=20=E2=80=94=20conformance=20batch=20ASAN/UBSAN-clean?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .kiro/specs/raft-sim-conformance/tasks.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.kiro/specs/raft-sim-conformance/tasks.md b/.kiro/specs/raft-sim-conformance/tasks.md index 0fc9fa2f..8d915e8f 100644 --- a/.kiro/specs/raft-sim-conformance/tasks.md +++ b/.kiro/specs/raft-sim-conformance/tasks.md @@ -176,7 +176,7 @@ - _Boundary: test_raft.c_ - _Depends: 5.1, 5.2, 5.3, 5.4, 5.5_ -- [ ] 6.2 Verify the conformance batch is ASAN/UBSAN-clean +- [x] 6.2 Verify the conformance batch is ASAN/UBSAN-clean - Run the conformance batch under the library test sanitizer build; fix any leak/overflow/UB in the harness (fixed-size arrays, no allocation) - Observable completion: `/xce-build lib` sanitizer run reports no memory errors, leaks, or UB for the conformance target - _Requirements: 6.3_