mix tlx.import (TLX v0.5.2)

Copy Markdown

Import a TLA+ or PlusCal specification file into TLX DSL syntax.

Usage

mix tlx.import path/to/spec.tla
mix tlx.import path/to/spec.tla --format pluscal
mix tlx.import path/to/spec.tla --output my_spec.ex
mix tlx.import path/to/spec.tla --verbose

Options

  • --format - Input format: tla (default) or pluscal
  • --output - Write to file instead of stdout
  • --verbose - Print parse-coverage summary (TLA+ only)