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.

• 4453
  

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

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

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

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

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

  Missing warnings and notices

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

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

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

  False Warning: Possible precision mismatch for the arguments of ==

  
  Strilanc Thursday, October 01, 2009 8:52 PM
  Last Reply xor88 Thursday, October 08, 2009 2:17 PM
 
• 1485
  

  Changing Contract Assembly name

  
  Gentlehag Wednesday, September 23, 2009 6:16 AM
  Last Reply Manuel FahndrichMSFTThursday, October 08, 2009 4:13 AM
 
• 2506
  

  Is there any way to make Code Contracts work with LINQ?

  
  BigstickCarpet Thursday, September 24, 2009 6:21 PM
  Last Reply Manuel FahndrichMSFTThursday, October 08, 2009 4:11 AM
 
• 3604
  

  Contracts silently ignored in lambda expressions

  
  Strilanc Saturday, September 05, 2009 9:40 PM
  Last Reply Manuel FahndrichMSFTWednesday, October 07, 2009 6:15 PM
 
• 2423
  

  Ignore CompilerGenerated and/or GeneratedCode

  
  BigstickCarpet Thursday, September 24, 2009 9:04 PM
  Last Reply Manuel FahndrichMSFTWednesday, October 07, 2009 6:13 PM