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.

• 1485
  

  Changing Contract Assembly name

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

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

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

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

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

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

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

  Rewriter skipping certain methods

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

  Code Contract Assemblies Missing Exception

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

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

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

  Argument out of range when selecting contract warnings on continued lines

  
  Strilanc Wednesday, September 30, 2009 4:43 PM
  Last Reply Manuel FahndrichMSFTWednesday, September 30, 2009 9:14 PM
 
• 4633
  

  Contracts in unit testing environments

  
  Joe AlbahariMVPSaturday, September 19, 2009 4:37 AM
  Last Reply Manuel FahndrichMSFTWednesday, September 30, 2009 8:33 PM
 
• 4393
  

  Runtime checking of IEnumerator<T> methods

  
  D. Coates Wednesday, September 23, 2009 3:55 PM
  Last Reply D. Coates Wednesday, September 30, 2009 7:31 PM
 
• 1214
  

  Squigglies and highlighted-text-on-click don't move with source code

  
  Strilanc Tuesday, September 29, 2009 4:39 PM
  Last Reply Manuel FahndrichMSFTWednesday, September 30, 2009 2:44 PM
 
• 6641
  

  Object Reference not set to an instance error on 1.2.20903.10!

  
  onurg Saturday, September 05, 2009 9:05 PM
  Last Reply Manuel FahndrichMSFTMonday, September 28, 2009 8:34 PM
 
• 1281
  

  Microsoft.CSharp.targets(161,15): error MSB4094

  
  avgil Thursday, September 24, 2009 8:17 AM
  Last Reply Mike BarnettMSFTMonday, September 28, 2009 2:25 AM
 
• 1371
  

  Ambiguous in Namespace

  
  Sean McCownMVPThursday, September 24, 2009 2:29 AM
  Last Reply Mike BarnettMSFTMonday, September 28, 2009 2:20 AM
 
• 4375
  

  Contract.Requires<ArgumentException>(Contract.ForAll(...)); does not throw an ArgumentException, but a "System.Diagnostics.Contracts.__ContractsRuntime+ContractException"

  
  KolomanIVM Thursday, September 10, 2009 4:36 PM
  Last Reply Mike BarnettMSFTSunday, September 27, 2009 5:33 PM