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.

• 61008
  

  Code coverage doesn't work with Code Contracts enabled

  
  Brian Czako Monday, July 13, 2009 9:30 PM
  Last Reply Manuel FahndrichMSFTMonday, October 26, 2009 9:24 PM
 
• 5781
  

  How are enums handled in static checking?

  
  xor88 Friday, July 31, 2009 5:50 PM
  Last Reply xor88 Monday, October 26, 2009 3:39 PM
 
• 101249
  

  Background checking doesn't work sometimes

  
  Alexey R. Friday, May 22, 2009 10:04 AM
  Last Reply Manuel FahndrichMSFTMonday, October 26, 2009 3:07 PM
 
• 3543
  

  CCDoc failed with uncaught exception

  
  Alexander Wurzinger Tuesday, September 22, 2009 11:15 AM
  Last Reply Manuel FahndrichMSFTMonday, October 26, 2009 3:06 PM
 
• 81190
  

  Can Code Contracts be used with an ASP.NET Website?

  
  jrmiller84 Tuesday, July 07, 2009 3:45 PM
  Last Reply Manuel FahndrichMSFTMonday, October 26, 2009 3:05 PM
 
• 4280
  

  Release 1.2.21023.14 with VS2010 Beta 2: error -2146232576

  
  Joe AlbahariMVPSunday, October 25, 2009 1:29 PM
  Last Reply Manuel FahndrichMSFTMonday, October 26, 2009 2:27 PM
 
• 3183
  

  CodeContract XML comments and custom build output path

  
  Dominick BaierMVPFriday, October 23, 2009 11:42 AM
  Last Reply Dominick BaierMVPMonday, October 26, 2009 7:23 AM
 
• 3550
  

  Contracts make Developing in VB.Net Project harder.

  
  Alexander Wurzinger Monday, August 03, 2009 12:44 PM
  Last Reply Manuel FahndrichMSFTSaturday, October 24, 2009 11:51 PM
 
• 7413
  

  Verifier fails to prove arg IsNot Nothing when argument is a generic struct

  
  Strilanc Wednesday, October 14, 2009 2:12 AM
  Last Reply Manuel FahndrichMSFTSaturday, October 24, 2009 9:25 PM
 
• 101198
  

  "Interface implementations cannot add preconditions" - why?

  
  Sergei Dorogin Wednesday, February 25, 2009 2:33 AM
  Last Reply Manuel FahndrichMSFTSaturday, October 24, 2009 9:21 PM
 
• 1507
  

  correct signature of contract reference assembly

  
  Ornus Sunday, July 19, 2009 10:24 PM
  Last Reply Manuel FahndrichMSFTSaturday, October 24, 2009 9:15 PM
 
• 6146
  

  Serious installer bug with 1.2.21022.12 - installs MSBuild file in the wrong place

  
  Jon Skeet Friday, October 23, 2009 7:52 PM
  Last Reply Manuel FahndrichMSFTSaturday, October 24, 2009 9:08 PM
 
• 101003
  

  Why do Contract Classes have to implement the interface explicitly?

  
  winSharp93 Monday, June 29, 2009 3:01 PM
  Last Reply Manuel FahndrichMSFTSaturday, October 24, 2009 9:06 PM
 
• 12155
  

  'Can't add preconditions' warnings happening in contract class methods

  
  Strilanc Thursday, October 22, 2009 10:23 PM
  Last Reply Manuel FahndrichMSFTSaturday, October 24, 2009 9:00 PM
 
• 5816
  

  Contract.Requires<ArgumentException> doesn't work ?

  
  matma Friday, August 07, 2009 9:22 AM
  Last Reply matma Saturday, October 24, 2009 3:58 PM
 
• 1499
  

  Contracts on Delegates

  
  Strilanc Tuesday, August 18, 2009 11:59 AM
  Last Reply Manuel FahndrichMSFTFriday, October 23, 2009 9:09 PM
 
• 41397
  

  Silverlight 3 + VS2010

  
  Matthijs ter Woord Monday, June 01, 2009 8:08 AM
  Last Reply Manuel FahndrichMSFTFriday, October 23, 2009 8:58 PM
 
• 16411
  

  Where is release 1.2.21014.4?

  
  Jon Skeet Wednesday, October 21, 2009 10:54 AM
  Last Reply Jon Skeet Friday, October 23, 2009 7:43 PM
 
• 0112
  

  Verifier fails to prove WithEvents members stay non-null

  
  Strilanc Friday, October 23, 2009 7:24 PM
 
• 0119
  

  Verifier fails to prove requirement involve interfaces, inheritance, and generics

  
  Strilanc Friday, October 23, 2009 5:03 PM