Supertester.PropertyHelpers (Supertester v0.6.0)

Copy Markdown View Source

StreamData generators tailored for Supertester's concurrent harness.

Summary

Functions

concurrent_scenario(opts)

Generates concurrent scenario configs consumable by ConcurrentHarness.from_property_config/3.

genserver_operation_sequence(operations, opts \\ [])

Generates sequences of GenServer operations suitable for ConcurrentHarness threads.

Functions

concurrent_scenario(opts)

@spec concurrent_scenario(keyword()) :: StreamData.t(map())

Generates concurrent scenario configs consumable by ConcurrentHarness.from_property_config/3.

Options

  • :operations - Required list passed to genserver_operation_sequence/2
  • :min_threads / :max_threads - Thread bounds (defaults: 2..4)
  • :min_ops_per_thread / :max_ops_per_thread
  • :call_timeout_ms, :timeout_ms, :metadata, :mailbox

genserver_operation_sequence(operations, opts \\ [])

@spec genserver_operation_sequence(
  [term() | Supertester.ConcurrentHarness.operation()],
  keyword()
) :: StreamData.t([Supertester.ConcurrentHarness.operation()])

Generates sequences of GenServer operations suitable for ConcurrentHarness threads.

Options

  • :default_operation - Tag bare terms as :call or :cast (default: :call)
  • :min_length / :max_length - Bounds for sequence length