Skip to content
This repository has been archived by the owner on Jul 15, 2023. It is now read-only.

Issues: microsoft/CodeContracts

205 Open 112 Closed
205 Open 112 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Enable contracts in VS Community 2019
#507 opened Feb 4, 2020 by gsscoder
Preconditions with non-interger decimals are broken
#506 opened Nov 30, 2019 by grayed
Rewrite tool introduce bugs in local functions
#505 opened Feb 26, 2019 by ehakram
BadImageFormatException with enabled runtime checking
#502 opened Jun 8, 2018 by fubar-coder
Reading assembly 'Unity.Abstractions' generate System.OutOfMemoryException
#501 opened May 18, 2018 by bratchikov
1
VS2017 path to sn.exe is wrong
#500 opened Mar 21, 2018 by yaakov-h
Another NullReferenceException with closure in constructor
#498 opened Nov 18, 2017 by baSSiLL
Document for the implementation/source code?
#497 opened Oct 15, 2017 by LYP951018
Build with CodeContracts fails with dotnet build
#495 opened Sep 25, 2017 by johncrim
1
COMException (0x80004005)
#494 opened Sep 6, 2017 by vladexl
Do not work with visual studio 2017
#493 opened Aug 16, 2017 by wavebit
6
How to enable "perform runtime contract checking" in Visual Studio 2017?
#492 opened Aug 16, 2017 by SaiSK88
19
Postcondition missing from StringBuilder.AppendFormat(IFormatProvider, string, object)
#491 opened Jul 19, 2017 by yaakov-h
IDictionary contracts and boxing
#490 opened Jun 23, 2017 by AndirNotes
2
StackOverflowException in cccheck.exe
#489 opened Jun 8, 2017 by yaakov-h
ccrewrite aborted due to metadata errors (Xamarin or VS2017 15.2 related?)
#488 opened May 18, 2017 by nexussays
.NET Framework 4.7 BCL Contracts
#487 opened May 4, 2017 by yaakov-h
Rewriter produces incorrect debug information for async methods in PDB file
#483 opened Mar 9, 2017 by aleksd
1
ccrewrite chokes on async preconditions with using in VS2017
#481 opened Feb 14, 2017 by yaakov-h
DotNet.Contracts hard to find
#480 opened Jan 25, 2017 by NickStrupat
1
False positive on a contant value when using GeneratedCodeAttribute
#479 opened Jan 24, 2017 by GerbrandStap
Contract for Enum.GetName incorrectly states result not null
#478 opened Jan 21, 2017 by NameOfTheDragon
ccrewrite error when trying to set TextBox.Margin in UWP project when targeting ARM platform
#477 opened Jan 14, 2017 by dfch
CodeContracts not working in VS2017
#476 opened Jan 5, 2017 by RealDotNetDave
28
Wrong reference assemblies used when targeting .Net 4.6.2 (and in some cases 4.5.2)
#474 opened Dec 30, 2016 by Daniel-Svensson
ProTip! Follow long discussions with comments:>50.