Code Contracts

Discuss and provide feedback on Code Contracts. 

• 101128
  

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

  
  cremor 2012년 10월 25일 목요일 오전 8:18
  최근 응답 cremor 2013년 3월 19일 화요일 오전 6:41
 
• 1202
  

  Are you intentionally ignoring this post?

  
  Eyal Shilony 2013년 3월 18일 월요일 오후 2:11
  최근 응답 Manuel FahndrichMicrosoft Employee2013년 3월 18일 월요일 오후 7:04
 
• 3552
  

  property invariant incorrectly applied to backing field.

  
  Brian Reichle 2013년 1월 30일 수요일 오전 1:45
  최근 응답 Manuel FahndrichMicrosoft Employee2013년 3월 18일 월요일 오전 2:52
 
• 211612
  

  Remaining Issues with Visual Studio 2012 Support (1.4.51019.0)

  
  Deavon McCaffery 2012년 11월 8일 목요일 오후 9:18
  최근 응답 Manuel FahndrichMicrosoft Employee2013년 3월 17일 일요일 오후 9:22
 
• 101753
  

  Visual Studio Editor Extensions for VS2012?

  
  Dluk 2012년 11월 5일 월요일 오전 8:18
  최근 응답 vpalle 2013년 3월 16일 토요일 오후 9:30
 
• 1345
  

  Contract inherited from ICollection CopyTo

  
  CodeContractor 2013년 2월 26일 화요일 오전 5:40
  최근 응답 Manuel FahndrichMicrosoft Employee2013년 3월 15일 금요일 오후 8:37
 
• 5422
  

  Release Notes?

  
  cremor 2013년 2월 25일 월요일 오전 7:07
  최근 응답 Manuel FahndrichMicrosoft Employee2013년 3월 15일 금요일 오후 6:33
 
• 2376
  

  someArray.Length should be considered equivalent to Enumerable.Count

  
  Daniel Hilgarth 2013년 2월 28일 목요일 오전 11:13
  최근 응답 Francesco LogozzoMicrosoft Employee2013년 3월 14일 목요일 오전 12:16
 
• 3244
  

  ccrewrite notimplementedexception

  
  Michael Duesterhus 2013년 3월 11일 월요일 오전 9:40
  최근 응답 Michael Duesterhus 2013년 3월 13일 수요일 오전 8:54
 
• 2502
  

  Future of Code Contracts + Roslyn

  
  Lukazoid 2013년 2월 27일 수요일 오전 10:07
  최근 응답 Lukazoid 2013년 3월 7일 목요일 오후 9:54
 
• 3290
  

  Postconditions on iterator items that avoid multiple iterations

  
  Michael Damatov 2013년 3월 6일 수요일 오전 9:17
  최근 응답 Manuel FahndrichMicrosoft Employee2013년 3월 7일 목요일 오전 2:52
 
• 1222
  

  DebuggerBrowsable on $evaluatingInvariant$

  
  Ranco Marcus 2013년 3월 6일 수요일 오후 1:06
  최근 응답 Manuel FahndrichMicrosoft Employee2013년 3월 6일 수요일 오후 6:19
 
• 122950
  

  Caching and CachesqlServer

  
  Chris Cornacchia 2012년 1월 24일 화요일 오후 5:52
  최근 응답 Manuel FahndrichMicrosoft Employee2013년 3월 6일 수요일 오후 6:09
 
• 161684
  

  Is Code Contracts dead?

  
  Juan Gelós 2013년 2월 15일 금요일 오후 4:56
  최근 응답 Eyal Shilony 2013년 3월 6일 수요일 오후 5:45
 
• 3612
  

  Bug: Side-effects concluded for null-coalescing operator

  
  Søren Bak Vestergaard 2013년 2월 5일 화요일 오후 11:01
  최근 응답 Manuel FahndrichMicrosoft Employee2013년 3월 6일 수요일 오전 6:19
 
• 4353
  

  ccrewrite nullreferenceexception

  
  Michael Duesterhus 2013년 2월 26일 화요일 오후 1:04
  최근 응답 Manuel FahndrichMicrosoft Employee2013년 3월 6일 수요일 오전 6:16
 
• 4384
  

  Contracts. VS emits a sound and everything stops when using Contracts ... Why?

  
  MDMoura 2013년 2월 26일 화요일 오후 9:58
  최근 응답 Manuel FahndrichMicrosoft Employee2013년 2월 27일 수요일 오후 5:51
 
• 131054
  

  Object invariant does not apply to objects with the same type

  
  wheat9 2012년 9월 25일 화요일 오전 2:05
  최근 응답 Manuel FahndrichMicrosoft Employee2013년 2월 27일 수요일 오후 3:44
 
• 71377
  

  Portable Library. The command ""C:\Program Files (x86)\Microsoft\Contracts\Bin\ccrewrite" "@TeamTimer.Commonccrewrite.rsp"" exited with code -1073741571

  
  Xperiandri 2012년 10월 29일 월요일 오전 2:29
  최근 응답 Andrew Nefedkin 2013년 2월 26일 화요일 오후 3:26
 
• 3902
  

  Bug report: unreachable assertion for uint > 0x80000000

  
  wheat9 2012년 11월 16일 금요일 오후 9:16
  최근 응답 wheat9 2013년 2월 25일 월요일 오후 6:08