V# generates incorrect test: an attempt to instantiate private class

VSharp-team / VSharp

Symbolic execution engine for .NET Core

Apache License 2.0

50 stars 32 forks source link

Open gsvgit opened 1 year ago

gsvgit commented 1 year ago

V# version to reproduce
Test to reproduce
Steps
- Run the test
- Compile generated tests
- Get a number of errors " GraphTests.cs(107, 34): [CS0122] 'Graph.Edge' is inaccessible due to its protection level"