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

V# generates incorrect test: an attempt to use Object instead of specific type

Open gsvgit opened this issue 2 years ago • 0 comments

  • Test to reproduce
  • Steps to reproduce
    • Remove this attribute
    • Run the test
    • Compile generated tests
    • Get a number of erros KnapsackBagTests.cs(23, 21): [CS1061] 'object' does not contain a definition for 'Calculate' and no accessible extension method 'Calculate' accepting a first argument of type 'object' could be found (are you missing a using directive or an assembly reference?)

gsvgit avatar Feb 09 '23 08:02 gsvgit