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.

• 4263
  

  Rewrite failed to produce verifiable assembly

  
  David K Allen Tuesday, November 17, 2009 5:04 AM
  Last Reply David K Allen Friday, November 20, 2009 12:06 AM
 
• 3148
  

  Setting Runtime Checking in VS 2010 Beta 2 Team

  
  Kathleen DollardMVPTuesday, November 17, 2009 4:00 PM
  Last Reply Mike BarnettMSFTThursday, November 19, 2009 6:38 PM
 
• 077
  

  One more variation of Assert/Assume

  
  Alexey R. Thursday, November 19, 2009 11:09 AM
 
• 0107
  

  Default Display Hides Abort/Retry/Ignore Buttons

  
  Kathleen DollardMVPTuesday, November 17, 2009 5:13 PM
 
• 3171
  

  Can't create projects in VS2010 Beta 2 after installing devlabs package

  
  Richard BlewettMVPThursday, November 12, 2009 7:52 AM
  Last Reply Richard BlewettMVPTuesday, November 17, 2009 6:35 AM
 
• 1130
  

  Contracts and Constructor Overloading

  
  BrendanForster Monday, November 16, 2009 6:00 AM
  Last Reply Alexey R. Monday, November 16, 2009 9:16 AM
 
• 0176
  

  Problem with Contracts affecting other objects

  
  winSharp93 Saturday, November 14, 2009 9:16 AM
 
• 1251
  

  What is the purpose of ContractPublicPropertyName attribute?

  
  Alexey R. Tuesday, November 03, 2009 8:19 AM
  Last Reply Mike BarnettMSFTFriday, November 13, 2009 4:46 PM
 
• 3456
  

  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
 
• 342603
  

  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
 
• 1129
  

  Requires unproven: value != -2147483648

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

  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
 
• 4350
  

  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