Cannot request counterexamples

[robflop]

Using the below sample code, verification fails on the postcondition in line 2 as expected, but when requesting a counterexample via the extension (pressing F7 with the cursor in the area of the failing postcondition), I receive the error "Counterexample request failed: TypeError: Cannot convert undefined or null to object".

I just installed the Dafny extension today (version 3.4.3) and let it automatically install Dafny for me (version 4.9.1).
VSCode is version 1.96.3 and my OS is Windows 10. Am I doing something wrong here?

method Wrong(x: int) returns (y: int)
  ensures y == 1
  {
    y := x;
  }

[keyboardDrummer]

Duplicate of #492

[robflop]

My bad, thanks for the tag!

[keyboardDrummer]

My bad, thanks for the tag!

No worries. You running into this is extra data that we need to prioritize resolving it.