Demo Scala + SBT This repository contains a small project that can be analyzed using a variety of formal methods tools and static analyses. sbt compile