История изменений
Исправление den73, (текущая версия) :
если они формально верифицированы, то код такой программы распух вопреки твоей мифологической капустке, т.к. спецификации, которые нужно проверять, и их доказательства тоже являются исходным кодом. Даже если написаны сценарии для ручного тестирования - то это тоже исходный код программы, т.к. с его потерей качество программы падает.
Исходная версия den73, :
если они формально верифицированы, то их код больше, т.к. спецификации, которые нужно проверять, и их доказательства тоже являются исходным кодом. Даже если написаны сценарии для ручного тестирования - то это тоже исходный код программы, т.к. с его потерей качество программы падает.