fact: Definition args_of_size (s : size) : list nat := match s with | Sanity => seq 1 3 | SuperFast => seq 1 100 | Fast => (List.map (fun x => x * 10) (seq 1 30)) ++ (List.map (fun x => x * 50) (seq 1 10)) | Medium => [] | Slow => [] | VerySlow => [] end.
imports: PerformanceExperiments.Harness