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_