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

Static verifier fails to prove double is finite
Strilanc Saturday, September 05, 2009 9:00 PM - 2256

Static verifier claims apparently correct method involving division is incorrect
Strilanc Wednesday, September 16, 2009 7:47 AM - 5398

array bounds check was proven but disproven by pex
xor88 Sunday, September 06, 2009 10:39 AM - 7453

Previous versions
cainem Saturday, September 12, 2009 2:25 PM - 7797

Contract's Update after the release of the Framework 4.0
Alexander Wurzinger Friday, May 29, 2009 1:20 PM - 5647

How to realize invariant methods in class hierarchies?
winSharp93 Tuesday, May 12, 2009 7:21 PM - 5528

NullReferenceException when using Contract.Requires<E> with an exception that does not provide a constructor accepting a string as parameter
winSharp93 Wednesday, June 03, 2009 3:47 PM - 5760

Intergration of Contract library in .NET 4.0 mscoree
Damir DobricMVPSaturday, May 30, 2009 10:41 AM - 2362

Should an Object Invariant be protected or private?
Strilanc Tuesday, September 08, 2009 11:58 PM - 6360

Missing Contracts in 1.2.20903.10
Alexander Wurzinger Saturday, September 05, 2009 7:37 PM - 1403

How I can check result of my method?
GraDea Wednesday, September 09, 2009 5:47 AM - 2314

Checking for Redundant Assumptions proves asserts which are otherwise unproven ?
Alexander Wurzinger Wednesday, September 09, 2009 5:47 PM - 1378

Static checker crash (1.2.20903.10)
Alexander Taeschner Sunday, September 06, 2009 8:15 AM - 1321

Will the static checker ever be able to prove String based asserts (involving trim, contains, ...) ?
Alexander Wurzinger Sunday, September 06, 2009 2:00 PM - 4325

integer-based assert could not be proven
xor88 Sunday, September 06, 2009 10:21 AM - 4279

Asume can be proven, but after change to assert it can't be proven anymore
Alexander Wurzinger Wednesday, September 09, 2009 11:59 AM - 2305

Suggestion Adding Option(s) in order to show how mutch time each assert (in a single medoth) takes/costs
Alexander Wurzinger Sunday, September 06, 2009 2:41 PM - 2300

Releation between parameter and result note proveable by static checker
Alexander Wurzinger Sunday, September 06, 2009 2:33 PM - 1284

Missing contract for Array.Clone()
xor88 Saturday, September 05, 2009 3:49 PM - 0203

False Positive: This/Me cannot be used in Requires of a constructor
Strilanc Saturday, September 05, 2009 9:12 PM


