Popularity

6.8

Stable

Activity

0.0

Stable

Stars 850

Watchers 164

Forks 150

Last Commit over 4 years ago

Code Quality Rank: L2

Programming language: C#

License: GNU General Public License v3.0 or later

Tags: Code Contracts

Latest version: v1.10.20606.1

CodeContracts alternatives and similar packages

Based on the "Visual Studio Plugins" category.
Alternatively, view CodeContracts alternatives based on common mentions on social networks and blogs.

VsVIM

8.6 5.7 L2 CodeContracts VS VsVIM

Vim Emulator Plugin for Visual Studio 2015+
Roslynator

7.8 9.2 CodeContracts VS Roslynator

A collection of 500+ analyzers, refactorings and fixes for C#, powered by Roslyn.

Access the most powerful time series database as a service

Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.

Promo www.influxdata.com

Nuget Package Manager

7.3 7.6 CodeContracts VS Nuget Package Manager

Repo for NuGet Client issues
Web Essentials

6.6 0.0 L3 CodeContracts VS Web Essentials

Visual Studio extension
Productivity Power Tools

6.3 0.0 L3 CodeContracts VS Productivity Power Tools

Productivity Power Tools - a set of Visual Studio extensions improving developer productivity.
SideWaffle

6.1 0.0 L2 CodeContracts VS SideWaffle

A collection of Item- and Project Templates for Visual Studio
Refactoring Essentials

5.9 0.0 L2 CodeContracts VS Refactoring Essentials

Refactoring Essentials for Visual Studio
SonarSource.sonarlint-visualstudio

4.8 10.0 CodeContracts VS SonarSource.sonarlint-visualstudio

SonarLint extension for VisualStudio
VSColorOutput

4.8 0.0 L4 CodeContracts VS VSColorOutput

Color highlighting to Visual Studio's Build and Debug Output Windows
AxoCover

4.1 0.0 CodeContracts VS AxoCover

Nice and free .Net code coverage support for Visual Studio with OpenCover.
Git Diff Margin

3.7 0.0 L4 CodeContracts VS Git Diff Margin

Git Diff Margin displays live Git changes of the currently edited file on Visual Studio margin and scroll bar. Supports Visual Studio 2012 through Visual Studio 2022
OzCode

2.8 0.0 L4 CodeContracts VS OzCode

Demos that show the power of OzCode
Unchase.OpenAPI.Connectedservice

2.5 0.0 CodeContracts VS Unchase.OpenAPI.Connectedservice

:scroll: Visual Studio extension to generate OpenAPI (Swagger) web service reference.
Unchase.Odata.Connectedservice

2.0 0.0 CodeContracts VS Unchase.Odata.Connectedservice

:scroll: A Visual Studio extension for connecting to OData services with generating client-side C# proxy-classes
Resharper

- CodeContracts VS Resharper

Developer Productivity Tool for Visual Studio [$]
CodeLineage

- CodeContracts VS CodeLineage

Easy access to a cumulative diff view between file revisions (supports svn, git, mercurial, perforce).
Tabs Studio

- CodeContracts VS Tabs Studio

Visual Studio tab manager with multiple tab rows, tab coloring and tab grouping. [$]
ViEmu

- CodeContracts VS ViEmu

very powerful Vi/vim emulator for Visual Studio supporting all basic and many advanced features of vi/vim. [$]
Developer Assistant

- CodeContracts VS Developer Assistant

Developer Assistant for Visual Studio enables developers to find and reuse over 21 million code snippets and code sample projects from within the Visual Studio IDE.

* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest.

Do you think we are missing an alternative of CodeContracts or a related project?

Add another 'Visual Studio Plugins' Package

Popular Comparisons

README

CodeContracts

Source code for the CodeContracts tools for .NET

Code Contracts 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. We currently provide three tools:

Runtime Checking. Our binary rewriter modifies a program by injecting the contracts, which are checked as part of program execution. Rewritten programs improve testability: each contract acts as an oracle, giving a test run a pass/fail indication. Automatic testing tools, such as Pex, take advantage of contracts to generate more meaningful unit tests by filtering out meaningless test arguments that don't satisfy the pre-conditions.
Static Checking. Our static checker can decide if there are any contract violations without even running the program! It checks for implicit contracts, such as null dereferences and array bounds, as well as the explicit contracts.
Documentation Generation. Our documentation generator augments existing XML doc files with contract information. There are also new style sheets that can be used with Sandcastle so that the generated documentation pages have contract sections.

Quick Links

Building from source

For working on the project, open CodeContracts.sln and build.

To create the installer and the nuget package, just run buildCC <version>.

We use the convention:

CC major version = 1.9.1
CC minor version = {month}{day}.{buildInTheDay}

For instance, the 10th build on July 16 would be run as follows:

buildCC 1.9.10716.10