История изменений
Исправление opcode, (текущая версия) :
проверка на отсутствие сегфолтов и прочей порчи данных полезна, но не надо её выставлять за «мы доказали что программа верна»
Я и не выставлял, это очень разные задачи, с огромным различием по сложности (трудоёмкости, выполнимости).
Верна - это когда заказчик скажет «да, я именно это хотел»
Ок, это одно из возможных определений термина «программа верна».🙃
Исходная версия opcode, :
проверка на отсутствие сегфолтов и прочей порчи данных полезна, но не надо её выставлять за «мы доказали что программа верна»
Я и не выставлял, это очень разные задачи, с огромным различием по сложности (трудоёмкости, выполнимости).
Верна - это когда заказчик скажет «да, я именно это хотел»
Ок, это одно из возможных определений термина «программа верна».😀