code-contracts tutorials

Can Microsoft Code Contracts be used with an ASP.NET Website?

Feb 26, 2018

Code contracts for .NET 3.5 messes up VS10's debugger

Mar 10, 2018

.net debugging .net-3.5 visual-studio-2010 code-contracts

Bug in iterators with code contracts?

Jun 01, 2015

c# .net .net-4.0 code-contracts microsoft-contracts

How do I use Code Contracts to have a compile time assert in C#?

Sep 13, 2022

c# code-contracts static-assert

Code Contracts trying to get build errors instead of warnings

Nov 10, 2022

code-contracts

Code Contracts + Sandcastle -- Any way to customize the exceptions section?

Oct 03, 2014

c# documentation code-contracts sandcastle xml-documentation

Code Contracts warn of "ensures unproven" when locks are involved

Mar 05, 2017

c# .net code-contracts

Code contract rewrite failing with 'Could not resolve member reference'

Jan 09, 2022

c# .net code-contracts

Code Contracts: How do I state in a post-condition that a field/property's value has not changed?

Aug 21, 2022

c# .net code-contracts design-by-contract

CodeContracts: Possibly calling a method on a null reference

Oct 15, 2018

c# visual-studio-2010 .net-4.0 code-contracts

VS2013 with ReSharper 8.2 not recognizing Code Contracts?

Jan 22, 2019

c# ide visual-studio-2013 resharper code-contracts

How to make code contracts work with deserialization of data contracts?

Oct 29, 2022

.net wcf datacontract code-contracts

how to config Code Contracts in Interface

Jan 28, 2020

c# interface code-contracts

How Do You Configure Pex to Respect Code Contracts?

Aug 16, 2022

.net-4.0 code-contracts pex visual-studio-2010

How to use code contracts when deriving from interfaces like IDictionary<T, U>?

Aug 25, 2022

c# interface code-contracts

Code Contract, inheritance and Liskov Principle

Mar 15, 2022

c# code-contracts

Code Contracts - should private methods be checked for pre and post conditions?

Jul 07, 2020

c# code-contracts

F# and statically checked union cases

May 07, 2022

html f# code-contracts

Contract class should be an abstract class

Jul 14, 2017

c#-4.0 abstract-class code-contracts

New posts in code-contracts