Issues

• Enable contracts in VS Community 2019

  microsoft/CodeContracts#507 · Filter by author gsscoder opened on Feb 4, 2020

• Preconditions with non-interger decimals are broken

  microsoft/CodeContracts#506 · Filter by author grayed opened on Nov 30, 2019

• Rewrite tool introduce bugs in local functions

  microsoft/CodeContracts#505 · Filter by author tool-buddy opened on Feb 26, 2019

• BadImageFormatException with enabled runtime checking

  microsoft/CodeContracts#502 · Filter by author fubar-coder opened on Jun 8, 2018

• Reading assembly 'Unity.Abstractions' generate System.OutOfMemoryException

  microsoft/CodeContracts#501 · Filter by author bratchikov opened on May 18, 2018
  1

• VS2017 path to sn.exe is wrong

  microsoft/CodeContracts#500 · Filter by author yaakov-h opened on Mar 21, 2018

• Another NullReferenceException with closure in constructor

  microsoft/CodeContracts#498 · Filter by author baSSiLL opened on Nov 18, 2017

• Document for the implementation/source code?

  microsoft/CodeContracts#497 · Filter by author LYP951018 opened on Oct 15, 2017

• Build with CodeContracts fails with dotnet build

  microsoft/CodeContracts#495 · Filter by author johncrim opened on Sep 25, 2017

• COMException (0x80004005)

  microsoft/CodeContracts#494 · Filter by author vladexl opened on Sep 6, 2017

• Do not work with visual studio 2017

  microsoft/CodeContracts#493 · Filter by author wavebit opened on Aug 16, 2017
  6

• How to enable "perform runtime contract checking" in Visual Studio 2017?

  microsoft/CodeContracts#492 · Filter by author SaiSK88 opened on Aug 16, 2017
  19

• Postcondition missing from StringBuilder.AppendFormat(IFormatProvider, string, object)

  microsoft/CodeContracts#491 · Filter by author yaakov-h opened on Jul 19, 2017

• IDictionary contracts and boxing

  microsoft/CodeContracts#490 · Filter by author AndirNotes opened on Jun 23, 2017
  2

• StackOverflowException in cccheck.exe

  microsoft/CodeContracts#489 · Filter by author yaakov-h opened on Jun 8, 2017

• ccrewrite aborted due to metadata errors (Xamarin or VS2017 15.2 related?)

  microsoft/CodeContracts#488 · Filter by author nexussays opened on May 18, 2017

• .NET Framework 4.7 BCL Contracts

  microsoft/CodeContracts#487 · Filter by author yaakov-h opened on May 4, 2017

• Rewriter produces incorrect debug information for async methods in PDB file

  microsoft/CodeContracts#483 · Filter by author aleksd opened on Mar 9, 2017
  1

• ccrewrite chokes on async preconditions with using in VS2017

  microsoft/CodeContracts#481 · Filter by author yaakov-h opened on Feb 14, 2017

• DotNet.Contracts hard to find

  microsoft/CodeContracts#480 · Filter by author NickStrupat opened on Jan 25, 2017
  1

• False positive on a contant value when using GeneratedCodeAttribute

  microsoft/CodeContracts#479 · Filter by author GerbrandStap opened on Jan 24, 2017

• Contract for Enum.GetName incorrectly states result not null

  microsoft/CodeContracts#478 · Filter by author NameOfTheDragon opened on Jan 21, 2017

• ccrewrite error when trying to set TextBox.Margin in UWP project when targeting ARM platform

  microsoft/CodeContracts#477 · Filter by author dfch opened on Jan 14, 2017

• CodeContracts not working in VS2017

  microsoft/CodeContracts#476 · Filter by author RealDotNetDave opened on Jan 5, 2017
  28

• Wrong reference assemblies used when targeting .Net 4.6.2 (and in some cases 4.5.2)

  microsoft/CodeContracts#474 · Filter by author Daniel-Svensson opened on Dec 30, 2016