search

overturetool / vdm-vscode

Visual Studio Code extension for VDM language support
GNU General Public License v3.0
21 stars 6 forks source link

POG code lenses not working #226

Open leouk opened 2 hours ago

leouk commented 2 hours ago

I couldn't see any code lenses with the VSIX 1.5.1 visible on the GUI.

The debug example button is failing in the same way as before: it gives a "Execution terminated" and doesn't actually run the PO counter example.

leouk commented 2 hours ago

After refreshing and running POG again on another module, then the "PO#XXX" lenses appeared again. Something seems out of synch.

nickbattle commented 2 hours ago

Ah, this is possible: VSCode remembers the location of lenses, I think - you'll see it sometimes leaves "gaps" in the editor as if it is waiting for the lenses that were previously there to be refreshed. I wonder if you left the tool in a state where it was expecting PO lenses, then you re-installed and it somehow got confused?

If you can get a reproducible scenario, we can try to investigate.