Я хотел бы узнать, проверяет ли конкретная программа Dafny. Dafny обычно используется для интерактивной разработки программ внутри Visual Studio IDE.
Однако мне нужно выполнить запрос неинтерактивным образом. В частности, мне нужно запросить Dafny из программы Python. Это возможно?
Вы можете вызвать dafny.exe из python, передав в качестве аргумента имя файла, содержащего программу dafny, которую вы хотите проверить. См. этот другой ответ о том, как вызывать внешние команды из python.
Вы можете получить справку по аргументам командной строки dafny, запустив dafny.exe с переключателем /?.
Вам нужно будет проанализировать вывод dafny, чтобы определить, прошла ли проверка успешно. Так работает набор тестов dafny.
Возможно, вы захотите взглянуть на код этого проекта, который делает что-то подобное, но на Java.
