# This test code was written by the `hypothesis.extra.ghostwriter` module
# and is provided under the Creative Commons Zero public domain dedication.

import operator
import test_expected_output
from hypothesis import given, reject, strategies as st


@given(a=st.integers(), b=st.integers())
def test_roundtrip_divide_mul(a: int, b: int) -> None:
    try:
        try:
            value0 = test_expected_output.divide(a=a, b=b)
        except ZeroDivisionError:
            reject()
        value1 = operator.mul(value0, b)
    except TypeError:
        reject()
    assert a == value1, (a, value1)
