在 Intellij Idea 上调试用 sbt 编写的软件验证器
Debugging a software verifier written in sbt on Intellij Idea
我正在与 Stainless, a software verifier for Scala programs. I would like to debug the verification process of a sample programme on Intellij Idea. On a previous post, I solved this integration problem for an 合作。但是现在，我面临两个问题：
显然，验证软件在编译时运行s。也就是说，我在 sbt 控制台中输入 运行 编译命令，然后验证过程似乎已经完成。你可以试试这个 verified example。这种情况对我来说很陌生，因为我习惯边执行边调试程序。
上面示例的 sbt 文件中的所有设置（参见实例 this file）似乎是指在线内容，而我想确保我使用的是本地内容从验证者的原始存储库中分叉出来的副本。
None 我试过的配置有效。你能帮我解决这个问题吗？
详情
This是不锈钢的当前配置页面。
如果验证运行s在sbt进程中，您可以通过将调试器附加到sbt来调试它。 IntelliJ 使用嵌入式 sbt shell:
使这变得容易
- 打开 sbt shell 工具窗口
- 点击左边的"attach debugger to sbt shell"按钮
- 在代码中设置断点
- 运行任务
我正在与 Stainless, a software verifier for Scala programs. I would like to debug the verification process of a sample programme on Intellij Idea. On a previous post, I solved this integration problem for an
显然，验证软件在编译时运行s。也就是说，我在 sbt 控制台中输入 运行 编译命令，然后验证过程似乎已经完成。你可以试试这个 verified example。这种情况对我来说很陌生，因为我习惯边执行边调试程序。
上面示例的 sbt 文件中的所有设置（参见实例 this file）似乎是指在线内容，而我想确保我使用的是本地内容从验证者的原始存储库中分叉出来的副本。
None 我试过的配置有效。你能帮我解决这个问题吗？
详情
This是不锈钢的当前配置页面。
如果验证运行s在sbt进程中，您可以通过将调试器附加到sbt来调试它。 IntelliJ 使用嵌入式 sbt shell:
使这变得容易- 打开 sbt shell 工具窗口
- 点击左边的"attach debugger to sbt shell"按钮
- 在代码中设置断点
- 运行任务