Классы графов, определяемые циклами.
Кактус^[en] — граф, в котором любая нетривиальная двусвязная компонента является циклом. (С) ru.wikipedia.org/wiki/%D0%A6%D0%B8%D0%BA%D0%BB_(%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D0%B3%D1%80%D0%B0%D1%84%D0%BE%D0%B2)
С учётом того, что выполнение циклов приводит к взаимным блокировкам, тестировщик постоянно жрёт кактус...