As a help to understanding/debugging problems with VSCode or Dafny, VSCode should make visible (1) the version of the Dafny executable being run and (2) the output that dafny produces (from which VSCode scrapes the problems/warnings/info). An easier and clearer mechanism to change the dafny executable would also be helpful.
As a help to understanding/debugging problems with VSCode or Dafny, VSCode should make visible (1) the version of the Dafny executable being run and (2) the output that dafny produces (from which VSCode scrapes the problems/warnings/info). An easier and clearer mechanism to change the dafny executable would also be helpful.