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.

• 3453
  

  Unexpected BadImageFormatException in a GroupBy poscondition using CodeContract in VS2010 Beta1

  
  miguel katrib Friday, October 09, 2009 4:52 AM
  Last Reply Mike BarnettMSFTFriday, November 13, 2009 4:42 PM
 
• 1167
  

  Contract Information API (Reflection like)?

  
  winSharp93 Wednesday, November 11, 2009 8:05 PM
  Last Reply Mike BarnettMSFTFriday, November 13, 2009 4:33 PM
 
• 342597
  

  Team System only?

  
  CommonGenius.com Tuesday, February 24, 2009 4:38 AM
  Last Reply Jahn Otto Næsgaard Andersen Friday, November 13, 2009 11:22 AM
 
• 0152
  

  Missing invariant, bad(?) invariant, and an odd warning

  
  Lodewijk Voege Thursday, November 12, 2009 8:55 PM
 
• 1128
  

  Requires unproven: value != -2147483648

  
  Razispio Wednesday, November 11, 2009 4:01 PM
  Last Reply ebnf Thursday, November 12, 2009 6:23 PM
 
• 1156
  

  Precondition failed: offset + count < buffer.Length for Stream.Read method

  
  VBA Derks Saturday, November 07, 2009 9:39 PM
  Last Reply balistof Thursday, November 12, 2009 2:28 PM
 
• 0111
  

  division checks

  
  Nikolai TillmannMSFTThursday, November 12, 2009 10:38 AM
 
• 070
  

  Contracts and reflection

  
  hwiechers Wednesday, November 11, 2009 2:22 PM
 
• 4347
  

  What are the best practices to unit test expected code contract failures in debug and release builds.

  
  VBA Derks Wednesday, November 04, 2009 9:19 PM
  Last Reply David K Allen Sunday, November 08, 2009 3:59 PM
 
• 1242
  

  What version of 2010

  
  Mike Barry Friday, November 06, 2009 8:39 PM
  Last Reply Porges Sunday, November 08, 2009 2:34 AM
 
• 2180
  

  Explicitly declared state modification

  
  Alexey R. Thursday, November 05, 2009 7:21 AM
  Last Reply Alexey R. Friday, November 06, 2009 8:00 AM
 
• 1215
  

  Framework 'Contains' method is declared as Impure

  
  David K Allen Sunday, November 01, 2009 6:05 PM
  Last Reply Manuel FahndrichMSFTThursday, November 05, 2009 10:22 PM
 
• 4279
  

  Invariants on interface contracts

  
  Jon Skeet Monday, November 02, 2009 9:37 PM
  Last Reply Jon Skeet Thursday, November 05, 2009 3:06 PM
 
• 1167
  

  Out parameter of a pure method

  
  Alexey R. Wednesday, November 04, 2009 6:39 PM
  Last Reply Manuel FahndrichMSFTWednesday, November 04, 2009 10:33 PM
 
• 4221
  

  Sandcastle BuildAssembler.exe hangs when enabling Code Contract XML documenation

  
  VBA Derks Wednesday, October 21, 2009 6:33 PM
  Last Reply Manuel FahndrichMSFTWednesday, November 04, 2009 10:32 PM
 
• 2565
  

  (temporary) Implicit PureAttribute for methods whose names start with Is / Can / Has?

  
  winSharp93 Monday, July 13, 2009 4:45 PM
  Last Reply Manuel FahndrichMSFTWednesday, November 04, 2009 4:03 PM
 
• 0127
  

  Contract class for a static class

  
  Alexey R. Wednesday, November 04, 2009 12:40 PM
 
• 4306
  

  Much increased VS Startup time

  
  winSharp93 Saturday, October 24, 2009 8:53 PM
  Last Reply winSharp93 Tuesday, November 03, 2009 3:54 PM
 
• 4229
  

  Contract Request: System.IO.Stream

  
  Strilanc Thursday, October 22, 2009 10:48 PM
  Last Reply Strilanc Sunday, November 01, 2009 3:42 PM
 
• 0204
  

  SafeHandles returned from PInvoke calls should always be assumed non-null

  
  Alexey R. Friday, October 30, 2009 9:35 PM