# 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 a6d87876ec949e44869c5bb9fe7d2b8fd62f331db933ecca8386c9bdb1969a87 # shrinks to x = UOp { id: 84, op: Const(ConstValueHash(Int(-1))), dtype: Scalar(Int32), shape_cache: OnceCell(<uninit>), ranges_cache: OnceCell(<uninit>), in_scope_ranges_cache: OnceCell(<uninit>), vmin_vmax_cache: OnceCell(<uninit>) }
cc 62cb5491a6f2d9463bf81d0c4093063453d9033f3e66d460e42c42a49e78b2e6 # shrinks to a = UOp { id: 4684, op: DefineVar { name: "a", max_val: 1 }, dtype: Scalar(Int32), shape_cache: OnceLock(Ok(Some([]))), vmin_vmax_cache: OnceLock(<uninit>), .. }, b = 30, c = -30
cc d420bf1ba5a18f3db8777b917c7148fe52c4e990797907fb5233e9699be98014 # shrinks to (expr, div, var_ranges) = (UOp { id: 1677, op: Binary(Add, UOp { id: 1674, op: Const(ConstValueHash(Int(-3))), dtype: Scalar(Index), shape_cache: OnceLock(Ok(Some([]))), vmin_vmax_cache: OnceLock(<uninit>), .. }, UOp { id: 1676, op: Binary(Mul, UOp { id: 1675, op: Const(ConstValueHash(Int(1))), dtype: Scalar(Index), shape_cache: OnceLock(Ok(Some([]))), vmin_vmax_cache: OnceLock(<uninit>), .. }, UOp { id: 1403, op: DefineVar { name: "a", min_val: 0, max_val: 2 }, dtype: Scalar(Index), shape_cache: OnceLock(Ok(Some([]))), vmin_vmax_cache: OnceLock((Int(0), Int(2))), .. }), dtype: Scalar(Index), shape_cache: OnceLock(Ok(Some([]))), vmin_vmax_cache: OnceLock(<uninit>), .. }), dtype: Scalar(Index), shape_cache: OnceLock(<uninit>), vmin_vmax_cache: OnceLock(<uninit>), .. }, 2, [("a", 0, 2), ("b", 0, 1)])
cc 69f43ce7882881392d9d9b8ce33d55131f3c3e6877f38a2e3903307f795a9908 # shrinks to (expr, div, var_ranges) = (UOp { id: 2311, op: Binary(Add, UOp { id: 2309, op: Binary(Add, UOp { id: 2306, op: Const(ConstValueHash(Int(8))), dtype: Scalar(Index), shape_cache: OnceLock(Ok(Some([]))), vmin_vmax_cache: OnceLock(<uninit>), .. }, UOp { id: 2308, op: Binary(Mul, UOp { id: 2307, op: Const(ConstValueHash(Int(5))), dtype: Scalar(Index), shape_cache: OnceLock(Ok(Some([]))), vmin_vmax_cache: OnceLock(<uninit>), .. }, UOp { id: 2304, op: DefineVar { name: "a", min_val: 0, max_val: 1 }, dtype: Scalar(Index), shape_cache: OnceLock(Ok(Some([]))), vmin_vmax_cache: OnceLock(<uninit>), .. }), dtype: Scalar(Index), shape_cache: OnceLock(Ok(Some([]))), vmin_vmax_cache: OnceLock(<uninit>), .. }), dtype: Scalar(Index), shape_cache: OnceLock(Ok(Some([]))), vmin_vmax_cache: OnceLock(<uninit>), .. }, UOp { id: 2310, op: Binary(Mul, UOp { id: 2307, op: Const(ConstValueHash(Int(5))), dtype: Scalar(Index), shape_cache: OnceLock(Ok(Some([]))), vmin_vmax_cache: OnceLock(<uninit>), .. }, UOp { id: 2305, op: DefineVar { name: "b", min_val: 0, max_val: 2 }, dtype: Scalar(Index), shape_cache: OnceLock(Ok(Some([]))), vmin_vmax_cache: OnceLock(<uninit>), .. }), dtype: Scalar(Index), shape_cache: OnceLock(Ok(Some([]))), vmin_vmax_cache: OnceLock(<uninit>), .. }), dtype: Scalar(Index), shape_cache: OnceLock(<uninit>), vmin_vmax_cache: OnceLock(<uninit>), .. }, 6, [("a", 0, 1), ("b", 0, 2)])
cc 601649e1cd8f1dffb8370950ffd08a53eda01aecacc822544a61ea06ea8fae83 # shrinks to (expr, div, var_ranges) = (UOp { id: 1390, op: Binary(Add, UOp { id: 1387, op: Const(ConstValueHash(Int(3))), dtype: Scalar(Index), shape_cache: OnceLock(Ok(Some([]))), vmin_vmax_cache: OnceLock(<uninit>), .. }, UOp { id: 1389, op: Binary(Mul, UOp { id: 1388, op: Const(ConstValueHash(Int(-1))), dtype: Scalar(Index), shape_cache: OnceLock(Ok(Some([]))), vmin_vmax_cache: OnceLock(<uninit>), .. }, UOp { id: 1385, op: DefineVar { name: "a", min_val: 0, max_val: 2 }, dtype: Scalar(Index), shape_cache: OnceLock(Ok(Some([]))), vmin_vmax_cache: OnceLock(<uninit>), .. }), dtype: Scalar(Index), shape_cache: OnceLock(Ok(Some([]))), vmin_vmax_cache: OnceLock(<uninit>), .. }), dtype: Scalar(Index), shape_cache: OnceLock(<uninit>), vmin_vmax_cache: OnceLock(<uninit>), .. }, 2, [("a", 0, 2), ("b", 0, 1)])
cc ce87425d25bd282bccf2aebaee5bf030197f20eeb9101ad15a48f8cc7f0ddbe0 # shrinks to (expr, div, var_ranges) = (UOp { id: 5071, op: Binary(Add, UOp { id: 5066, op: Const(ConstValueHash(Int(-9))), dtype: Scalar(Index), shape_cache: OnceLock(Ok(Some([]))), vmin_vmax_cache: OnceLock(<uninit>), .. }, UOp { id: 5069, op: Binary(Mul, UOp { id: 5067, op: Const(ConstValueHash(Int(-1))), dtype: Scalar(Index), shape_cache: OnceLock(Ok(Some([]))), vmin_vmax_cache: OnceLock(<uninit>), .. }, UOp { id: 5065, op: DefineVar { name: "b", min_val: 0, max_val: 1 }, dtype: Scalar(Index), shape_cache: OnceLock(Ok(Some([]))), vmin_vmax_cache: OnceLock(<uninit>), .. }), dtype: Scalar(Index), shape_cache: OnceLock(Ok(Some([]))), vmin_vmax_cache: OnceLock(<uninit>), .. }), dtype: Scalar(Index), shape_cache: OnceLock(<uninit>), vmin_vmax_cache: OnceLock(<uninit>), .. }, 4, [("a", 0, 1), ("b", 0, 1)])
