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.

• 4793
  

  Code Contracts with ILMerge

  
  malignate Thursday, September 10, 2009 9:13 AM
  Last Reply Mike BarnettMSFTTuesday, October 27, 2009 3:48 AM
 
• 1258
  

  We need contracts for items in collections

  
  Strilanc Saturday, October 24, 2009 3:37 PM
  Last Reply Manuel FahndrichMSFTMonday, October 26, 2009 11:51 PM
 
• 3267
  

  Using Code Contract with mixed-mode projects

  
  Jahn Otto Næsgaard Andersen Friday, October 23, 2009 1:55 PM
  Last Reply Manuel FahndrichMSFTMonday, October 26, 2009 9:27 PM
 
• 61009
  

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

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

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

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

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

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

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

  Contract.Requires<ArgumentException> doesn't work ?

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

  Contracts on Delegates

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

  Silverlight 3 + VS2010

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