2-scanning

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

• OpenJDK 21+
• sbt (simple build tool)

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