Minor fixes - Githubissues

VSharp-team / VSharp

Symbolic execution engine for .NET Core

Apache License 2.0

50 stars 32 forks source link

Minor fixes #174

Closed dvvrd closed 1 year ago

dvvrd commented 1 year ago

Error reporting improved
Generated tests do not depend on FSharp.Core any more
New externs modeling
Other minors