Code Contracts
Discuss and provide feedback on Code Contracts.
Filtering and SortingUse these options to narrow down the question and discussion list.
- 014

Bug: CompilerGeneratedAttribute and Requires
Dave Sexton Saturday, November 28, 2009 2:15 PM - 045

Invariant vs. Ensures
Dave Sexton Saturday, November 28, 2009 12:25 AM - 027

Something wrong with Math.Sin
Alexey R. Friday, November 27, 2009 6:53 PM - 022

Using Code Contracts in a C++/CLI project
lupokehl42 Friday, November 27, 2009 9:14 AM - 154

Code contract using Aspects
rgopalan Thursday, November 26, 2009 8:41 PM - 048

Bug? Strange generic-dependent and order-dependent errors with preconditions
Gabriel.R Thursday, November 26, 2009 3:41 AM - 3199

ContractsRuntime recursion guard optimization
Alexey R. Sunday, November 15, 2009 12:20 PM - 029

Installer path issue
Kit Wednesday, November 25, 2009 10:12 AM - 265

Automatic Non Null Invariant for Initialized readonly Field in C#
Dave Sexton Tuesday, November 24, 2009 8:35 PM - 060

Inferring invariants
Alexey R. Tuesday, November 24, 2009 7:53 PM - 1102

Possible bug?
Jahn Otto Næsgaard Andersen Monday, November 23, 2009 2:18 PM - 055

Is it fixed in latest release about 'Call to impure method in a pure region in method'
DaveChan Tuesday, November 24, 2009 12:45 PM - 181

Is the contract for stream.read incorrect?
John Melville Monday, November 23, 2009 5:14 AM - 048

BinaryFormatter Deserialize Missing Ensures Return Not Null
Dave Sexton Tuesday, November 24, 2009 11:03 AM - 058

Contract.ForAll Static Checking
Dave Sexton Tuesday, November 24, 2009 10:53 AM - 154

Suggested precondition for null check ignores existing precondition for String.IsNullOrWhiteSpace
Dave Sexton Tuesday, November 24, 2009 10:21 AM - 1140

Missing Requires in indexer of ReadOnlyCollection<T>
Alexey R. Wednesday, November 18, 2009 6:43 PM - 1173

Can this be used with the Compact Framework?
Reis Sunday, November 15, 2009 7:28 PM - 1111

Suggestion: Contract.Requires(bool condition, Func<string> messageGenerator)
xor88 Saturday, November 21, 2009 1:21 AM - 1106

Contract Request by Usage - This method's contracts should be verifiably correct
Strilanc Friday, November 20, 2009 6:11 PM


