# 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 2d495a7f9d3870851f288331be54328832c91bea94aa91bbd1700ddf8ccec985 # shrinks to schema = Schema { tables: [Table { ident: Identifier(a), number: FieldNumber { field_number: 1 }, key: [Field { ident: Identifier(A), number: FieldNumber { field_number: 1 }, ty: fixed32, breakout: false }], fields: [Object(Object { ident: Identifier(A), number: FieldNumber { field_number: 1 }, fields: [Join(Join { ident: Identifier(A), number: FieldNumber { field_number: 1 }, join_table: Identifier(a), join_keys: [Identifier(A), Identifier(A), Identifier(a), Identifier(a), Identifier(a), Identifier(A), Identifier(a), Identifier(A), Identifier(A), Identifier(a), Identifier(A), Identifier(a), Identifier(A), Identifier(a), Identifier(A), Identifier(a), Identifier(A), Identifier(A), Identifier(a), Identifier(A), Identifier(A), Identifier(A), Identifier(A), Identifier(a), Identifier(A), Identifier(A), Identifier(a), Identifier(A), Identifier(A), Identifier(A), Identifier(A), Identifier(a)] })] })] }] }
cc c0944919866b8cfc8ff872e062071b6dc1e3423aa2f1f2f5ccdb4bba6444e6c8 # shrinks to table = Table { ident: Identifier(A), number: FieldNumber { field_number: 1 }, key: [Field { ident: Identifier(a), number: FieldNumber { field_number: 1 }, ty: fixed32, breakout: false }], fields: [Object(Object { ident: Identifier(a), number: FieldNumber { field_number: 1 }, fields: [Join(Join { ident: Identifier(a), number: FieldNumber { field_number: 1 }, join_table: Identifier(A), join_keys: [Identifier(A), Identifier(A), Identifier(a), Identifier(A), Identifier(A), Identifier(a), Identifier(a), Identifier(a), Identifier(A), Identifier(A), Identifier(A), Identifier(A), Identifier(a), Identifier(A), Identifier(a), Identifier(a), Identifier(A), Identifier(a), Identifier(a), Identifier(A), Identifier(A), Identifier(A), Identifier(a), Identifier(A), Identifier(a), Identifier(a), Identifier(A), Identifier(a), Identifier(a), Identifier(A), Identifier(A), Identifier(a)] })] })] }
cc 95513ab2303fd3b9f4181a83cfafe84fc4fef7c8c69c552f1029f3939cde653d # shrinks to fd = Object(Object { ident: Identifier(a), number: FieldNumber { field_number: 1 }, fields: [Map(Map { key: Field { ident: Identifier(A), number: FieldNumber { field_number: 1 }, ty: fixed32, breakout: false }, fields: [Join(Join { ident: Identifier(A__09ah), number: FieldNumber { field_number: 338623135 }, join_table: Identifier(wCh_M5K_O7_SER8__O_8bPTjFQ01), join_keys: [Identifier(pv_M_Efq8___WGByeB_1C408), Identifier(g_), Identifier(Uk_L3cCFF_h__Dev_), Identifier(BN_g4r0Qj_A), Identifier(LuL), Identifier(y_g9__2uX_1_gf_5KM_LR81l6Cxz_lub), Identifier(l3xL_H0R6_qm_An), Identifier(va2Gasu71C__mL), Identifier(dV6U7KM9fL_PWRFw2B1), Identifier(RX_Ole_HJ_sBbxmi), Identifier(J98Q2_c_4VU_mqds_EL6C6EB_s_Gh0), Identifier(n3gY5C2VkPCq46__wD_7_QSbo_O7IcJ), Identifier(B0xi_ta5eXPPd__ZDYb2n0143445), Identifier(lYlNV3_19_Y_q9Rf), Identifier(qrTR8iZ8r5c_bi0eGGcv11i74), Identifier(X_BbQePQ2rby_KYp_Wy), Identifier(v7yFjMV7_MZ_k), Identifier(Wl_vukQiACm_Os_5__B1), Identifier(r11yMdK3_m_m4__), Identifier(cK_lrVL__IC908_7_38S_), Identifier(J_b9_7_HB_N1h_hzp_LV), Identifier(dP9s_4sP1__PhMOA9GLtC_), Identifier(iDE_NT), Identifier(Ss7Zgj_p_z_n_Ui_s6_s6_dWwn5_), Identifier(Q_eW5DT5Sj__iOs_), Identifier(J8kfg2_0PEz638__c1__oq), Identifier(sT6HSm3g), Identifier(D84ZPpNIw1Y), Identifier(Y), Identifier(ZPC9FQR8uEV93ov), Identifier(V_G2ETJl_a_XY_ui_PdiciDR6TVq7ku1), Identifier(pWz3MtSC1_Lw7_zp_1M6L_qg_LlM73nJ3)] })] })] })