SafeDiv/SafeExp/SafeMod: the specific edge case x=1 y=1 is slow

[github-actions[bot]]

SafeDiv/SafeExp/SafeMod: the specific edge case x=1 y=1 is slow

https://github.com/rjdbcm/Aspidites/blob/9dd5457171163b3166d2c1cf65300a2e02dc6aac/Aspidites/tests/test_aspidites.py#L60

@given(x=st.integers(min_value=MIN, max_value=MAX) | st.floats(allow_nan=False),
       y=st.integers(min_value=MIN, max_value=MAX) | st.floats(allow_nan=False))
@hypothesis.settings(deadline=None)
@pt.mark.filterwarnings('ignore::RuntimeWarning')
def test_safe_div(x, y):
    # TODO SafeDiv/SafeExp/SafeMod: the specific edge case x=1 y=1 is slow
    assert SafeDiv(x, 0) == Undefined()
    assert SafeFloorDiv(x, 0) == Undefined()
    assume(x != 0 and y != 0)

b4eacecccd8a68193003ae675db6f2e1508f37a9

[github-actions[bot]]

Closed in ad03a38b9152f3e4ad192a342e5af86fab636989