Petrex.InconclusiveError exception (petrex v1.0.0)

Raised by the boolean analysis functions (Petrex.Analysis.bounded?/3, Petrex.Analysis.safe?/3) when the exploration limit was reached before the property was decided. A boolean cannot express "unknown", so they raise rather than answer; the tuple-returning counterparts report the same situation as {:partial, result}.

property names the function, and limit is the limit that was reached, so a caller can retry with a larger one.

Summary

Types

t()

Types

t()

@type t() :: %Petrex.InconclusiveError{
  __exception__: true,
  limit: pos_integer() | nil,
  property: atom(),
  reason: atom()
}