Spex.Errors.TransitionError exception (spex v0.1.0)

Copy Markdown View Source

Transition-level error used for deviations and timeout conditions.

Summary

Types

reason()
t()

Types

reason()

@type reason() ::
  :transition_timeout | :deviation_not_bisimilar | :deviation_still_bisimilar

t()

@type t() :: %Spex.Errors.TransitionError{
  __exception__: true,
  context: map() | nil,
  reason: reason()
}