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
