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