Precondition failed: offset + count < buffer.Length for Stream.Read method

Question

The contract libraries shipped with 1.2.21023.14 have the following Contract.Requires for Stream.Read:

   Contract.Requires((bool) ((offset + count) < buffer.Length), null, "offset + count < buffer.Length");

This contract requires should be:  offset + count) <= buffer.Length

The same issue applies to other Stream methods.

Answer 1

Some problem here!

Workaround is to remove %Program Files%\Microsoft\Contracts\Contracts\*.Contracts.dll libraries (requires admin permissions)