check whether the result file is empty to decide whether to do in-house coverage calculation again