A sbt plugin for stainless users to verify code in sbt command line.
sbt-stainless 0.2.0
Group ID:
org.zjulambda.scala
Artifact ID:
sbt-stainless
Version:
0.2.0
Release Date:
Oct 20, 2017
Licenses:
Files:
addSbtPlugin("org.zjulambda.scala" % "sbt-stainless" % "0.2.0")