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.

• 2313
  

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

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

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

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

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

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

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

  How I install a Visual Studio Plug-in

  
  MTG Systems Saturday, September 05, 2009 2:56 PM
  Last Reply Alexander Wurzinger Saturday, September 05, 2009 4:35 PM
 
• 2287
  

  False True Warning with Nullable Instance Variables

  
  Alexander Wurzinger Friday, September 04, 2009 4:58 PM
  Last Reply Alexander Wurzinger Saturday, September 05, 2009 9:20 AM
 
• 1711
  

  Can not compile under Silverlight 3 - Malformatted Contract in System.Security.Cryptography.X509Certificates.X509CertificateCollection.#ctor

  
  winSharp93 Sunday, August 30, 2009 6:45 PM
  Last Reply Manuel FahndrichMSFTMonday, August 31, 2009 3:36 PM
 
• 1524
  

  False True Warning with Activated Implicit Arithmetic Obligations activated

  
  Alexander Wurzinger Wednesday, August 26, 2009 4:23 PM
  Last Reply Francesco LogozzoMSFTThursday, August 27, 2009 1:30 AM
 
• 4786
  

  An error occurred trying to load the page error ?

  
  onurg Friday, February 27, 2009 1:19 PM
  Last Reply Shawn Britton Tuesday, August 25, 2009 6:32 PM
 
• 1555
  

  Error: Redim Preserve is not understood as non-null

  
  Strilanc Thursday, June 25, 2009 9:01 PM
  Last Reply Francesco LogozzoMSFTMonday, August 24, 2009 11:28 PM
 
• 6687
  

  Why do Code Contracts not use Z3?

  
  xor88 Saturday, August 22, 2009 11:08 AM
  Last Reply xor88 Monday, August 24, 2009 12:29 PM
 
• 1437
  

  IList<T> RemoveAt(int) is missing an Ensure

  
  smbell398 Sunday, August 23, 2009 3:27 PM
  Last Reply Francesco LogozzoMSFTMonday, August 24, 2009 4:45 AM
 
• 2516
  

  Static checker crash (1.2.20518.12)

  
  smbell398 Sunday, August 23, 2009 9:33 AM
  Last Reply Francesco LogozzoMSFTMonday, August 24, 2009 4:39 AM
 
• 4598
  

  Syntax suggestion: "where" eg "where denominator != 0"

  
  dreisenberger Wednesday, August 19, 2009 5:32 PM
  Last Reply Mike BarnettMSFTFriday, August 21, 2009 8:29 PM
 
• 5629
  

  Contracts unproven after activating addional checks

  
  Alexander Wurzinger Wednesday, August 19, 2009 12:21 PM
  Last Reply Francesco LogozzoMSFTFriday, August 21, 2009 1:03 AM