issues
search
VSharp-team
/
VSharp
Symbolic execution engine for .NET Core
Apache License 2.0
50
stars
32
forks
source link
Type sovler fixes
#299
Closed
MchKosticyn
closed
10 months ago
MchKosticyn
commented
10 months ago
added equality constraint for virtual call dispatch