issues
search
VSharp-team
/
VSharp
Symbolic execution engine for .NET Core
Apache License 2.0
50
stars
32
forks
source link
[feat] Fair multimethod searcher
#171
Closed
mxprshn
closed
1 year ago
mxprshn
commented
1 year ago
Make SILI work with multiple methods simultaneously: entry point states are added to the same searcher
Add Pick method with selector function to IForwardSearcher
Add new fair searcher, which shares execution between different methods according to given timeout