issues
search
VSharp-team
/
VSharp
Symbolic execution engine for .NET Core
Apache License 2.0
50
stars
32
forks
source link
Stabilization: Part VIII
#248
Closed
MchKosticyn
closed
1 year ago
MchKosticyn
commented
1 year ago
implemented new type solver: all possible type candidates stored in type model
type mocks moved to type model
method mocks moved to state
fixes for renderer
style fixes