Consider calls covered only on return - Githubissues

VSharp-team / VSharp

Symbolic execution engine for .NET Core

Apache License 2.0

50 stars 32 forks source link

Consider calls covered only on return #296

Closed mxprshn closed 11 months ago

mxprshn commented 11 months ago

Particularly, fixes incorrect coverage in ExceptionThrownInFilter test