我正在尝试使用Dafny-to- python编译器，建议在Dafny的参考(25.7.7):http://dafny.org/dafny/DafnyRef/DafnyRef.html#2577-python
但是，我不能在终端运行第一步:dafny build --target:py A.dfy，因为我得到错误:Dafny: Error: unknown switch: --target。我按照他们的建议使用Use /help for available options，但不知道如何解决。
为了以防万一，我还尝试使用旧版本的命令(参见25.8.11)。在同一参考):dafny Hello.dfy -compileTarget:py，但随后得到消息Dafny: Error: Invalid argument "py" to option compileTarget。
任何想法?请注意，作者自己明确声明Dafny-to-Python编译器仍在开发中。
PS:我通常在Visual Studio中使用Dafny，而不是在终端中使用，所以可能我缺少某种库或其他东西。
您正在使用的非常过时的Dafny版本都不支持新的CLI和Python编译器。你可能没有使用正确的VS Code扩展，所以我会从那里开始。今天，应该在/Users/$USER/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/github/dafny/Dafny.dll上安装3.10.0。要查看如何使用dll，请尝试在VS Code中打开Dafny文件并点击F5。Python编译器是完整的，这些天通过了所有的测试。