added coverage reporting debugging