Fixed patch-coverage generation