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

import test_expected_output
from hypothesis import given, strategies as st

add_operands = st.floats()


@given(a=add_operands, b=add_operands, c=add_operands)
def test_associative_binary_operation_add(a: float, b: float, c) -> None:
    left = test_expected_output.add(a=a, b=test_expected_output.add(a=b, b=c))
    right = test_expected_output.add(a=test_expected_output.add(a=a, b=b), b=c)
    assert left == right, (left, right)


@given(a=add_operands, b=add_operands)
def test_commutative_binary_operation_add(a: float, b: float) -> None:
    left = test_expected_output.add(a=a, b=b)
    right = test_expected_output.add(a=b, b=a)
    assert left == right, (left, right)


@given(a=add_operands)
def test_identity_binary_operation_add(a: float) -> None:
    assert a == test_expected_output.add(a=a, b=0.0)
