mix tlx.emit (TLX v0.5.2)

Copy Markdown

Emit a TLA+ or PlusCal specification from a compiled TLX.Spec module.

Usage

mix tlx.emit MyApp.MySpec
mix tlx.emit MyApp.MySpec --format pluscal-c
mix tlx.emit MyApp.MySpec --output path/to/file.tla

Options

  • --format - Output format: tla (default), pluscal-c, pluscal-p, elixir, dot, mermaid, plantuml, d2
  • --output - Write to file instead of stdout