Builds quint run / quint test 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(), QuintConnect.Config.t(), keyword()) :: [String.t()]
argv for System.cmd(executable, argv, opts) — does not include the executable name.
out_itf should include {seq} so Quint can emit multiple traces.
@spec merged_env(QuintConnect.Config.t()) :: [{String.t(), String.t()}]
Environment list for System.cmd/3.