Гипотеза: протестировать защитное программирование. ⇐ Python

[Anonymous]

Я пишу тесты с помощью Hypothesis для проверки функций с ограниченным диапазоном. Рассмотрим следующий пример игрушки:

Код: Выделить всё

import math
from hypothesis import assume, example, given

def inc(value: float) -> float:
assert not math.isnan(value)
return value + 1

@given(st.floats())
def test_inc(value: float):
assume(not math.isnan(value))
if(value == math.inf or value == -math.inf):
assert inc(value) == value
else:
assert inc(value) > value

Здесь я тестирую поведение для конечных и бесконечных входных данных, но не для NaN. Я хотел бы проверить, что значения, выходящие за пределы диапазона, такие как NaN, правильно выдают ошибку AssertionError.
Есть ли в Hypothesis встроенный шаблон, по которому я могу это проверить? В идеале мне нужен подход, при котором я не ставлю под угрозу охват значений в пределах диапазона.

Подробнее здесь: https://stackoverflow.com/questions/792 ... rogramming