История изменений
Исправление MyTrooName, (текущая версия) :
я имею ввиду, если в процессе попыток доказать корректность, выяснится, что алгоритм не работает для определенного класса случаев
Если есть доказательство корректности, тестирование не нужно ни в каком виде.
все равно стоит прогнать на 2-3 вариантах входных данных, чтобы защититься хотя бы от банальных опечаток
Исходная версия MyTrooName, :
я имею ввиду, если в процессе попыток доказать корректность, выяснится, что алгоритм не работает для определенного класса случаев
Если есть доказательство корректности, тестирование не нужно ни в каком виде.
все равно стоит прогнать на 2-3 вариантах входных данных