1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
# 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:
identity = 0.0
assert a == test_expected_output.add(a=a, b=identity)
assert a == test_expected_output.add(a=identity, b=a)
|
