CodeContracts

CodeContracts provide a language-agnostic way to express coding assumptions in .NET programs.

The contracts take the form of pre-conditions, post-conditions, and object invariants. Contracts act as checked documentation of your external and internal APIs. The contracts are used to improve testing via runtime checking, enable static contract verification, and documentation generation. Code Contracts bring the advantages of design-by-contract programming to all .NET programming languages

Project Details

• Project Info Site
• Project Code Site
• Project License Type: MIT
• Project Main Contacts: None

Quicklinks

• Download
• FAQ
• Discussions and Help
• Contribute