issues
search
VSharp-team
/
VSharp
Symbolic execution engine for .NET Core
Apache License 2.0
50
stars
32
forks
source link
Inline internal calls
#270
Closed
mxprshn
closed
1 year ago
mxprshn
commented
1 year ago
Don't push extra frame on stack when the call is inlined
Interpreter's calls code cleanup
Remove optional CFG --- methods on stack now should always have CFG
Bugfix: states with internal fails were not removed from searcher