Victoria.Workflow.Result (Victoria v0.1.0)

Copy Markdown View Source

Complete result of a successful conformance workflow.

Results are constructed by Victoria and should be treated as read-only.

Summary

Types

t()

The Apalache result and every successful trace verification.

Types

t()

@type t() :: %Victoria.Workflow.Result{
  apalache: Victoria.Apalache.Result.t(),
  model: module(),
  verifications: [Victoria.Workflow.Verification.t(), ...]
}

The Apalache result and every successful trace verification.