Lockstep.BugFound exception (Lockstep v0.1.0)

Copy Markdown View Source

Raised when a controlled-concurrency iteration finds a bug. The message includes the iteration number, seed, formatted schedule, and a command for replaying the bug.

Summary

Types

t()

Types

t()

@type t() :: %Lockstep.BugFound{
  __exception__: true,
  fail_step: non_neg_integer() | nil,
  iter_seed: integer() | nil,
  iteration: non_neg_integer() | nil,
  reason: term(),
  seed: integer() | nil,
  strategy: atom() | nil,
  trace: list() | nil,
  trace_path: String.t() | nil
}