Gavin Ray personal blog
Adding design-by-contract conditions to C++ via a GCC plugin
Design-by-Contract's invariant attribute allows you to enforce important properties of systems and data structures, making it an incredibly useful tool for developers. In this blog post, we'll be exploring the development of a GCC plugin that adds support for [[invariant]] conditions in C++ classes and structs. We'll…
- Points
- 128
- HN comments
- 71
- Submissions
- 1
- Cited by
- 0 commenters
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jan 1, 2023 | Adding design-by-contract conditions to C++ via a GCC plugin by gavinray | 128 | 71 |
