View Source Bond.PostconditionError exception (Bond v0.8.3)

Exception raised when a function postcondition fails.

Summary

Types

t()

The Bond.PostconditionError exception type.

Types

Link to this type

t()

View Source 
@type t() :: %Bond.PostconditionError{
  __exception__: true,
  assertion_env: Bond.env(),
  binding: keyword(),
  expression: Bond.assertion_expression(),
  function_env: Bond.env(),
  label: Bond.assertion_label()
}

The Bond.PostconditionError exception type.