ITF.Trace (itf v0.1.0)

Copy Markdown View Source

A validated ITF execution trace.

Summary

Types

t()

Types

t()

@type t() :: %ITF.Trace{
  extensions: map(),
  loop_index: non_neg_integer() | nil,
  metadata: map(),
  params: [String.t()],
  states: [ITF.State.t()],
  vars: [String.t()]
}