Процесс DafnyServer неожиданно завершился - PullRequest
Новая
       10

Процесс DafnyServer неожиданно завершился

0 голосов
/ 30 апреля 2019

Когда я пытаюсь проверить код Dafny в Visual Studio Code, сообщение «Процесс DafnyServer неожиданно завершился; попытка перезапуска» постоянно повторяется.Проверка выполняется один раз, перезапуски не работают или не обновляют результаты.

Я использую код Visual Studio с dafny-vscode в MacOS 10.14.Я проверил настройки пути в конфигурации.

Я попытался 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;      
}
...