Skip to content

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

License

Notifications You must be signed in to change notification settings

overlogged/sbt-stainless

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

sbt-stainless 0.2.0

Build Status

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

Usage

Make sure your SBT version in project/build.properties:

sbt.version = 0.13.16 or

sbt.version = 1.0.0

Add the plugin in project/plugins.sbt:

addSbtPlugin("org.zjulambda.scala" % "sbt-stainless" % "0.2.0")

The default backend of stainless is scalac,if you want to use dotty,add this line in build.bst

stainlessBackend := "dotty"

And the default value of stainlessFlags is Seq("--vccache").You can modify it in build.bst as well.

Then,run sbt verify,your code will be checked by stainless.

Appendix

How to work with stainless smoothly.

  1. clone stainless on github
  2. compile it(sbt clean compile)
  3. add stainless/bin into path
  4. create a sbt project in a temporary directory.
  5. copy stainless/frontends/library/stainless to src/main/scala/ in the temporary sbt project.
  6. run sbt compile package and you will get a xxx.jar file.
  7. copy xxx.jar to lib/ in your stainless project.
  8. add this plugin and enjoy coding in stainless.

About

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

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages