Strange interpretation of coverage incompleteness : Incomplete coverage! Expected 50, but got 67

[gsvgit]

• V# version to reproduce
• Test to reproduce
• Steps
  • Run the test
  • Get exception "Incomplete coverage! Expected 50, but got 67"
• Expected: I think, that it is not an exception when actual coverage higher that expected.

[MchKosticyn]

Это не совсем так: иногда есть ветки, которые точно недостижимы и мы хотим это проверять.

[gsvgit]

Ща. То есть если я попросил 50, а покрыли 67, то это говорит о том, что я чего-то в тестируемом коде не понимаю? Наверное, логично. Но почему тогда если я попрошу покрыть 67, то оно, кажется, вообще не завершается за разумное время?

Чот сложно.

[MchKosticyn]

Вот последнее поведение действительно странное..