/contractok

ContractOk is a tool for detecting nonconformances in C# -- Code Contracts systems.

Primary LanguageC#GNU General Public License v3.0GPL-3.0

Stargazers

No one’s star this repository yet.