Code Contracts

Discuss and provide feedback on Code Contracts. 

• 135666
  

  Allow throwing a specific exception when contract fails?

  
  winSharp93 mardi 12 mai 2009 19:11
  dernière réponse ohnobinki vendredi 17 mai 2013 14:26
 
• 1163
  

  Contracts and Globalization using resources

  
  Melor vendredi 10 mai 2013 11:47
  dernière réponse James Albert vendredi 17 mai 2013 02:42
 
• 7332
  

  "Failed to connect to any cache" in 1.5.60409.11

  
  Jesse Sweetland mardi 16 avril 2013 13:41
  dernière réponse Jesse Sweetland mercredi 15 mai 2013 19:35
 
• 2128
  

  Inconsistent invariant warning

  
  alan.bradbury.0710 mardi 14 mai 2013 20:24
  dernière réponse alan.bradbury.0710 mardi 14 mai 2013 22:00
 
• 2155
  

  Possibly unboxing a null reference - Ignored Assumption

  
  Dave Sexton lundi 6 mai 2013 21:39
  dernière réponse Dave Sexton jeudi 9 mai 2013 22:41
 
• 12336
  

  Invariants ignored in 1.5.60409.11?

  
  Jesse Sweetland mardi 16 avril 2013 18:54
  dernière réponse Francesco LogozzoMicrosoft Employeejeudi 9 mai 2013 21:13
 
• 4127
  

  "Internal error in Clousot with r.o. inference"

  
  Danny Tuppeny _ NM mercredi 8 mai 2013 13:38
  dernière réponse Danny Tuppeny _ NM jeudi 9 mai 2013 11:39
 
• 43716
  

  When will F# be supported?

  
  Sebastian Good vendredi 8 avril 2011 02:57
  dernière réponse Josef Bláha jeudi 9 mai 2013 06:30
 
• 12222
  

  CC warnings cause build to *fail* when using MSBuild, even if CodeContractsFailBuildOnWarnings=false

  
  DanTup jeudi 25 avril 2013 09:56
  dernière réponse Manuel FahndrichMicrosoft Employeemercredi 8 mai 2013 16:34
 
• 11266
  

  Incorrect code contract documentation is generated

  
  Jonnroc lundi 29 avril 2013 15:41
  dernière réponse Jonnroc mercredi 8 mai 2013 14:32
 
• 2140
  

  Code contract not working with separate project for interfaces

  
  Haithem Boujerida mardi 7 mai 2013 17:09
  dernière réponse Haithem Boujerida mercredi 8 mai 2013 10:28
 
• 3309
  

  Get rid of useless null checks

  
  Flusskrebs mercredi 17 avril 2013 15:28
  dernière réponse Francesco LogozzoMicrosoft Employeemardi 7 mai 2013 22:00
 
• 9188
  

  Analyser bug? Why does adding an Assert allow another Assert to become proven?

  
  Danny Tuppeny _ NM jeudi 2 mai 2013 15:31
  dernière réponse DanTup mardi 7 mai 2013 18:30
 
• 0123
  

  Missing LINQ Contracts On Portable FCL

  
  Dave Sexton mardi 7 mai 2013 16:17
 
• 0112
  

  Nullable Bug: Requires Implicative

  
  Dave Sexton mardi 7 mai 2013 15:38
 
• 1152
  

  Contract Ensures Result Instead of Task

  
  Dave Sexton vendredi 3 mai 2013 14:45
  dernière réponse Manuel FahndrichMicrosoft Employeevendredi 3 mai 2013 19:06
 
• 2182
  

  Possibly calling a method on a null reference with foreach

  
  alan.bradbury.0710 mardi 30 avril 2013 08:24
  dernière réponse Dluk jeudi 2 mai 2013 07:22
 
• 2186
  

  Enum precondition redundant

  
  alan.bradbury.0710 mardi 30 avril 2013 08:49
  dernière réponse Francesco LogozzoMicrosoft Employeemercredi 1 mai 2013 23:49
 
• 3219
  

  Are there any settings that affect rewriter performance?

  
  DanTup lundi 29 avril 2013 07:53
  dernière réponse Manuel FahndrichMicrosoft Employeemercredi 1 mai 2013 16:44
 
• 9207
  

  Allowing use of CC without rewriter - will this work?

  
  Danny Tuppeny _ NM mercredi 1 mai 2013 11:35
  dernière réponse Danny Tuppeny _ NM mercredi 1 mai 2013 14:40