Hegel.TestCase (hegel_elixir v0.1.1)

A handle to the current Hegel example.

The property process owns its test case. Draw values before starting Tasks, then pass the immutable Elixir values to those Tasks. Sharing a live handle would make replay depend on scheduler order.

Summary

Types

t()

Functions

note(test_case, message)

Records a diagnostic for the minimized counterexample.

Types

t()

@type t() :: %Hegel.TestCase{
  final?: boolean(),
  inspect_opts: keyword(),
  native: reference(),
  owner: pid(),
  state_key: reference()
}

Functions

note(test_case, message)

Records a diagnostic for the minimized counterexample.