pub fn run_header(i: &RunInfo) -> Vec<(&'static str, String)>Expand description
The fields of the run information that head every JSON report (of a run, of a search
and of a verification), encoded: scenario, seed, batch, threads, stop,
confidence, version, commit, config (the configuration as a JSON document,
null if unknown) and started_unix_s.