QuintConnect.Runner (quint_connect v0.1.0)

Copy Markdown View Source

Runs Quint and lists emitted ITF traces.

Summary

Types

result()

Functions

run(spec_path, opts \\ [])

Invokes quint run or quint test under a fresh temp directory.

Types

result()

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

Functions

run(spec_path, opts \\ [])

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

Invokes quint run or quint test under a fresh temp directory.