Skip to content

README.md

Latest commit

 

History

History
17 lines (13 loc) · 670 Bytes

README.md

File metadata and controls

17 lines (13 loc) · 670 Bytes
Raw

Overview

This directory contains files relevant to the tutorial Scanning TLA⁺ Tokens. You can see the expected state of the source code after the tutorial in the src directory. Unit tests (not covered in the tutorial) are in the test directory.

Dependencies

Build, test, run

  1. Run sbt in this directory to start the sbt server
  2. Run compile to build all projects
  3. Run test to run all unit tests
  4. Run run to run the project
  5. Run eclipse to generate project files for the Eclipse IDE