PropertyDamage.Progress.RunResult (PropertyDamage v0.2.0)

View Source

Terminal result notification for PropertyDamage.run/1 (DR-022).

Carries a copy of the authoritative outcome for consumers; the run/1 return value ({:ok, stats} | {:error, report}) remains the source of truth.

Summary

Types

t()

Types

t()

@type t() :: %PropertyDamage.Progress.RunResult{
  failure: term() | nil,
  invariants: {non_neg_integer(), non_neg_integer()} | nil,
  outcome: :ok | :error,
  runs_completed: non_neg_integer() | nil,
  seed: integer() | nil,
  total_commands: non_neg_integer() | nil
}