Name		Name	Last commit message	Last commit date
Latest commit History 96 Commits
CategorizeModule		CategorizeModule
Commons		Commons
ConsoleTest		ConsoleTest
ContractOk		ContractOk
DetectModule		DetectModule
Structures		Structures
packages		packages
.gitignore		.gitignore
ContractOK.sln		ContractOK.sln
LICENSE.txt		LICENSE.txt
README.md		README.md

Repository files navigation

ContractOk

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

About

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

GPL-3.0 license

Report repository

Releases

No releases published

Packages

No packages published

Contributors 3

Languages