История изменений
Исправление ASM, (текущая версия) :
Прошу прощения, я не понял этого сообщения. Можно пример теста для приведенного кода?
Я уже предоставил тест. Могу упростить: «Задача, функция f(x) даёт неопределённый результат.» Код:
int f(int x) { return 1; }
Тест:
f(3)
assert(0);//нет смысла проверять результат, он неопределён.
Если рассматривать тест с точки зрения спецификаций, то мы имеем пример того теста, который делает полное покрытие необходимой функции. А значит слово «никогда» тут лишнее.
Если рассматривать тест с точки зрения глючного процессора, в космосе, под который собрали из под m$ компилятора, то результат теста будет неопределённым.
Исправление ASM, :
Прошу прощения, я не понял этого сообщения. Можно пример теста для приведенного кода?
Я уже предоставил тест. Могу упростить: «Задача, функция f(x) даёт неопределённый результат.» Код:
int f(int x) { return 1; }
Тест:
f(3)
assert(0);//нет смысла проверять результат, он неопределён.
Если рассматривать тест с точки зрения спецификаций, то мы имеем пример того теста, который делает полное покрытие необходимой функции. А значит слово «никогда тут лишнее».
Если рассматривать тест с точки зрения глючного процессора, в космосе, под который собрали из под m$ компилятора, то результат теста будет неопределённым.
Исправление ASM, :
Прошу прощения, я не понял этого сообщения. Можно пример теста для приведенного кода?
Я уже предоставил тест. Могу упростить: «Задача, функция f(x) даёт неопределённый результат.» Код:
int f(int x) { return 1; }
Тест:
f(3)
assert(0);//нет смысла проверять результат, он неопределён.
Исходная версия ASM, :
Прошу прощения, я не понял этого сообщения. Можно пример теста для приведенного кода?
Я уже предоставил тест. Могу упростить: «Задача, функция f(x) даёт неопределённый результат.» Код:
int f(int x) { return 1; }
Тест:
f(3)
assert(1);//нет смысла проверять результат, он неопределён.