Function trip_counts 

pub fn trip_counts(
    p: &SpatialProgram,
    inputs: &Inputs,
) -> Result<Vec<usize>, ChoreoFault>

The count of each of p’s trips on inputs, in trip order: element elem of the trip’s input — as the tensor holds it, at its own precision — through Trip::count_of. An input inputs does not carry reads the tensor’s declared fill.