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

IList<T> RemoveAt(int) is missing an Ensure
smbell398 Sunday, August 23, 2009 3:27 PM - 2516

Static checker crash (1.2.20518.12)
smbell398 Sunday, August 23, 2009 9:33 AM - 4598

Syntax suggestion: "where" eg "where denominator != 0"
dreisenberger Wednesday, August 19, 2009 5:32 PM - 5629

Contracts unproven after activating addional checks
Alexander Wurzinger Wednesday, August 19, 2009 12:21 PM - 3658

Feature suggestion: check assumptions, and output info messages if they can be proved
Jon Skeet Sunday, August 09, 2009 3:25 PM - 2597

Error during setup
delfo Tuesday, August 18, 2009 2:33 PM - 1855

Syntax suggestion how Contracts for delegates could be specified
winSharp93 Saturday, July 11, 2009 7:50 PM - 1610

EntryPointNotFoundException when using indexer
winSharp93 Sunday, August 02, 2009 1:58 PM - 1597

Should Invariants be evaluated with internal?
DevInstinct Thursday, July 23, 2009 3:51 PM - 3475

Static verifier fails to prove 0 <= index < list.count in VB for loop
Strilanc Monday, August 17, 2009 4:22 PM - 1601

Static checker able to handle bit-arithmetic?
xor88 Sunday, August 02, 2009 1:13 PM - 6685

Can Code Contract handel error at run time ?
Developer2006 Friday, August 07, 2009 9:21 PM - 5830

Contract.RequiresIf/EnsuresIf(bool when, bool condition)
winSharp93 Wednesday, June 03, 2009 3:32 PM - 9742

Too much duplicate (Contract-)Code for overloaded methods
winSharp93 Saturday, August 08, 2009 2:03 PM - 1575

Invariant unproven, when calling method from base class.
malignate Wednesday, August 05, 2009 7:23 AM - 1637

System.IEquatable<T>::Equals needs [Pure]
DevInstinct Saturday, July 18, 2009 7:33 PM - 1488

Binary Rewriter Performance
Joe AlbahariMVPMonday, July 27, 2009 8:06 AM - 2529

Why does ccrewrite embed extra types in the rewritten assembly, beyond the relevant exception?
Jon Skeet Tuesday, August 04, 2009 8:35 PM - 2436

How about a way to specify more generic properties like associativity, commutativity, etc?
Strilanc Friday, July 31, 2009 6:54 AM - 1583

Contracts - axed from FW4.0 and Studio 2010?
Joe AlbahariMVPTuesday, August 04, 2009 10:44 AM


