New
DotNet CodeContracts v.1.10.20606.1-rc2
Summary
Second community-driven release of the DotNet CodeContracts that is mostly focused on minor bug fixes.
Nuget Package
DotNet.CodeContracts at nuget.org
Bug fixes
- #221 - [VS2015] ccrewrite fails with CC1004: Malformed contract. Found Requires after assignment in method
- #339 - string.IsNullOrWhiteSpace() not considered Pure by Requires() or Invariant() when running on .NET 4.6.1
- #340 - ccrewrite fails to read assembly that has non-escaped comma in nested type names
- #346 - Invalid contract for System.Xml.Schema.XmlSchemaSet
- #349 - Possible invalid contract in System.Linq.Expression.NewExpression
- #351 - Invalid contract for System.Dynamic.BindingRestrictions
- #352 - Add contracts for System.Drawing.Imaging.EncoderParameters
- #365 - Access to instance members in async postconditions lead to invalid IL