[fix] PC, deep copy and error stats fixes

VSharp-team / VSharp

Symbolic execution engine for .NET Core

Apache License 2.0

50 stars 32 forks source link

Closed mxprshn closed 1 year ago

mxprshn commented 2 years ago

Fix appeared false PC-s with multiple elements
Fix copying System.Type objects, causing inconsistent CLR state with access violation
Fix duplicate errors reported (tested with JB Lifetimes.Collections -- 177 errors vs 134)