Code Contracts
Discuss and provide feedback on Code Contracts.
Filtragem e ClassificaçãoUse essas opções para refinar a lista de discussão.
- 13367

New CodeContract Editor Extensions VS2012 and VS2010 are live.
Manuel FahndrichMicrosoft Employeequarta-feira, 20 de março de 2013 04:52 - 81229

Bug report: CCDocGen exception in CCDoc.CCDocCSharpSourceEmitter.TraverseChildren
Anonymous531742 sexta-feira, 2 de novembro de 2012 16:55 - 7371

Additional contracts on Activator.CreateInstance
Lukazoid quinta-feira, 7 de março de 2013 22:00 - 1141

ccrewrite warning messages when opening (not building) my solution
Anthony Abate quinta-feira, 4 de abril de 2013 13:35 - 144026

Stronger postconditions for interfaces that implement interfaces with weaker postconditions - how?
penartur sexta-feira, 26 de agosto de 2011 16:07 - 41296

Static Checking of Portable Libraries
Joe-Sanders segunda-feira, 27 de agosto de 2012 00:16 - 3199

Broken suggested ensures for simple assignment
Kevin Thompson, antiduh segunda-feira, 25 de março de 2013 20:43 - 4209

Unfixable warning when casting/unboxing enums
TomEnglert sexta-feira, 22 de março de 2013 14:43 - 1227

"System.Diagnostics.Contracts" vs "Code Contracts for .NET"(Extension)
LFLF segunda-feira, 25 de março de 2013 19:35 - 4207

Avoid debug dialog box with Contract.Assert in non-rewrite build
Sebastian Good sexta-feira, 22 de março de 2013 20:46 - 5211

Bug Report: False positive CA1804 Caused by Code Contracts 1.4.60317.12 (Reproduced)
Matthew Watson quarta-feira, 20 de março de 2013 19:45 - 6229

CCDoc: Index was outside the bounds of the array
Dave Sexton sábado, 16 de março de 2013 22:01 - 3188

Malformed contract. Found Requires after assignment - contract involves verifying a DateTime
TechnoGlyph terça-feira, 19 de março de 2013 15:30 - 112153

Code Contracts Editor Extensions for VS2012
-glenn- quinta-feira, 23 de agosto de 2012 19:23 - 3161

Misplaced reference to code
TechnoGlyph quarta-feira, 20 de março de 2013 14:28 - 1397

Static checker ignores Contract Option attribute
CodeContractor terça-feira, 26 de fevereiro de 2013 04:25 - 10401

Anyone still relying on VS2008 and VS2005 IDEs ?
Manuel FahndrichMicrosoft Employeequinta-feira, 7 de março de 2013 19:14 - 61951

Compatibility different versions Code Contracts tools
Ruben Vandeginste quarta-feira, 7 de março de 2012 23:31 - 4283

Additional contracts on Type generic methods
Lukazoid quinta-feira, 7 de março de 2013 22:36 - 105221

Warning "propertyAccessor != null" when using Expression<T> with generic base types
Alec Bannon sexta-feira, 29 de outubro de 2010 11:46

