Contract++

License: Free ‎File size: N/A
‎Users Rating: 3.8/5 - ‎10 ‎votes

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://contractpp.sourceforge.net

VERSION HISTORY

  • Version releases posted on 2010-03-07
    Several fixes and updates
  • Version N/A posted on 2010-03-07

Program Details