ShotUn.Trace.Mermaid (shot_un v0.1.7)

Renders a ShotUn.Trace as a Mermaid graph TD diagram.

Edge styling mirrors ShotTx.Proof.to_mermaid/2: branching choice points (multiple children) use solid arrows (==>); linear continuations use dotted arrows (-.->). Node colours encode the node kind — start (blue), step (gray), solution (green), fail (orange).

Options

:show_state — include the work-list (and accumulated σ for solution leaves) in each node's label. Defaults to true.
:max_pair_chars — truncate each side of a pair to this many characters. Defaults to 40.

Summary

Functions

render(trace, opts \\ [])

Functions

render(trace, opts \\ [])

@spec render(
  ShotUn.Trace.t(),
  keyword()
) :: String.t()