Code Contracts

Discuss and provide feedback on Code Contracts. 

• 4244
  

  Unfixable warning when casting/unboxing enums

  
  TomEnglert venerdì 22 marzo 2013 14:43
  ultima risposta Francesco LogozzoMicrosoft Employeegiovedì 28 marzo 2013 19:16
 
• 1265
  

  "System.Diagnostics.Contracts" vs "Code Contracts for .NET"(Extension)

  
  LFLF lunedì 25 marzo 2013 19:35
  ultima risposta Kevin Thompson, antiduh lunedì 25 marzo 2013 20:29
 
• 4238
  

  Avoid debug dialog box with Contract.Assert in non-rewrite build

  
  Sebastian Good venerdì 22 marzo 2013 20:46
  ultima risposta Sebastian Good lunedì 25 marzo 2013 20:22
 
• 5243
  

  Bug Report: False positive CA1804 Caused by Code Contracts 1.4.60317.12 (Reproduced)

  
  Matthew Watson mercoledì 20 marzo 2013 19:45
  ultima risposta Matthew Watson lunedì 25 marzo 2013 09:04
 
• 6266
  

  CCDoc: Index was outside the bounds of the array

  
  Dave Sexton sabato 16 marzo 2013 22:01
  ultima risposta Manuel FahndrichMicrosoft Employeedomenica 24 marzo 2013 17:16
 
• 3226
  

  Malformed contract. Found Requires after assignment - contract involves verifying a DateTime

  
  TechnoGlyph martedì 19 marzo 2013 15:30
  ultima risposta Manuel FahndrichMicrosoft Employeevenerdì 22 marzo 2013 15:43
 
• 112266
  

  Code Contracts Editor Extensions for VS2012

  
  -glenn- giovedì 23 agosto 2012 19:23
  ultima risposta -glenn- mercoledì 20 marzo 2013 18:32
 
• 3178
  

  Misplaced reference to code

  
  TechnoGlyph mercoledì 20 marzo 2013 14:28
  ultima risposta RiSE (Research in Software Engineering) mercoledì 20 marzo 2013 16:41
 
• 1454
  

  Static checker ignores Contract Option attribute

  
  CodeContractor martedì 26 febbraio 2013 04:25
  ultima risposta Manuel FahndrichMicrosoft Employeemercoledì 20 marzo 2013 15:16
 
• 10444
  

  Anyone still relying on VS2008 and VS2005 IDEs ?

  
  Manuel FahndrichMicrosoft Employeegiovedì 7 marzo 2013 19:14
  ultima risposta Manuel FahndrichMicrosoft Employeemercoledì 20 marzo 2013 15:14
 
• 62020
  

  Compatibility different versions Code Contracts tools

  
  Ruben Vandeginste mercoledì 7 marzo 2012 23:31
  ultima risposta Ruben Vandeginste mercoledì 20 marzo 2013 09:43
 
• 4321
  

  Additional contracts on Type generic methods

  
  Lukazoid giovedì 7 marzo 2013 22:36
  ultima risposta Lukazoid mercoledì 20 marzo 2013 08:40
 
• 105311
  

  Warning "propertyAccessor != null" when using Expression<T> with generic base types

  
  Alec Bannon venerdì 29 ottobre 2010 11:46
  ultima risposta Daniel Hilgarth martedì 19 marzo 2013 11:32
 
• 101194
  

  StackOverflowException in ccdocgen.exe in Outlook 2007 Add-in project

  
  cremor giovedì 25 ottobre 2012 08:18
  ultima risposta cremor martedì 19 marzo 2013 06:41
 
• 1231
  

  Are you intentionally ignoring this post?

  
  Eyal Shilony lunedì 18 marzo 2013 14:11
  ultima risposta Manuel FahndrichMicrosoft Employeelunedì 18 marzo 2013 19:04
 
• 3615
  

  property invariant incorrectly applied to backing field.

  
  Brian Reichle mercoledì 30 gennaio 2013 01:45
  ultima risposta Manuel FahndrichMicrosoft Employeelunedì 18 marzo 2013 02:52
 
• 211715
  

  Remaining Issues with Visual Studio 2012 Support (1.4.51019.0)

  
  Deavon McCaffery giovedì 8 novembre 2012 21:18
  ultima risposta Manuel FahndrichMicrosoft Employeedomenica 17 marzo 2013 21:22
 
• 101851
  

  Visual Studio Editor Extensions for VS2012?

  
  Dluk lunedì 5 novembre 2012 08:18
  ultima risposta vpalle sabato 16 marzo 2013 21:30
 
• 1394
  

  Contract inherited from ICollection CopyTo

  
  CodeContractor martedì 26 febbraio 2013 05:40
  ultima risposta Manuel FahndrichMicrosoft Employeevenerdì 15 marzo 2013 20:37
 
• 5460
  

  Release Notes?

  
  cremor lunedì 25 febbraio 2013 07:07
  ultima risposta Manuel FahndrichMicrosoft Employeevenerdì 15 marzo 2013 18:33