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.

#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

Second community-driven release of the DotNet CodeContracts that is mostly focused on minor 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