# Seeds for failure cases proptest has generated in the past. It is
# automatically read and these particular cases re-run before any
# novel cases are generated.
#
# It is recommended to check this file in to source control so that
# everyone who runs the test benefits from these saved cases.
cc 324ecea8a183d502607cbab39af5f0f1112df91c4c61ce06ef1bdcef1b3dbea6 # shrinks to p = Posit(0b11111111111111111111111111111101)
cc da866d3b686964266fc37cd48927b44f3ae2b8ef1896d760c8388621b39949be # shrinks to d = Decoded { frac: 0b10_11111111111111111111111111111_1, exp: 0b000000000000000000000000000000_00 (+0) }
cc 50b6a1db7b744a94a58222cd77dce7ffd641ac0c4f82bf00af2ce162dc62fd23 # shrinks to p = Posit(0b1111111111111111111111111111111111111111111111111111111111111101)
cc 4bed486e4bd429aab01a3ffae28fb8d5dede39e7eb16c07753a43707285c6456 # shrinks to d = Decoded { frac: 0b10_11111111111111111111111111111_1, exp: 0b0000000000000000000000000000_0000 (+0) }
cc e47fd5368ec956fce51a071f14c301057b544d1bfb2ba26de763530268b39a72 # shrinks to d = Decoded { frac: 0b10_1111111111111111111111111111111111111111111111111111111111111_1, exp: 0b00000000000000000000000000000000000000000000000000000000000000_00 (+0) }
cc ed3d7b8b6f7c15e326d5af2274b554aad0cc8bf77ee9c570e48a7e784a888cb0 # shrinks to d = Decoded { frac: 0b01_11011100111010100001001100100_0, exp: 0b000000000000000000000000000001_00 (+4) }, s = true
cc b2d6fc6457e1ed16f8825869a8893246f7010c288cc84e9db502fb50f0e79256 # shrinks to d = Decoded { frac: 0b01_0000111000011101011011101110010001110001100000001000000000000_0, exp: 0b11111111111111111111111111111111111111111111111111111111110100_11 (-45) }, s = true
cc f2949ab289a8fc5aed64b7f165b40445a7cf69b101d5d9179bd4e3b7d2910e45 # shrinks to d = Decoded { frac: 0b10_11111111111111111111111111111_1, exp: 0b111111111111111111111111010_11111 (-161) }, s = false
cc 9823c2010d0108ac08d7aab72ce16c3b428b24cfb07db19312b68bacbda281b6 # shrinks to d = Decoded { frac: 0b10_11111111111111111111111111111_1, exp: 0b000000000000000000000000101_00000 (+160) }, s = false
cc 1445bf9bb1eb855ec37a67b42baf6cf37ecff2c1e696b6df84b9c8bf54ec8da2 # shrinks to d = Decoded { frac: 0b01_0000000000000_0, exp: 0b0000000001100_111 (+103) }, s = false
cc 5aa73ada0c7c2225f12154900d0107b38d342b3edd0d07c26643580ff10b9183 # shrinks to d = Decoded { frac: 0b01_0000000000000_0, exp: 0b0000000001101_110 (+110) }, s = false
cc 4c24e5a96f41f2d055b578221a07dece2839c2d4071de052ae7d198f63ab9cdc # shrinks to d = Decoded { frac: 0b01_1111100000000_0, exp: 0b00000000101_11111 (+191) }, s = false
cc 5eefdacf58be354970535acaf75df38c2844f335cce0cf0729cbf84479db028d # shrinks to d = Decoded { frac: 0b10_1001010111110_1, exp: 0b00000000000110_00 (+24) }, s = false
