VSharp-team / VSharp

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

'Stop on coverage achieved' TestSvm option #150

Closed mxprshn closed 2 years ago

mxprshn commented 2 years ago

Added new option for TestSvm attribute: if it is set to true, execution stops when exprectedCoverage is achieved

Implementation details:

mxprshn commented 2 years ago

It is better to implement this feature with coverage by tests statistics