DafnyServer进程意外退出

Question

当我尝试在Visual Studio Code中验证Dafny代码时，消息“ DafnyServer进程意外退出；尝试重新启动”一直在重复。它只进行一次验证，重新启动实际上不起作用或不更新结果。

我在MacOS 10.14上使用带有dafny-vscode的Visual Studio Code。 我检查了配置中的路径设置。

我在命令行上尝试了 dafny ，效果很好。 在文件的命令行上运行 dafny-server 时，我得到：

# Reading from simpleVScode.dfy
Unknown verb 'method'
[FAILURE] [[DAFNY-SERVER: EOM]]
Unknown verb ''
[FAILURE] [[DAFNY-SERVER: EOM]]
Unknown verb ''
[FAILURE] [[DAFNY-SERVER: EOM]]
Unknown verb '{'
[FAILURE] [[DAFNY-SERVER: EOM]]
Unknown verb ''
[FAILURE] [[DAFNY-SERVER: EOM]]
Unknown verb '}'
[FAILURE] [[DAFNY-SERVER: EOM]]
Verification completed successfully!
[SUCCESS] [[DAFNY-SERVER: EOM]]

我的代码是一种简单的方法：

method simple(x: int) returns (y: int)
    requires x > 0;
    ensures y > x;  
{
    y := x + 1;      
}