overlogged / sbt-stainless   0.2.0

Apache License 2.0 GitHub

A sbt plugin for stainless users to verify code in sbt command line.

Scala versions: 2.12
sbt plugins: 1.0

Latest version

[![sbt-stainless Scala version support](https://index-dev.scala-lang.org/overlogged/sbt-stainless/sbt-stainless/latest.svg)](https://index-dev.scala-lang.org/overlogged/sbt-stainless/sbt-stainless)

sbt 1.x badge

[![sbt-stainless Scala version support](https://index-dev.scala-lang.org/overlogged/sbt-stainless/sbt-stainless/latest-by-scala-version.svg?platform=sbt1.0)](https://index-dev.scala-lang.org/overlogged/sbt-stainless/sbt-stainless)