Code Contracts
Discuss and provide feedback on Code Contracts.
Filtro e ordinamentoUsa queste opzioni per ridurre l'elenco delle discussioni.
- 4244

Unfixable warning when casting/unboxing enums
TomEnglert venerdì 22 marzo 2013 14:43 - 1265

"System.Diagnostics.Contracts" vs "Code Contracts for .NET"(Extension)
LFLF lunedì 25 marzo 2013 19:35 - 4238

Avoid debug dialog box with Contract.Assert in non-rewrite build
Sebastian Good venerdì 22 marzo 2013 20:46 - 5243

Bug Report: False positive CA1804 Caused by Code Contracts 1.4.60317.12 (Reproduced)
Matthew Watson mercoledì 20 marzo 2013 19:45 - 6266

CCDoc: Index was outside the bounds of the array
Dave Sexton sabato 16 marzo 2013 22:01 - 3226

Malformed contract. Found Requires after assignment - contract involves verifying a DateTime
TechnoGlyph martedì 19 marzo 2013 15:30 - 112266

Code Contracts Editor Extensions for VS2012
-glenn- giovedì 23 agosto 2012 19:23 - 3178

Misplaced reference to code
TechnoGlyph mercoledì 20 marzo 2013 14:28 - 1454

Static checker ignores Contract Option attribute
CodeContractor martedì 26 febbraio 2013 04:25 - 10444

Anyone still relying on VS2008 and VS2005 IDEs ?
Manuel FahndrichMicrosoft Employeegiovedì 7 marzo 2013 19:14 - 62020

Compatibility different versions Code Contracts tools
Ruben Vandeginste mercoledì 7 marzo 2012 23:31 - 4321

Additional contracts on Type generic methods
Lukazoid giovedì 7 marzo 2013 22:36 - 105311

Warning "propertyAccessor != null" when using Expression<T> with generic base types
Alec Bannon venerdì 29 ottobre 2010 11:46 - 101194

StackOverflowException in ccdocgen.exe in Outlook 2007 Add-in project
cremor giovedì 25 ottobre 2012 08:18 - 1231

Are you intentionally ignoring this post?
Eyal Shilony lunedì 18 marzo 2013 14:11 - 3615

property invariant incorrectly applied to backing field.
Brian Reichle mercoledì 30 gennaio 2013 01:45 - 211715

Remaining Issues with Visual Studio 2012 Support (1.4.51019.0)
Deavon McCaffery giovedì 8 novembre 2012 21:18 - 101851

Visual Studio Editor Extensions for VS2012?
Dluk lunedì 5 novembre 2012 08:18 - 1394

Contract inherited from ICollection CopyTo
CodeContractor martedì 26 febbraio 2013 05:40 - 5460

Release Notes?
cremor lunedì 25 febbraio 2013 07:07

