fn max_ts_and_count()

in z3tracer/src/report.rs [75:89]


fn max_ts_and_count(times: &[(String, Vec<usize>)]) -> (usize, usize) {
    let mut ts = 1;
    let mut count = 1;
    for (_, v) in times {
        if let Some(x) = v.last() {
            if *x > ts {
                ts = *x;
            }
        }
        if v.len() > count {
            count = v.len();
        }
    }
    (ts, count)
}