Telemetry events for PropertyDamage test runs.

PropertyDamage emits telemetry events during test execution that can be used for monitoring, dashboards, and observability.

Events

All events are prefixed with [:property_damage, ...].

Run Lifecycle

• [:property_damage, :run, :start] - Test run started

  • Measurements: %{system_time: integer()}
  • Metadata: %{model: module(), adapter: module(), max_runs: integer(), max_commands: integer(), seed: integer()}

• [:property_damage, :run, :stop] - Test run completed

  • Measurements: %{duration: integer(), total_commands: integer()}

  • Metadata: %{model: module(), adapter: module(), result: :ok | :error, runs_completed: integer()}

• [:property_damage, :run, :exception] - Test run crashed

  • Measurements: %{duration: integer()}
  • Metadata: %{model: module(), adapter: module(), kind: atom(), reason: term(), stacktrace: list()}

Sequence Execution

• [:property_damage, :sequence, :start] - Sequence execution started

  • Measurements: %{system_time: integer()}
  • Metadata: %{run_number: integer(), command_count: integer(), branching: boolean()}

• [:property_damage, :sequence, :stop] - Sequence execution completed

  • Measurements: %{duration: integer()}
  • Metadata: %{run_number: integer(), success: boolean(), commands_executed: integer()}

Command Execution

• [:property_damage, :command, :start] - Command execution started

  • Measurements: %{system_time: integer()}
  • Metadata: %{command: module(), index: integer(), run_number: integer()}

• [:property_damage, :command, :stop] - Command execution completed

  • Measurements: %{duration: integer()}
  • Metadata: %{command: module(), index: integer(), success: boolean(), events_count: integer()}

Check Execution

• [:property_damage, :check, :start] - Check evaluation started

  • Measurements: %{system_time: integer()}
  • Metadata: %{check_name: atom(), projection: module()}

• [:property_damage, :check, :stop] - Check evaluation completed

  • Measurements: %{duration: integer()}

  • Metadata: %{check_name: atom(), passed: boolean(), message: String.t() | nil}

Shrinking

• [:property_damage, :shrink, :start] - Shrinking started

  • Measurements: %{system_time: integer()}
  • Metadata: %{original_length: integer()}

• [:property_damage, :shrink, :iteration] - Shrink iteration completed

  • Measurements: %{iteration: integer()}
  • Metadata: %{current_length: integer(), success: boolean()}

• [:property_damage, :shrink, :stop] - Shrinking completed

  • Measurements: %{duration: integer(), iterations: integer()}
  • Metadata: %{original_length: integer(), shrunk_length: integer()}

Usage

Attach handlers using :telemetry.attach/4:

:telemetry.attach(
  "my-handler",
  [:property_damage, :run, :stop],
  &MyModule.handle_event/4,
  nil
)

Or use PropertyDamage.Telemetry.Dashboard for a pre-built LiveView dashboard.