The Dafny IDE (and Viper IDE) both use gutter icons to show the current proof state, in Dafny this is implemented using the VSCode Tests API (I think that's what it's called). Otherwise its quite hard to tell if a proof was successful or just not loaded / not present :P
The Dafny IDE (and Viper IDE) both use gutter icons to show the current proof state, in Dafny this is implemented using the VSCode Tests API (I think that's what it's called). Otherwise its quite hard to tell if a proof was successful or just not loaded / not present :P