Согласен, но тут все упирается в отладчик. Ты же не пишешь по 15К строк код за один раз. Все равно компильнешь и запустишь
отладчик тут вообще не причем. сложность перебрать все возможные ситуации выполнения программы, просто запустить и закрыть это ничего не даст