dakusui / pcond Goto Github PK
View Code? Open in Web Editor NEWpcond 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.
Home Page: http://dakusui.github.io/pcond
License: Apache License 2.0