G gavinray97.github.io Adding design-by-contract conditions to C++ via a GCC plugin 128 points gavinray 3 years ago 71 comments