search

VSharp-team / VSharp

Symbolic execution engine for .NET Core
Apache License 2.0
50 stars 32 forks source link

[fix] add supportedOs TestSVM attribute to test extern mocks on windows #271

Closed Almazis closed 1 year ago