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.

• 1273
  

  userMessage does not support formatted strings

  
  BigstickCarpet Tuesday, September 22, 2009 8:40 PM
  Last Reply Manuel FahndrichMSFTFriday, October 23, 2009 3:54 PM
 
• 3135
  

  Implementing IList and using Rewriter causes Code Analysis to complain about 'catching a less specific exception'

  
  Strilanc Thursday, October 22, 2009 10:04 PM
  Last Reply Manuel FahndrichMSFTFriday, October 23, 2009 3:36 PM
 
• 194
  

  Exception.Message should ensure Contract.Result<string>() != null

  
  VBA Derks Friday, October 23, 2009 6:59 AM
  Last Reply Manuel FahndrichMSFTFriday, October 23, 2009 3:11 PM
 
• 194
  

  Proving bug

  
  Matthijs ter Woord Friday, October 23, 2009 11:24 AM
  Last Reply Manuel FahndrichMSFTFriday, October 23, 2009 3:07 PM
 
• 090
  

  Wrapper classes

  
  Matthijs ter Woord Friday, October 23, 2009 1:29 PM
 
• 4455
  

  Contracts for Generic Parameters in Abstract Methods

  
  Dave Sexton Monday, October 05, 2009 6:28 AM
  Last Reply Dave Sexton Friday, October 23, 2009 5:24 AM
 
• 4442
  

  What is the advantage of code contracts?

  
  Haripraghash Sunday, October 04, 2009 5:12 AM
  Last Reply Manuel FahndrichMSFTFriday, October 23, 2009 3:59 AM
 
• 3348
  

  Cannot make test pass when contrat fails

  
  asd.and.Rizzo Tuesday, October 13, 2009 1:22 AM
  Last Reply Manuel FahndrichMSFTFriday, October 23, 2009 3:43 AM
 
• 1130
  

  Verifier fails to prove tautological byte-within-byte-range requirements

  
  Strilanc Wednesday, October 21, 2009 2:30 AM
  Last Reply Manuel FahndrichMSFTFriday, October 23, 2009 3:36 AM
 
• 1299
  

  Contracts causing "the signature is incorrect" on forms and user controls

  
  Strilanc Thursday, October 08, 2009 3:49 AM
  Last Reply Manuel FahndrichMSFTFriday, October 23, 2009 3:31 AM
 
• 2341
  

  Strange compiler errors in Silverlight projects with Code Contracts installed.

  
  snortblt Wednesday, October 14, 2009 11:06 PM
  Last Reply Manuel FahndrichMSFTFriday, October 23, 2009 3:29 AM
 
• 13935
  

  Can't find *.g.i.cs when using Code Contracts.

  
  Josh Heilmann Tuesday, March 17, 2009 2:45 PM
  Last Reply Manuel FahndrichMSFTFriday, October 23, 2009 3:28 AM
 
• 1161
  

  VS2010 Beta 2

  
  Matthijs ter Woord Thursday, October 22, 2009 3:36 PM
  Last Reply Manuel FahndrichMSFTFriday, October 23, 2009 12:33 AM
 
• 188
  

  Missing Checks if you activate the 'Redundant Assumptions'

  
  Alexander Wurzinger Thursday, October 22, 2009 6:24 PM
  Last Reply Francesco LogozzoMSFTThursday, October 22, 2009 7:28 PM
 
• 3453
  

  Missing warnings and notices

  
  Strilanc Friday, October 02, 2009 1:46 AM
  Last Reply Strilanc Wednesday, October 21, 2009 2:41 AM
 
• 5688
  

  Useless Warning CC0001

  
  Alexander Wurzinger Monday, September 07, 2009 12:12 PM
  Last Reply Manuel FahndrichMSFTTuesday, October 20, 2009 10:22 PM
 
• 1249
  

  Code Contracts with LINQ query?

  
  Dyd666 Tuesday, October 13, 2009 1:25 PM
  Last Reply Manuel FahndrichMSFTTuesday, October 20, 2009 3:54 PM
 
• 1232
  

  "*.g.i.cs could not be found" - Bug repro and workaround

  
  BigstickCarpet Friday, October 16, 2009 9:06 PM
  Last Reply Manuel FahndrichMSFTTuesday, October 20, 2009 2:49 AM
 
• 4823
  

  Interface contracts - explicit implementation

  
  DevInstinct Tuesday, April 14, 2009 9:36 PM
  Last Reply Mike BarnettMSFTSaturday, October 17, 2009 4:34 AM
 
• 3517
  

  Suppressing warnings

  
  Lexnn Wednesday, October 07, 2009 5:06 PM
  Last Reply winSharp93 Saturday, October 10, 2009 5:22 PM