VSharp-team / VSharp

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

Low coverage example #235

Open gsvgit opened 1 year ago

gsvgit commented 1 year ago

For this test 50% coverage can be achieved in few seconds, but even 51% can not be reached in reasonable time (with default settings).