Ask a question

Search Forums:

• Search Code Contracts Forum
• Search All DevLabs Forums
• Search All MSDN Forums

 

Code Contracts

Discuss and provide feedback on Code Contracts.

• 1439
  

  IList<T> RemoveAt(int) is missing an Ensure

  
  smbell398 Sunday, August 23, 2009 3:27 PM
  Last Reply Francesco LogozzoMSFTMonday, August 24, 2009 4:45 AM
 
• 2516
  

  Static checker crash (1.2.20518.12)

  
  smbell398 Sunday, August 23, 2009 9:33 AM
  Last Reply Francesco LogozzoMSFTMonday, August 24, 2009 4:39 AM
 
• 4598
  

  Syntax suggestion: "where" eg "where denominator != 0"

  
  dreisenberger Wednesday, August 19, 2009 5:32 PM
  Last Reply Mike BarnettMSFTFriday, August 21, 2009 8:29 PM
 
• 5629
  

  Contracts unproven after activating addional checks

  
  Alexander Wurzinger Wednesday, August 19, 2009 12:21 PM
  Last Reply Francesco LogozzoMSFTFriday, August 21, 2009 1:03 AM
 
• 3658
  

  Feature suggestion: check assumptions, and output info messages if they can be proved

  
  Jon Skeet Sunday, August 09, 2009 3:25 PM
  Last Reply Jon Skeet Wednesday, August 19, 2009 7:42 AM
 
• 2597
  

  Error during setup

  
  delfo Tuesday, August 18, 2009 2:33 PM
  Last Reply delfo Tuesday, August 18, 2009 7:25 PM
 
• 1855
  

  Syntax suggestion how Contracts for delegates could be specified

  
  winSharp93 Saturday, July 11, 2009 7:50 PM
  Last Reply Mike BarnettMSFTTuesday, August 18, 2009 5:14 PM
 
• 1610
  

  EntryPointNotFoundException when using indexer

  
  winSharp93 Sunday, August 02, 2009 1:58 PM
  Last Reply Mike BarnettMSFTTuesday, August 18, 2009 5:09 PM
 
• 1597
  

  Should Invariants be evaluated with internal?

  
  DevInstinct Thursday, July 23, 2009 3:51 PM
  Last Reply Mike BarnettMSFTMonday, August 17, 2009 11:54 PM
 
• 3475
  

  Static verifier fails to prove 0 <= index < list.count in VB for loop

  
  Strilanc Monday, August 17, 2009 4:22 PM
  Last Reply Francesco LogozzoMSFTMonday, August 17, 2009 9:26 PM
 
• 1601
  

  Static checker able to handle bit-arithmetic?

  
  xor88 Sunday, August 02, 2009 1:13 PM
  Last Reply Francesco LogozzoMSFTMonday, August 17, 2009 6:05 PM
 
• 6685
  

  Can Code Contract handel error at run time ?

  
  Developer2006 Friday, August 07, 2009 9:21 PM
  Last Reply Jon Skeet Saturday, August 15, 2009 7:01 PM
 
• 5830
  

  Contract.RequiresIf/EnsuresIf(bool when, bool condition)

  
  winSharp93 Wednesday, June 03, 2009 3:32 PM
  Last Reply Mike BarnettMSFTSaturday, August 15, 2009 3:16 PM
 
• 9742
  

  Too much duplicate (Contract-)Code for overloaded methods

  
  winSharp93 Saturday, August 08, 2009 2:03 PM
  Last Reply winSharp93 Friday, August 14, 2009 5:56 PM
 
• 1575
  

  Invariant unproven, when calling method from base class.

  
  malignate Wednesday, August 05, 2009 7:23 AM
  Last Reply Francesco LogozzoMSFTFriday, August 14, 2009 4:13 AM
 
• 1637
  

  System.IEquatable<T>::Equals needs [Pure]

  
  DevInstinct Saturday, July 18, 2009 7:33 PM
  Last Reply Mike BarnettMSFTThursday, August 13, 2009 2:34 PM
 
• 1488
  

  Binary Rewriter Performance

  
  Joe AlbahariMVPMonday, July 27, 2009 8:06 AM
  Last Reply Mike BarnettMSFTThursday, August 13, 2009 2:19 PM
 
• 2529
  

  Why does ccrewrite embed extra types in the rewritten assembly, beyond the relevant exception?

  
  Jon Skeet Tuesday, August 04, 2009 8:35 PM
  Last Reply Jon Skeet Wednesday, August 12, 2009 8:39 PM
 
• 2436
  

  How about a way to specify more generic properties like associativity, commutativity, etc?

  
  Strilanc Friday, July 31, 2009 6:54 AM
  Last Reply Mike BarnettMSFTWednesday, August 12, 2009 4:27 PM
 
• 1583
  

  Contracts - axed from FW4.0 and Studio 2010?

  
  Joe AlbahariMVPTuesday, August 04, 2009 10:44 AM
  Last Reply Mike BarnettMSFTWednesday, August 12, 2009 4:15 PM