Failing code
It's not the code that's failing - it's the guttering.
(OK sure I just wanted an issue with "guttering" in the title)
running with changes set to "never"
the expected behaviour image is after a restart;
the actual behaviour is after a while.
Steps to reproduce the issue
- Dafny version: 4.11.1.0
- Dafny VSCode extension version: 3.5.4
Expected behavior
Actual behavior
Failing code
It's not the code that's failing - it's the guttering.
(OK sure I just wanted an issue with "guttering" in the title)
running with changes set to "never"
the expected behaviour image is after a restart;
the actual behaviour is after a while.
Steps to reproduce the issue
Expected behavior
Actual behavior