Command-line interface.
A struct that generates a CLI for modelator using clap.
modelator
clap
Struct representing the output of modelator CLI.
Parse TLA+ files with Apalache.
List the tests in a TLA file
Test models with Apalache/TLC
Represents the exit status of any CLI command
