PropertyDamage.Progress.RunUpdate (PropertyDamage v0.2.0)

View Source

Intermediate progress for PropertyDamage.run/1 (DR-022): a coarse per-iteration heartbeat of cumulative campaign state. Not the authoritative result — see PropertyDamage.Progress.RunResult.

Phases

  • :start — emitted once before the first run (run_number is 0); signals the campaign has begun and carries total_runs.
  • :run — emitted per sequence with the 1-based run_number, the command_count, and branch_count (0 for a linear sequence).
  • :shrink — reserved for per-iteration shrink progress (shrink_iteration).

Summary

Types

phase()
t()

Types

phase()

@type phase() :: :start | :run | :shrink

t()

@type t() :: %PropertyDamage.Progress.RunUpdate{
  branch_count: non_neg_integer(),
  command_count: non_neg_integer() | nil,
  phase: phase(),
  run_number: non_neg_integer(),
  shrink_iteration: non_neg_integer() | nil,
  total_runs: pos_integer()
}