# 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 f72c048460d617ea52434bea9a1267d8df9208b7223cf3659954885f177cd0f2 # shrinks to (join, where_expr) = (JoinExpr { sql: "FROM users CROSS JOIN products", .. }, Or(Not(Atom("users.id", "3")), Atom("products.id", "3")))
cc 8c21c606da860748226e7c0947c721e9182e5aa3984f03b778f6fd95344d2c94 # shrinks to (join, where_expr) = (JoinExpr { sql: "FROM products JOIN orders ON products.name = orders.name", .. }, Or(And(Atom("products.name", "bob"), Atom("products.id", "3")), Not(Atom("orders.id", "3")))), target_list = ["age"]
cc b33b5d9a0b23c471963c2ab6580012fe97de890660ca480bffc18165af774fe7 # shrinks to (join, where_expr) = (JoinExpr { sql: "FROM users JOIN orders ON users.color = orders.color", .. }, Not(Not(And(Atom("users.color", "blue"), Atom("users.id", "3"))))), target_list = ["age"]
cc 1f6666372781b50f0844cbbc1e19248b69c42de14a8458aaa5ac9f1202fc5452 # shrinks to (join, where_expr) = (JoinExpr { sql: "FROM users JOIN orders ON users.name = orders.name", .. }, And(Atom("users.id", "3"), Or(Atom("users.id", "3"), Atom("users.id", "3")))), target_list = ["color", "age"]
cc cb0a0d0289ae2042dd27399ac32d3fb6449df419f9d4df883327e28bd5912363 # shrinks to where_expr = Or(Not(Atom("users.name", "bob")), Atom("users.name", "bob")), paging_exprs = "ORDER BY users.name, users.color, id LIMIT 10"
cc d3e12f55eaecd92c9a998d12a3f76be8dbd23647132f7952551f05885ebabd5c # shrinks to where_expr = Or(Not(Atom("users.name", "bob")), Atom("users.name", "bob")), paging_exprs = "ORDER BY users.color, users.age, id LIMIT 10"
cc 7dce523ab3b41cc02163d908810d18a614a6c5c426cfa9f596b8187a9e227cb1 # shrinks to (join, where_expr) = (JoinExpr { sql: "FROM users CROSS JOIN products", .. }, And(Atom("users.color", "blue"), Atom("products.age", "20")))