Adding design-by-contract conditions to C++ via a GCC plugingavinray97.github.io128 pointsgavinray3 years ago