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.

• 3455
  

  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
 
• 5398
  

  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
 
• 7453
  

  Previous versions

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

  Contract's Update after the release of the Framework 4.0

  
  Alexander Wurzinger Friday, May 29, 2009 1:20 PM
  Last Reply Manuel FahndrichMSFTFriday, September 11, 2009 11:01 PM
 
• 5647
  

  How to realize invariant methods in class hierarchies?

  
  winSharp93 Tuesday, May 12, 2009 7:21 PM
  Last Reply Manuel FahndrichMSFTFriday, September 11, 2009 9:05 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
  Last Reply Manuel FahndrichMSFTFriday, September 11, 2009 7:09 PM
 
• 5760
  

  Intergration of Contract library in .NET 4.0 mscoree

  
  Damir DobricMVPSaturday, May 30, 2009 10:41 AM
  Last Reply Manuel FahndrichMSFTFriday, September 11, 2009 7:08 PM
 
• 2362
  

  Should an Object Invariant be protected or private?

  
  Strilanc Tuesday, September 08, 2009 11:58 PM
  Last Reply Manuel FahndrichMSFTFriday, September 11, 2009 7:05 PM
 
• 6360
  

  Missing Contracts in 1.2.20903.10

  
  Alexander Wurzinger Saturday, September 05, 2009 7:37 PM
  Last Reply winSharp93 Friday, September 11, 2009 6:34 PM
 
• 1403
  

  How I can check result of my method?

  
  GraDea Wednesday, September 09, 2009 5:47 AM
  Last Reply KolomanIVM Thursday, September 10, 2009 4:39 PM
 
• 2314
  

  Checking for Redundant Assumptions proves asserts which are otherwise unproven ?

  
  Alexander Wurzinger Wednesday, September 09, 2009 5:47 PM
  Last Reply Alexander Wurzinger Thursday, September 10, 2009 6:01 AM
 
• 1378
  

  Static checker crash (1.2.20903.10)

  
  Alexander Taeschner Sunday, September 06, 2009 8:15 AM
  Last Reply Francesco LogozzoMSFTThursday, September 10, 2009 12:21 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
  Last Reply Francesco LogozzoMSFTWednesday, September 09, 2009 11:34 PM
 
• 4325
  

  integer-based assert could not be proven

  
  xor88 Sunday, September 06, 2009 10:21 AM
  Last Reply xor88 Wednesday, September 09, 2009 5:23 PM
 
• 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
  Last Reply Francesco LogozzoMSFTWednesday, September 09, 2009 5:07 PM
 
• 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
  Last Reply Alexander Wurzinger Tuesday, September 08, 2009 7:12 AM
 
• 2300
  

  Releation between parameter and result note proveable by static checker

  
  Alexander Wurzinger Sunday, September 06, 2009 2:33 PM
  Last Reply Francesco LogozzoMSFTTuesday, September 08, 2009 5:12 AM
 
• 1284
  

  Missing contract for Array.Clone()

  
  xor88 Saturday, September 05, 2009 3:49 PM
  Last Reply Mike BarnettMSFTTuesday, September 08, 2009 2:37 AM
 
• 0203
  

  False Positive: This/Me cannot be used in Requires of a constructor

  
  Strilanc Saturday, September 05, 2009 9:12 PM