Ask a question

Search Forums:

• Search Code Contracts Forum
• Search All DevLabs Forums
• Search All MSDN Forums

 

Code Contracts

Discuss and provide feedback on Code Contracts.

• 6642
  

  Object Reference not set to an instance error on 1.2.20903.10!

  
  onurg Saturday, September 05, 2009 9:05 PM
  Last Reply Manuel FahndrichMSFTMonday, September 28, 2009 8:34 PM
 
• 1281
  

  Microsoft.CSharp.targets(161,15): error MSB4094

  
  avgil Thursday, September 24, 2009 8:17 AM
  Last Reply Mike BarnettMSFTMonday, September 28, 2009 2:25 AM
 
• 1371
  

  Ambiguous in Namespace

  
  Sean McCownMVPThursday, September 24, 2009 2:29 AM
  Last Reply Mike BarnettMSFTMonday, September 28, 2009 2:20 AM
 
• 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
  Last Reply Mike BarnettMSFTSunday, September 27, 2009 5:33 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
  Last Reply Manuel FahndrichMSFTFriday, September 18, 2009 11:41 PM
 
• 5387
  

  Possibly accessing a field on a null reference 'this.$VB$NonLocal__Closure$__1'

  
  Strilanc Saturday, September 05, 2009 11:30 PM
  Last Reply Manuel FahndrichMSFTFriday, September 18, 2009 6:03 PM
 
• 8538
  

  Structure invariants should take default constructor into account

  
  Strilanc Saturday, September 05, 2009 10:15 PM
  Last Reply Manuel FahndrichMSFTFriday, September 18, 2009 4: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
  Last Reply Manuel FahndrichMSFTFriday, September 18, 2009 3:52 PM
 
• 1375
  

  End Contract Block

  
  GraDea Friday, September 18, 2009 7:37 AM
  Last Reply Manuel FahndrichMSFTFriday, September 18, 2009 3:47 PM
 
• 4444
  

  Linq methods require contracts

  
  Strilanc Saturday, September 05, 2009 9:18 PM
  Last Reply Manuel FahndrichMSFTFriday, September 18, 2009 3:38 PM
 
• 2377
  

  The size of a ReadOnlyCollection<T> initialized from an array cannot be proven

  
  Alexey R. Thursday, September 17, 2009 8:02 AM
  Last Reply Alexey R. Friday, September 18, 2009 6:16 AM
 
• 3663
  

  Accessing new fields in ContractClasses is not forbidden and causes FieldAccessException

  
  winSharp93 Thursday, June 11, 2009 6:08 PM
  Last Reply Manuel FahndrichMSFTThursday, September 17, 2009 11:45 PM
 
• 5610
  

  Why do Contractclasses stay in the assembly?

  
  winSharp93 Wednesday, June 03, 2009 3:38 PM
  Last Reply Manuel FahndrichMSFTThursday, September 17, 2009 11:02 PM
 
• 1424
  

  Oldstyle Precontition not proveable by assert after preconditions

  
  Alexander Wurzinger Sunday, September 06, 2009 3:16 PM
  Last Reply Francesco LogozzoMSFTThursday, September 17, 2009 10:47 PM
 
• 1354
  

  Assert witch can't prove condition proven by invariant

  
  Alexander Wurzinger Sunday, September 06, 2009 2:16 PM
  Last Reply Francesco LogozzoMSFTThursday, September 17, 2009 10:30 PM
 
• 3453
  

  Static verifier fails to prove double is finite

  
  Strilanc Saturday, September 05, 2009 9:00 PM
  Last Reply Strilanc Thursday, September 17, 2009 9:40 PM
 
• 2256
  

  Static verifier claims apparently correct method involving division is incorrect

  
  Strilanc Wednesday, September 16, 2009 7:47 AM
  Last Reply Francesco LogozzoMSFTWednesday, September 16, 2009 4:18 PM
 
• 5397
  

  array bounds check was proven but disproven by pex

  
  xor88 Sunday, September 06, 2009 10:39 AM
  Last Reply Strilanc Tuesday, September 15, 2009 8:29 PM
 
• 7449
  

  Previous versions

  
  cainem Saturday, September 12, 2009 2:25 PM
  Last Reply PeliMSFTMonday, September 14, 2009 11:54 PM