issues
search
VSharp-team
/
VSharp
Symbolic execution engine for .NET Core
Apache License 2.0
50
stars
32
forks
source link
Types mocking automation
#144
Closed
dvvrd
closed
2 years ago
dvvrd
commented
2 years ago
Implemented (partially) inference of type mocks.
Virtual calls and type parameters that can't be deduced from known types are now mocked
Mocks can be retrieved from UnitTest.TypeMocks
Coverage of test methods with symbolic
callvirt
s got improved
TypeSover
was rewritten
Implemented (partially) inference of type mocks.
callvirt
s got improvedTypeSover
was rewritten