QuintConnect.Runner (quint_connect v0.3.0)

Runs Quint and lists emitted ITF traces when the command writes them.

Summary

Types

result()

Functions

run(spec_path, opts \\ [])

Invokes Quint under a fresh temp directory.

Types

result()

@type result() :: %{
  trace_dir: String.t(),
  exit_status: non_neg_integer(),
  stdout: String.t(),
  seed: String.t() | nil,
  itf_paths: [String.t()]
}

Functions

run(spec_path, opts \\ [])

@spec run(
  String.t(),
  keyword()
) :: {:ok, result()} | {:error, term()}

Invokes Quint under a fresh temp directory.