Builds quint run, quint test, and quint verify argument lists and
environment for System.cmd/3.
Summary
Functions
argv for System.cmd(executable, argv, opts) — does not include the executable name.
Environment list for System.cmd/3.
Types
Functions
@spec argv(String.t(), String.t() | nil, QuintConnect.Config.t(), keyword()) :: [ String.t() ]
argv for System.cmd(executable, argv, opts) — does not include the executable name.
out_itf should include {seq} for trace-producing modes.
@spec merged_env(QuintConnect.Config.t()) :: [{String.t(), String.t()}]
Environment list for System.cmd/3.