# 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 e0b2975a77ec952a531cd03a9149c10afa94fa800c43c3f7e493575127ef9183 # shrinks to (expr, db_state) = (Sub(LiteralInt(0), LiteralInt(1)), {})
cc d86ddabb1d6dd65fc7abf86682d749da782bbb80e02fef0f318443a504c9345e # shrinks to expr = Sub(Add(Add(LiteralInt(0), LiteralInt(0)), LiteralInt(0)), LiteralInt(0))
