DafnyServer process quit unexpectedly; attempting restart

[AmirHMousavi]

at VSCode startup DafnyServer process quit unexpectedly; attempting restart. after some seconds it says DafnyServer restart succeeded but it actually does not work and verifies everything by proof obligations:0. F5 key for compile also does not print anything in OUTPUT

[pipeaesac]

I can reproduce this issue on both my Windows 10 Desktop and in my Windows 10 Virtual Machine. @AmirHMousavi is it possible you have a Windows machine as well?

[mackees]

I have this problem as well, with looping quit and restart (Mac OS). Is there any progress on this issue?

[fabianhauser]

Currently, nobody is actively working on this issue, so feel free to pick it!

[mrchristensen]

I also was having this same issue (on a Windows 10 system). I found, while trying to fix the issue, is that in my 'C:\Users\user.vscode\extensions' folder I had two folders for the DafnyVS extension: correctnesslab.dafny-vscode-0.17.2 and correctnesslab.dafny-vscode-0.18.0.

These didn't get removed when I uninstalled the extension. So I deleted those folders and reinstalled the plugin and that fixed the issue (now I only have a correctnesslab.dafny-vscode-0.18.0 folder). So maybe the issue is related to the updating process? Attached are those two old folders that seem to be related to the issue.

correctnesslab.dafny-vscode-0.17.2.zip correctnesslab.dafny-vscode-0.18.0.zip

[mackees]

Thanks for the info. I don’t see these folders on my Mac right now, but I’ll look further.

Kees On 17 Sep 2020, 19:42 +0200, Matt Christensen [email protected], wrote:

I also was having this same issue (on a Windows 10 system). I found, while trying to fix the issue, is that in my 'C:\Users\user.vscode\extensions' folder I had two folders for the DafnyVS extension: correctnesslab.dafny-vscode-0.17.2 and correctnesslab.dafny-vscode-0.18.0. These didn't get removed when I uninstalled the extension. So I deleted those folders and reinstalled the plugin and that fixed the issue (now I only have a correctnesslab.dafny-vscode-0.18.0 folder). So maybe the issue is related to the updating process? Attached are those two old folders that seem to be related to the issue. correctnesslab.dafny-vscode-0.17.2.zip correctnesslab.dafny-vscode-0.18.0.zip — You are receiving this because you commented. Reply to this email directly, view it on GitHub, or unsubscribe.