# 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 6927acc70ad28cdb2ec42444e78257e9d2bb0202d36427bfc5379eb22af7080e # shrinks to a = Posit(0b1111111111111110), b = Posit(0b1110000000000000)
