java - 在 Intellij Idea 中使用 sbt 进行构建和导入时出现 NoClassDefFoundError

Question

我已经在几个SO questions中描述过我在尝试结合 Intellij Idea 和 sbt 使用以下项目依赖结构时遇到的问题:

最终目标是能够在堆栈的所有级别上调试我的证明。该程序现在通过在 Intellij Idea 设置中启用“使用 sbt 进行构建和导入”选项来构建。

但是，我收到以下运行时错误:

Exception in thread "main" java.lang.NoClassDefFoundError: inox/ast/Types$Type
    at Main$.main(Main.scala:9)
    at Main.main(Main.scala)
Caused by: java.lang.ClassNotFoundException: inox.ast.Types$Type
    at java.net.URLClassLoader.findClass(URLClassLoader.java:381)
    at java.lang.ClassLoader.loadClass(ClassLoader.java:424)
    at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:331)
    at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
    ... 2 more

这里 Main 是我正在编写的证明中的 Main 对象(因此位于堆栈顶部)。

为什么会发生这种情况？怎么解决呢？

Answer 1

通过在“项目结构”窗口中手动将项目的依赖项添加到 Inox 模块，解决了此问题。您可能会发现整个过程都有记录here 。