Code Contracts

Discuss and provide feedback on Code Contracts. 

• 085
  

  Missing LINQ Contracts On Portable FCL

  
  Dave Sexton 7 мая 2013 г. 16:17
 
• 087
  

  Nullable Bug: Requires Implicative

  
  Dave Sexton 7 мая 2013 г. 15:38
 
• 1121
  

  Contract Ensures Result Instead of Task

  
  Dave Sexton 3 мая 2013 г. 14:45
  последний ответ Manuel FahndrichMicrosoft Employee3 мая 2013 г. 19:06
 
• 2143
  

  Possibly calling a method on a null reference with foreach

  
  alan.bradbury.0710 30 апреля 2013 г. 8:24
  последний ответ Dluk 2 мая 2013 г. 7:22
 
• 2140
  

  Enum precondition redundant

  
  alan.bradbury.0710 30 апреля 2013 г. 8:49
  последний ответ Francesco LogozzoMicrosoft Employee1 мая 2013 г. 23:49
 
• 3176
  

  Are there any settings that affect rewriter performance?

  
  DanTup 29 апреля 2013 г. 7:53
  последний ответ Manuel FahndrichMicrosoft Employee1 мая 2013 г. 16:44
 
• 9176
  

  Allowing use of CC without rewriter - will this work?

  
  Danny Tuppeny _ NM 1 мая 2013 г. 11:35
  последний ответ Danny Tuppeny _ NM 1 мая 2013 г. 14:40
 
• 0122
  

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

  
  TomEnglert 30 апреля 2013 г. 12:05
 
• 5142
  

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

  
  DanTup 26 апреля 2013 г. 7:20
  последний ответ DanTup 29 апреля 2013 г. 8:36
 
• 3154
  

  Unintelligible suggestion

  
  alan.bradbury.0710 25 апреля 2013 г. 22:02
  последний ответ Francesco LogozzoMicrosoft Employee27 апреля 2013 г. 18:31
 
• 2927
  

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

  
  ad_d 25 августа 2012 г. 11:41
  последний ответ Manuel FahndrichMicrosoft Employee26 апреля 2013 г. 23:04
 
• 9256
  

  Conflict between Fakes and Code Contracts

  
  alan.bradbury.0710 20 апреля 2013 г. 17:46
  последний ответ Manuel FahndrichMicrosoft Employee25 апреля 2013 г. 22:04
 
• 1142
  

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

  
  Dani Avni 22 апреля 2013 г. 10:47
  последний ответ Mike BarnettMicrosoft Employee25 апреля 2013 г. 17:38
 
• 2195
  

  editor extension vs2012

  
  vpalle 18 апреля 2013 г. 10:32
  последний ответ Manuel FahndrichMicrosoft Employee25 апреля 2013 г. 15:12
 
• 2137
  

  Contracts on IsolatedStorageFile methods

  
  Lukazoid 24 апреля 2013 г. 13:41
  последний ответ Lukazoid 25 апреля 2013 г. 8:25
 
• 42232
  

  Use of volatile causes runtime MissingFieldException on rewritten assembly

  
  Paul Ramsperger 29 ноября 2011 г. 22:13
  последний ответ Manuel FahndrichMicrosoft Employee24 апреля 2013 г. 21:15
 
• 4165
  

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

  
  Eli Arbel 21 апреля 2013 г. 12:21
  последний ответ Manuel FahndrichMicrosoft Employee24 апреля 2013 г. 17:39
 
• 1157
  

  Missing IReadOnlyList Contracts

  
  Dave Sexton 20 апреля 2013 г. 11:39
  последний ответ Manuel FahndrichMicrosoft Employee22 апреля 2013 г. 21:47
 
• 3177
  

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

  
  GeoValy 18 апреля 2013 г. 11:46
  последний ответ Manuel FahndrichMicrosoft Employee22 апреля 2013 г. 16:00
 
• 5141
  

  Upgrade to 1.5.60409.11 causes problem in VS2008

  
  alan.bradbury.0710 19 апреля 2013 г. 12:22
  последний ответ Manuel FahndrichMicrosoft Employee19 апреля 2013 г. 22:51