# `QuintConnect.Runner`
[🔗](https://github.com/marquesds/quint-connect/blob/v0.1.0/lib/quint_connect/runner.ex#L1)

Runs Quint and lists emitted ITF traces.

# `result`

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

# `run`

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

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

---

*Consult [api-reference.md](api-reference.md) for complete listing*