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.

• 1129
  

  Requires unproven: value != -2147483648

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

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

  division checks

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

  Contracts and reflection

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

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

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

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

  Invariants on interface contracts

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

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

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

  Contract class for a static class

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

  Much increased VS Startup time

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

  Contract Request: System.IO.Stream

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

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

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

  Failed with uncaught exception

  
  Carl Hasselskog Friday, October 30, 2009 8:09 PM
 
• 2257
  

  Static checker does not understand that string is immutable

  
  Kris Vandermotten Thursday, October 29, 2009 12:51 PM
  Last Reply Kris Vandermotten Friday, October 30, 2009 7:22 AM
 
• 3300
  

  List wrapper

  
  Matthijs ter Woord Wednesday, October 28, 2009 4:29 PM
  Last Reply Manuel FahndrichMSFTFriday, October 30, 2009 12:59 AM
 
• 2290
  

  Missing Contracts in 1.2.20903.10

  
  Alexander Wurzinger Thursday, October 22, 2009 6:21 PM
  Last Reply xor88 Thursday, October 29, 2009 7:33 PM