Function coverage 

pub fn coverage(
    spec: &Spec,
    required: &[String],
    files: &[Vec<u8>],
    can_fingerprint: impl Fn(&str) -> bool,
) -> Findings

The pure half of check_coverage: coverage of files by each required gate of spec, with the fingerprint question answered by can_fingerprint.