issues
search
VSharp-team
/
VSharp
Symbolic execution engine for .NET Core
Apache License 2.0
50
stars
32
forks
source link
Searchers refactoring and bugfixes
#267
Closed
mxprshn
closed
1 year ago
mxprshn
commented
1 year ago
Guided searcher refactoring --- make pick not recursive
Remove SimpleForwardSearcher
Fix bug in BFS searcher
Add separate options class for API
Remove only parent state from searcher if it is stopped
Type solving bugfixes
Fix incorrect coverage calculation in SILI