TLX.Emitter.Config (TLX v0.5.3)

Copy Markdown

Generates TLC model configuration (.cfg) files from a compiled TLX.Spec module.

Summary

Functions

emit(module, opts \\ [])

Generate a .cfg string for TLC from a compiled spec module.

Functions

emit(module, opts \\ [])

Generate a .cfg string for TLC from a compiled spec module.

Options:

  • :model_values — map of constant name to list of model values (e.g., %{nodes: ["n1", "n2"]}), emitted as a set
  • :constant_values — map of constant name to a scalar (e.g., %{quorum: 2}), emitted as CONSTANT quorum = 2. Overrides a value declared on the constant entity itself.