Не обнаружено ожидающих ран

ATDDProof не имеет ни одного ожидающего проверки рана.