dakusui/pcond

pcond is a library that allows you to write a program in the "Design by Contract"[DbC] style. Not only that, it gives a very informative message when a check you defined fails.