Victoria (Victoria v0.2.0)

Copy Markdown View Source

The primary API for verifying one fixed formal trace.

Use verify/2 with either an ITF path or an already loaded Victoria.Trace. Generated conformance workflows are provided by Victoria.Workflow.

Summary

Functions

verify(model, options)

Replays one validated trace against model.

Functions

verify(model, options)

@spec verify(module(), [{:trace, Path.t() | Victoria.Trace.t()}]) ::
  {:ok, Victoria.Runner.Report.t()}
  | {:error,
     ITF.Error.t() | Victoria.Trace.Error.t() | Victoria.Runner.Failure.t()}

Replays one validated trace against model.

Returns a Victoria.Runner.Report on conformance. ITF loading and controlled replay failures are returned as structured errors. Invalid options raise ArgumentError.