4-evaluation

Overview

This directory contains files relevant to the tutorial Evaluating Constant TLA⁺ Expressions. 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 17+
• 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 one of the projects
5. Run eclipse to generate project files for the Eclipse IDE