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.

• 059
  

  Inferring invariants

  
  Alexey R. Tuesday, November 24, 2009 7:53 PM
 
• 1100
  

  Possible bug?

  
  Jahn Otto Næsgaard Andersen Monday, November 23, 2009 2:18 PM
  Last Reply Matthias Jauernig Tuesday, November 24, 2009 1:31 PM
 
• 053
  

  Is it fixed in latest release about 'Call to impure method in a pure region in method'

  
  DaveChan Tuesday, November 24, 2009 12:45 PM
 
• 180
  

  Is the contract for stream.read incorrect?

  
  John Melville Monday, November 23, 2009 5:14 AM
  Last Reply VBA Derks Tuesday, November 24, 2009 11:43 AM
 
• 048
  

  BinaryFormatter Deserialize Missing Ensures Return Not Null

  
  Dave Sexton Tuesday, November 24, 2009 11:03 AM
 
• 054
  

  Contract.ForAll Static Checking

  
  Dave Sexton Tuesday, November 24, 2009 10:53 AM
 
• 153
  

  Suggested precondition for null check ignores existing precondition for String.IsNullOrWhiteSpace

  
  Dave Sexton Tuesday, November 24, 2009 10:21 AM
  Last Reply Dave Sexton Tuesday, November 24, 2009 10:43 AM
 
• 1139
  

  Missing Requires in indexer of ReadOnlyCollection<T>

  
  Alexey R. Wednesday, November 18, 2009 6:43 PM
  Last Reply Mike BarnettMSFTSunday, November 22, 2009 3:21 PM
 
• 1172
  

  Can this be used with the Compact Framework?

  
  Reis Sunday, November 15, 2009 7:28 PM
  Last Reply Mike BarnettMSFTSunday, November 22, 2009 2:40 PM
 
• 1108
  

  Suggestion: Contract.Requires(bool condition, Func<string> messageGenerator)

  
  xor88 Saturday, November 21, 2009 1:21 AM
  Last Reply B Miller Saturday, November 21, 2009 6:54 AM
 
• 1106
  

  Contract Request by Usage - This method's contracts should be verifiably correct

  
  Strilanc Friday, November 20, 2009 6:11 PM
  Last Reply Strilanc Friday, November 20, 2009 7:40 PM
 
• 2242
  

  Static checker fails to identify obvious problems

  
  fcharlon Friday, November 13, 2009 12:47 PM
  Last Reply Alexey R. Friday, November 20, 2009 1:42 PM
 
• 177
  

  More trouble with mixed-mode projects

  
  Jahn Otto Næsgaard Andersen Thursday, November 19, 2009 3:15 PM
  Last Reply Jahn Otto Næsgaard Andersen Friday, November 20, 2009 8:38 AM
 
• 067
  

  Contract Requests - Net.IPEndPoint, Net.IPAddress, and a new postcondition for String.IndexOf

  
  Strilanc Friday, November 20, 2009 3:41 AM
 
• 4172
  

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

  One more variation of Assert/Assume

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

  Adding ensures causes other contracts to fail

  
  Porges Sunday, November 08, 2009 4:35 AM
  Last Reply Mike BarnettMSFTWednesday, November 18, 2009 5:02 PM
 
• 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