There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
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.