Alexander Lee
Results
1
comments of
Alexander Lee
> Does the bug occur in Dafny source only or VSCode wide? Only occurs in `.dfy` files, and only when this extension is enabled, so definitely appears to be somehow...