LINUX.ORG.RU

История изменений

Исправление 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);//нет смысла проверять результат, он неопределён.