Skip to content

Commit a9b2bc0

Browse files
leifericfclaude
andcommitted
changelog: note ASan + UBSan verification
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
1 parent b3742dc commit a9b2bc0

1 file changed

Lines changed: 9 additions & 0 deletions

File tree

CHANGELOG.md

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -110,6 +110,15 @@ on the documentation site. The contracts are functional but
110110
provisional and may evolve in subsequent releases; symbols outside
111111
these blocks aim for source stability.
112112

113+
### Verification
114+
115+
Built and ran the full test suite (1659 tests, 7690 assertions, 0
116+
failures) under both AddressSanitizer and UndefinedBehaviorSanitizer.
117+
Built representative mino-examples binaries (`cookbook/iterate`,
118+
`cookbook/build_collections`, `cookbook/error_handling`,
119+
`cpp_embed_test`, `api_stress_test`) under ASan and ran each end to
120+
end — clean.
121+
113122
## v0.150.0 — Stabilization Cycle: Realloc Safety, Checked-Size Arithmetic, And Embed-Test Tagging Fixes
114123

115124
Stabilization cycle landing the verified-real findings from a

0 commit comments

Comments
 (0)