Theoria.Kernel.ArtifactReplay (theoria v0.6.0)

Copy Markdown View Source

Experimental generated-artifact replay summary for Theoria 0.5 assurance reports.

The shape may change before 1.0.

Summary

Types

failure()
skip()
t()

Functions

checked(replay)
empty()
skipped_count(artifact_replay)

Types

failure()

@type failure() :: term()

skip()

@type skip() :: Theoria.Kernel.ArtifactReplay.Skip.t()

t()

@type t() :: %Theoria.Kernel.ArtifactReplay{
  failures: [failure()],
  generated_checked: non_neg_integer(),
  indexed_checked: non_neg_integer(),
  skipped: [skip()]
}

Functions

checked(replay)

@spec checked(t()) :: non_neg_integer()

empty()

@spec empty() :: t()

skipped_count(artifact_replay)

@spec skipped_count(t()) :: non_neg_integer()