Rabit

Static analysis tool for analysing Rascal Light programs.

Prerequisites

• Java (tested with OpenJDK 11)
• Scala (tested with 2.12.7)
• SBT (tested with 1.2.4)
• Internet access for SBT to download dependencies

Installation

• Use git lfs pull to get Rascal binaries required for parsing Rascal files in the project.

To build:

Use sbt compile to get dependencies and compile the project.

To run tests:

Call sbt test in the project directory, to run unit tests and evaluation. See the log directory for detailed output.