PROGRAMS BY contractpp.sf.net

C++ Contract Programming (aka Design by Contract). All Eiffel features supported: Optional contract compilation; Customizable action on failure; Subcontracting; Old and result values; Block invariants, loop variants. http://c