issues
search
VSharp-team
/
VSharp
Symbolic execution engine for .NET Core
Apache License 2.0
50
stars
32
forks
source link
Stabilization: part XV
#263
Closed
mxprshn
closed
1 year ago
mxprshn
commented
1 year ago
Impelment some Calculator functions (bitwise operations) with IL
Fix interface method override resolving
Refactor RunnerProgram: move type and method resolving to ReflectionUtils
Fix shortest graph distance algorithm bug