История изменений
Исправление opcode, (текущая версия) :
У тебя просто будут баги в ходе конвертации ТЗ, написанного бытовым языком, в этот самый «сухой и строгий» язык.
Совершенно верно.
Вот вот, есть бесполезные теоретики-графоманы и есть полезная практика. Я как раз намекал что стоит смотреть на второе.
Возможно и стоит, но точно не исключает. Не совсем понимаю где тут несогласие.
«Программа корректно обрабатывает любой ввод, который мы смогли придумать и выдерживает любой фаззинг, который мы смогли провести» – отличное достижение.
И в то же время «Программа верна вообще для любого возможного ввода и при этом имеет такую-то временную и пространственную сложность» – ещё более ценное достижение.
Исходная версия opcode, :
У тебя просто будут баги в ходе конвертации ТЗ, написанного бытовым языком, в этот самый «сухой и строгий» язык.
Совершенно верно.
Вот вот, есть бесполезные теоретики-графоманы и есть полезная практика. Я как раз намекал что стоит смотреть на второе.
Возможно и стоит, но точно не исключает. Не совсем понимаю где тут несогласие.
«Программа корректно обрабатывает любой ввод, который мы смогли придумать и выдерживает любой фаззинг» – отличное достижение.
И в то же время «Программа верна вообще для любого возможного ввода и при этом имеет такую-то временную и пространственную сложность» – ещё более ценное достижение.