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

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