Theoria.Kernel.Reference.Replay.Report (theoria v0.7.0)

Copy Markdown View Source

Reference environment replay summary.

Summary

Types

failure()
t()

Functions

ok?(report)

Types

failure()

@type failure() :: Theoria.Kernel.Reference.Replay.Failure.t()

t()

@type t() :: %Theoria.Kernel.Reference.Replay.Report{
  checked: non_neg_integer(),
  env: Theoria.Env.t(),
  failures: [failure()],
  skipped: non_neg_integer()
}

Functions

ok?(report)

@spec ok?(t()) :: boolean()