LocationsNotCovered: {
    column: string;
    line: string;
    numExecutions: string;
    time: string;
}