VSharp icon indicating copy to clipboard operation
VSharp copied to clipboard
verified publisher icon VSharp-team

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

Open gsvgit opened this issue 2 years ago • 0 comments

  • 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"

gsvgit avatar Feb 07 '23 07:02 gsvgit