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