TLX.Trace
(TLX v0.5.2)
Copy Markdown
Formats counterexample traces from the simulator or TLC into human-readable output.
Summary
Functions
Format a list of state maps into a readable trace string.
Format a violation result from TLX.Simulator into a readable string.
Functions
Format a list of state maps into a readable trace string.
Options:
:mode—:compact(default) or:verbose:highlight_changes— highlight changed variables (default: true)
Format a violation result from TLX.Simulator into a readable string.