Integrating Scala, Intellij Idea and SBT on project III Follow
I'm [coming back][1] to developing in Scala using the Intellij Idea IDE based on SBT. This time I want to integrate the [Stainless verifier][2] which I forked in my github with a project that needs to be verified. I wrote the following build.sbt:
name := "experiment3"
version := "0.1"
scalaVersion := "2.12.6"
I then added my clone of stainless as a module to the Intellij Idea project and write the following scala class:
import stainless.annotation._
import stainless.lang._
object Main {
def max(x: Int, y: Int): Int = {
val d = x - y
if (d > 0) x
else y
} ensuring(res =>
x <= res && y <= res && (res == x || res == y))
def main(args: Array[String]): Unit = {
println("Hello world")
}
}
However, the compiler does not recognize stainless in the imports.
How can I set this project correctly in Intellij Idea?
[1]: https://stackoverflow.com/questions/45471836/problems-with-sbt-dependencies-in-intellij-idea
[2]: https://github.com/epfl-lara/stainless
Please sign in to leave a comment.
Follow updates to this post in https://stackoverflow.com/questions/51211552/working-with-external-sbt-project-in-intellij-idea