microsoft/CodeContracts

Issues

• Enable contracts in VS Community 2019

  #507 opened 5 years ago by gsscoder
  0

• Preconditions with non-interger decimals are broken

  #506 opened 5 years ago by grayed
  0

• Rewrite tool introduce bugs in local functions

  #505 opened 6 years ago by ehakram
  0

• CodeContracts not working in VS2017

  #476 opened 8 years ago by RealDotNetDave
  28

• BadImageFormatException with enabled runtime checking

  #502 opened 6 years ago by fubar-coder
  0

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

  #501 opened 7 years ago by bratchikov
  1

• Visual Studio 2017 support

  #451 opened 8 years ago by yaakov-h
  18

• DotNet.Contracts hard to find

  #480 opened 8 years ago by NickStrupat
  1

• VS2017 path to sn.exe is wrong

  #500 opened 7 years ago by yaakov-h
  0

• Do not work with visual studio 2017

  #493 opened 7 years ago by wavebit
  6

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

  #492 opened 7 years ago by SaiSK88
  19

• Another NullReferenceException with closure in constructor

  #498 opened 7 years ago by baSSiLL
  0

• Document for the implementation/source code?

  #497 opened 7 years ago by LYP951018
  0

• Build with CodeContracts fails with dotnet build

  #495 opened 7 years ago by johncrim
  0

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

  #483 opened 8 years ago by aleksd
  1

• COMException (0x80004005)

  #494 opened 7 years ago by vladexl
  0

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

  #491 opened 7 years ago by yaakov-h
  0

• IDictionary contracts and boxing

  #490 opened 7 years ago by AndirNotes
  2

• StackOverflowException in cccheck.exe

  #489 opened 7 years ago by yaakov-h
  0

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

  #488 opened 8 years ago by nexussays
  0

• .NET Framework 4.7 BCL Contracts

  #487 opened 8 years ago by yaakov-h
  0

• Error trying to compile the latest source

  #471 opened 8 years ago by richgilson
  1

• Rosalyn Code Analyzer for Code Contracts Usage

  #485 opened 8 years ago by normanhh3
  4

• Removing Code Contracts from a project when upgrading to VS2017

  #484 opened 8 years ago by DiskCrasher
  1

• ccrewrite chokes on async preconditions with using in VS2017

  #481 opened 8 years ago by yaakov-h
  0

• False positive on a contant value when using GeneratedCodeAttribute

  #479 opened 8 years ago by GerbrandStap
  0

• Contract for Enum.GetName incorrectly states result not null

  #478 opened 8 years ago by NameOfTheDragon
  0

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

  #477 opened 8 years ago by dfch
  0

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

  #474 opened 8 years ago by Daniel-Svensson
  0

• Documentation errors in userdoc.pdf

  #472 opened 8 years ago by HugoRoss
  0

• CodeContracts doesn't detect value is mutated by lambda method.

  #469 opened 8 years ago by daiplusplus
  0

• Invariant on derived `internal` property fired too early

  #463 opened 8 years ago by summivox
  1

• Class invariants not checked on autoproperty with public setter

  #467 opened 8 years ago by maritaria
  1

• Ensures not deduced from setting autoproperty to constant value

  #468 opened 8 years ago by maritaria
  1

• Code Contracts Rewriter creates invalid assembly references

  #450 opened 8 years ago by Alois-xx
  3

• Invariants not respected in static method?

  #466 opened 8 years ago by summivox
  5

• CC breaks if XML axis is used within a lambda function (VB.net)

  #465 opened 8 years ago by bkqc
  0

• cccheck no longer infers that an async method returns a non-null task

  #461 opened 8 years ago by yaakov-h
  0

• Contract abbreviators do not work with async methods.

  #460 opened 8 years ago by voroninp
  0

• Async methods in VB.NET crash the rewriter

  #458 opened 8 years ago by bkqc
  0

• Pdb-rewriter seems to wipe out source files checksums from pdb

  #456 opened 8 years ago by ESolovova
  1

• NullReferenceException running CodeContracts

  #455 opened 8 years ago by flcdrg
  0

• Cant install Nuget for DotNet.Contracts 1.10.20606.1

  #454 opened 8 years ago by xmarshal
  2

• Some possible defects (expression issues)

  #453 opened 8 years ago by AppChecker
  1

• Code Contracts for IDictionary<TKey, TValue>

  #449 opened 8 years ago by thomas-delahaye
  0

• Contract.Requires cannot work on Portable Class Library

  #448 opened 8 years ago by huoyaoyuan
  1

• Code Contracts crashing in background in VS2015

  #447 opened 8 years ago by JamesFaix
  1

• Missing BCL contracts for EventWaitHandle.TryOpenExisting

  #444 opened 8 years ago by yaakov-h
  0

• BCL contracts NamedPipeServerStream.BeginWaitForConnection appears to be unused.

  #443 opened 8 years ago by yaakov-h
  0

• Missing BCL contracts on Process.GetProcessById

  #442 opened 8 years ago by yaakov-h
  0