Theoria.Kernel.Differential.Options (theoria v0.7.0)

Copy Markdown View Source

Structured options for kernel differential assurance runs.

Experimental before 1.0; the shape may change.

Summary

Types

t()

Functions

default()
parse(options)

Types

t()

@type t() :: %Theoria.Kernel.Differential.Options{
  environment_depth: pos_integer(),
  generated_max_terms: pos_integer(),
  generated_size: non_neg_integer()
}

Functions

default()

@spec default() :: t()

parse(options)

@spec parse(keyword() | t()) :: {:ok, t()} | {:error, term()}