PropertyDamage.Stutter.Violation (PropertyDamage v0.2.0)

View Source

Represents an idempotency violation detected during stutter testing.

Summary

Types

attempt()
t()

Functions

format(violation)

Format violation for display.

Types

attempt()

@type attempt() :: %{attempt: pos_integer(), events: [struct()], is_retry: boolean()}

t()

@type t() :: %PropertyDamage.Stutter.Violation{
  attempts: [attempt()],
  command: struct(),
  command_index: non_neg_integer(),
  comparison_result: term()
}

Functions

format(violation)

@spec format(t()) :: String.t()

Format violation for display.