Здравствуйте, _hum_, Вы писали:

__>ну вот очередной пример: как обнаружить юнит-тестами эту ошибку
__>

__> for(uint8_t i = 10; i >= 0; --i){<...>};
__>

Такая ошибка обрануживается на code review.
Впрочем, зависание теста тоже покажет.