search

VSharp-team / VSharp

Symbolic execution engine for .NET Core
Apache License 2.0
50 stars 32 forks source link

Implement Memory.getHashCode for value types #207

Open mxprshn opened 1 year ago

mxprshn commented 1 year ago

Now there is an assertion in Memory.getHashCode which requires the passed object to be of reference type

An example of method for which this assertion fails is JetBrains.Collections.ReferenceEqualityComparer<JetBrains.Threading.ByteBufferAsyncProcessor>.GetHashCode(JetBrains.Threading.ByteBufferAsyncProcessor) in JetBrains.Lifetimes benchmark