Programas por contractpp.sf.net

Programação de Contratos C++ (aka Design by Contract). Todas as funcionalidades Eiffel suportadas: Compilação de contratos opcionais; Ação personalizável contra falhas; Subcontratação; Valores antigos e de resultados; Bloco i