Avoiding division by zero in coverage computation