Programmi di contractpp.sf.net

Programmazione del contratto C++ (aka Design by Contract). Tutte le funzionalità Eiffel supportate: compilazione del contratto opzionale; Azione personalizzabile sull'errore; Subappalto; Valori vecchi e di risultato; Blocca i