Code Contracts
Discuss and provide feedback on Code Contracts.
Filtering and SortingUse these options to narrow down the question and discussion list.
- 1540

Regression Bug: Unboxing a null reference - Nullables
Dave Sexton Thursday, November 01, 2012 6:25 PM - 3617

Difference between logical & and logical && for static code checking
msdn_profile_rk Sunday, November 18, 2012 3:27 PM - 2105

Could not resolve member reference: Windows.Storage.StorageStreamTransaction::Dispose
Dave Sexton Saturday, April 13, 2013 9:15 PM - 54653

Contract Abbreviator Methods from a class library
DevInstinct Monday, July 12, 2010 1:53 PM - 2346

Project showing problems with the static checker
Daniel Hilgarth Tuesday, February 26, 2013 1:31 PM - 1670

Code Contracts and SAP CrystalReports 13
Thomas Hoekstra Monday, November 19, 2012 2:44 PM - 1181

Please allow assembly-level settings to be changed/overridden for specific types
Michael Damatov Wednesday, March 27, 2013 12:57 PM - 33838

Changing Contract Assembly name
Gentlehag Wednesday, September 23, 2009 6:16 AM - 5149

checking references of references
Paul Apostol Wednesday, April 10, 2013 10:54 PM - 1109

Why is member not part of the abstract class/interface being referenced?
kachris Friday, April 12, 2013 1:55 PM - 6187

Why is there no contract warnings?
Claus Skoubølling Jørgensen Wednesday, April 10, 2013 9:19 AM - 12184

Why are Interface contracts not applying outside of assembly?
Juliano Goncalves Wednesday, April 10, 2013 1:48 PM - 72080

Code contracts in VB.Net Constructors
Bkqc Monday, April 02, 2012 5:51 PM - 54409

Code Contracts says silly things about C++/CLI projects
Porges Friday, September 03, 2010 12:38 AM - 3136

RIA Services Client Code generation broken after installing code contracts 1.4.60317.12
Ralias Monday, April 08, 2013 3:35 PM - 13363

New CodeContract Editor Extensions VS2012 and VS2010 are live.
Manuel FahndrichMicrosoft EmployeeWednesday, March 20, 2013 4:52 AM - 81212

Bug report: CCDocGen exception in CCDoc.CCDocCSharpSourceEmitter.TraverseChildren
Anonymous531742 Friday, November 02, 2012 4:55 PM - 7365

Additional contracts on Activator.CreateInstance
Lukazoid Thursday, March 07, 2013 10:00 PM - 1140

ccrewrite warning messages when opening (not building) my solution
Anthony Abate Thursday, April 04, 2013 1:35 PM - 144015

Stronger postconditions for interfaces that implement interfaces with weaker postconditions - how?
penartur Friday, August 26, 2011 4:07 PM

