@lefticus are there tools that exist to auto deduce path coverage?