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.

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

  Missing warnings and notices

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

  Useless Warning CC0001

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

  Code Contracts with LINQ query?

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

  "*.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
 
• 4826
  

  Interface contracts - explicit implementation

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

  Suppressing warnings

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

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

  Changing Contract Assembly name

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

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

  Contracts silently ignored in lambda expressions

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

  Ignore CompilerGenerated and/or GeneratedCode

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

  VB string comparison is not marked pure

  
  Strilanc Friday, October 02, 2009 6:15 PM
  Last Reply Mike BarnettMSFTTuesday, October 06, 2009 9:50 PM
 
• 1417
  

  Where did the "Code Contracts" tab go?

  
  lsbx Monday, September 28, 2009 6:50 PM
  Last Reply Figo FeiMSFTTuesday, October 06, 2009 10:03 AM
 
• 6495
  

  Warning "Type [ContractClass] contains at least one method which is not an explicit interface implementation"

  
  winSharp93 Friday, September 25, 2009 3:19 PM
  Last Reply winSharp93 Sunday, October 04, 2009 7:33 PM
 
• 2278
  

  Build fails when "Check in background" is not checked

  
  fmachado Wednesday, September 30, 2009 2:48 PM
  Last Reply fmachado Saturday, October 03, 2009 1:08 PM
 
• 1237
  

  Rewriter skipping certain methods

  
  BigstickCarpet Friday, October 02, 2009 9:44 PM
  Last Reply Manuel FahndrichMSFTSaturday, October 03, 2009 3:17 AM
 
• 3380
  

  Code Contract Assemblies Missing Exception

  
  Gentlehag Wednesday, September 23, 2009 7:41 AM
  Last Reply Manuel FahndrichMSFTThursday, October 01, 2009 2:45 PM
 
• 1227
  

  Missing "Code Contracts" tab in VS2010 Beta 1

  
  lsberman Thursday, October 01, 2009 12:27 PM
  Last Reply Jon Skeet Thursday, October 01, 2009 1:17 PM
 
• 1374
  

  Rewriter crash involving interfaces, child classes, and generics

  
  Strilanc Tuesday, September 08, 2009 11:25 PM
  Last Reply Manuel FahndrichMSFTWednesday, September 30, 2009 11:54 PM