Code Contracts
Discuss and provide feedback on Code Contracts.
Filtering and SortingUse these options to narrow down the question and discussion list.
- 4375
Contract.Requires<ArgumentException>(Contract.ForAll(...)); does not throw an ArgumentException, but a "System.Diagnostics.Contracts.__ContractsRuntime+ContractException"
KolomanIVM Thursday, September 10, 2009 4:36 PM - 0216
Conflicting warnings using Implicit Arithmetic Obligations
Alexander Taeschner Thursday, September 24, 2009 8:01 AM - 3485
strong named assemblies seem to have problems with Code Contracts
David K Allen Monday, September 14, 2009 9:25 PM - 5387
Possibly accessing a field on a null reference 'this.$VB$NonLocal__Closure$__1'
Strilanc Saturday, September 05, 2009 11:30 PM - 8537
Structure invariants should take default constructor into account
Strilanc Saturday, September 05, 2009 10:15 PM - 6591
I was using Reflector and it looks like runtime contract checking isn't thread-safe
Strilanc Monday, September 14, 2009 10:56 PM - 1375
End Contract Block
GraDea Friday, September 18, 2009 7:37 AM - 4444
Linq methods require contracts
Strilanc Saturday, September 05, 2009 9:18 PM - 2376
The size of a ReadOnlyCollection<T> initialized from an array cannot be proven
Alexey R. Thursday, September 17, 2009 8:02 AM - 3663
Accessing new fields in ContractClasses is not forbidden and causes FieldAccessException
winSharp93 Thursday, June 11, 2009 6:08 PM - 5609
Why do Contractclasses stay in the assembly?
winSharp93 Wednesday, June 03, 2009 3:38 PM - 1424
Oldstyle Precontition not proveable by assert after preconditions
Alexander Wurzinger Sunday, September 06, 2009 3:16 PM - 1353
Assert witch can't prove condition proven by invariant
Alexander Wurzinger Sunday, September 06, 2009 2:16 PM - 3453
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 - 5397
array bounds check was proven but disproven by pex
xor88 Sunday, September 06, 2009 10:39 AM - 7448
Previous versions
cainem Saturday, September 12, 2009 2:25 PM - 7794
Contract's Update after the release of the Framework 4.0
Alexander Wurzinger Friday, May 29, 2009 1:20 PM - 5645
How to realize invariant methods in class hierarchies?
winSharp93 Tuesday, May 12, 2009 7:21 PM - 5524
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
