Code Contracts

Discuss and provide feedback on Code Contracts. 

• 3164
  

  Are there any settings that affect rewriter performance?

  
  DanTup 29 aprilie 2013 07:53
  Ultimul mesaj Manuel FahndrichMicrosoft Employee1 mai 2013 16:44
 
• 9167
  

  Allowing use of CC without rewriter - will this work?

  
  Danny Tuppeny _ NM 1 mai 2013 11:35
  Ultimul mesaj Danny Tuppeny _ NM 1 mai 2013 14:40
 
• 0111
  

  returning from try/finally confuses contracts, generates unfixable "invariant unproven"

  
  TomEnglert 30 aprilie 2013 12:05
 
• 5136
  

  Can the cache work with multiple branches of our project on same SQL server?

  
  DanTup 26 aprilie 2013 07:20
  Ultimul mesaj DanTup 29 aprilie 2013 08:36
 
• 3142
  

  Unintelligible suggestion

  
  alan.bradbury.0710 25 aprilie 2013 22:02
  Ultimul mesaj Francesco LogozzoMicrosoft Employee27 aprilie 2013 18:31
 
• 2912
  

  BadImageFormatException with ForAll<>() in 1.4.50813.1 (and workaround)

  
  ad_d 25 august 2012 11:41
  Ultimul mesaj Manuel FahndrichMicrosoft Employee26 aprilie 2013 23:04
 
• 9229
  

  Conflict between Fakes and Code Contracts

  
  alan.bradbury.0710 20 aprilie 2013 17:46
  Ultimul mesaj Manuel FahndrichMicrosoft Employee25 aprilie 2013 22:04
 
• 1128
  

  Build fails with "AsmMeta failed with uncaught exception: Index and length must refer to a location within the string"

  
  Dani Avni 22 aprilie 2013 10:47
  Ultimul mesaj Mike BarnettMicrosoft Employee25 aprilie 2013 17:38
 
• 2181
  

  editor extension vs2012

  
  vpalle 18 aprilie 2013 10:32
  Ultimul mesaj Manuel FahndrichMicrosoft Employee25 aprilie 2013 15:12
 
• 2124
  

  Contracts on IsolatedStorageFile methods

  
  Lukazoid 24 aprilie 2013 13:41
  Ultimul mesaj Lukazoid 25 aprilie 2013 08:25
 
• 42205
  

  Use of volatile causes runtime MissingFieldException on rewritten assembly

  
  Paul Ramsperger 29 noiembrie 2011 22:13
  Ultimul mesaj Manuel FahndrichMicrosoft Employee24 aprilie 2013 21:15
 
• 4154
  

  ccrewrite(0,0) : error : Object reference not set to an instance of an object.

  
  Eli Arbel 21 aprilie 2013 12:21
  Ultimul mesaj Manuel FahndrichMicrosoft Employee24 aprilie 2013 17:39
 
• 1145
  

  Missing IReadOnlyList Contracts

  
  Dave Sexton 20 aprilie 2013 11:39
  Ultimul mesaj Manuel FahndrichMicrosoft Employee22 aprilie 2013 21:47
 
• 3164
  

  Code editor extension: set properties don't show contracts on metadata ( Goto Definition F12 )

  
  GeoValy 18 aprilie 2013 11:46
  Ultimul mesaj Manuel FahndrichMicrosoft Employee22 aprilie 2013 16:00
 
• 5133
  

  Upgrade to 1.5.60409.11 causes problem in VS2008

  
  alan.bradbury.0710 19 aprilie 2013 12:22
  Ultimul mesaj Manuel FahndrichMicrosoft Employee19 aprilie 2013 22:51
 
• 22018
  

  ccrewrite error: Object reference not set to an instance of an object

  
  p.roman 23 mai 2012 16:12
  Ultimul mesaj RiSE (Research in Software Engineering) 16 aprilie 2013 20:38
 
• 3208
  

  Contract.Requires and the Decorator Pattern. How to avoid overchecking conditions?

  
  Juliano Goncalves 12 aprilie 2013 13:40
  Ultimul mesaj Manuel FahndrichMicrosoft Employee15 aprilie 2013 23:42
 
• 11703
  

  Incorrect error

  
  John Melville 5 iunie 2012 03:41
  Ultimul mesaj Manuel FahndrichMicrosoft Employee15 aprilie 2013 18:30
 
• 11492
  

  How to share code contract settings across multiple projects?

  
  Ian Jirka 13 iulie 2012 07:10
  Ultimul mesaj Manuel FahndrichMicrosoft Employee15 aprilie 2013 18:29
 
• 1687
  

  Build Warnings with 1.4.5.51019

  
  Jack Pappas 24 octombrie 2012 19:02
  Ultimul mesaj Manuel FahndrichMicrosoft Employee15 aprilie 2013 18:24