Medium - Hypothesis generation basic sample

test_ints_are_commutative.py

from hypothesis import given
from hypothesis.strategies import integers


@given(integers(), integers())
def test_ints_are_commutative(x, y):
    print(f"x = {x}, y = {y}")
    assert x + y == y + x


# Results of `pytest -s`
#    
# x = 0, y = 0
# x = 19867, y = 8251
# x = -26817, y = -8081
# x = 1491008359, y = 8912
# x = 12, y = 6058
# x = -16772, y = -58
# x = 85, y = -27045
# x = 27612, y = 22557
# x = -10242, y = -953
# x = -58, y = 11714
# x = 1611, y = -26528
# x = 0, y = -3
# x = 4661717926399131874, y = 15982
# x = 0, y = 6
# x = 9764, y = -24955
# x = 871562823, y = 9517
# x = -30383, y = 1
# x = -127, y = 17
# x = -2147483647, y = 11352
# x = -127, y = -127
# x = -32767, y = 11352
# x = 9216, y = 19276
# x = 0, y = -68
# x = 19202, y = 109
# x = 9216, y = -898
# x = 75, y = 60
# x = 7685, y = 45
# x = -5994, y = 0
# x = 117, y = 19090
# x = 0, y = 16
# x = 5948, y = 0
# x = -7562984813532480990, y = 45
# x = 32413, y = 1
# x = 934, y = 25884
# x = -126, y = -126
# x = -119331212037299540, y = -23382
# x = 5189867641501952187, y = 2735066370229658436
# x = 0, y = 67
# x = 0, y = 0
# x = -879, y = 3
# x = 11807, y = 0
# x = 23238, y = 14
# x = -127, y = 0
# x = 0, y = 65
# x = 0, y = 88
# x = 80218, y = 8993
# x = 6464860448645960502, y = -7010
# x = -7067, y = 0
# x = -15368, y = 5577
# x = 2313, y = 8224
# x = -72581724464006244561748957594853997082, y = 23093
# x = 0, y = 21259
# x = 9441, y = 12668
# x = -5154444513282950750, y = 7697
# x = 32724, y = 16083
# x = 1780, y = 89
# x = 260877595, y = 15136
# x = -2115, y = -32767
# x = -32767, y = 24565
# x = 3245, y = -127
# x = -32767, y = -32767
# x = -126, y = -10845
# x = -127, y = -41
# x = 73, y = -14263
# x = -3213538600416482364, y = 42735790316068045013668526274854030399
# x = -126, y = 19678
# x = 24834, y = 27456
# x = 0, y = -3
# x = 9441, y = 12523
# x = 72, y = -84
# x = 3, y = 3
# x = 0, y = -32767
# x = -127, y = -32767
# x = -32767, y = -732400202
# x = -26844718299649745504747095481344594916, y = 107
# x = 435121879, y = -22273
# x = -3886324953423415306, y = -96
# x = -15805, y = -51
# x = 57, y = -23713
# x = 24929, y = -23702
# x = -1, y = -13492
# x = 5986, y = 160324416012950014910107570438804987831
# x = -2945, y = 3998
# x = -32767, y = -32767
# x = 46, y = -2465
# x = -127, y = 0
# x = -18657, y = -26189
# x = 29290, y = -36
# x = 114, y = 4331
# x = -32767, y = -511
# x = -1, y = 110
# x = 72, y = 7998380132933307008
# x = 16253, y = -106
# x = -6981, y = -29940
# x = -7379, y = -12
# x = 16131, y = 32382
# x = 4892, y = 1
# x = -7324, y = -32767
# x = 0, y = -107
# x = -21716, y = 21365