# 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 c3efa58ec48f8da2087da00734e7b8477b98ad2f1519988add8e5f840964525f # shrinks to env_with_missing = EnvelopesWithMissing { removed: [TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 20 }, depends_on: GlobalCursor { inner: {20: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 40 }, depends_on: GlobalCursor { inner: {20: 2, 10: 2} } }, TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 40 }, depends_on: GlobalCursor { inner: {40: 1, 20: 1, 10: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 3, originator_id: 10 }, depends_on: GlobalCursor { inner: {40: 2, 10: 2, 20: 2} } }, TestEnvelope { cursor: Cursor { sequence_id: 3, originator_id: 20 }, depends_on: GlobalCursor { inner: {40: 3, 20: 2, 10: 6, 30: 2} } }], envelopes: [TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 20 }, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 10 }, depends_on: GlobalCursor { inner: {20: 2} } }, TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 10 }, depends_on: GlobalCursor { inner: {10: 1, 20: 2} } }, TestEnvelope { cursor: Cursor { sequence_id: 4, originator_id: 10 }, depends_on: GlobalCursor { inner: {10: 3, 20: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 30 }, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { cursor: Cursor { sequence_id: 3, originator_id: 40 }, depends_on: GlobalCursor { inner: {10: 3, 30: 1, 40: 2, 20: 2} } }, TestEnvelope { cursor: Cursor { sequence_id: 5, originator_id: 10 }, depends_on: GlobalCursor { inner: {30: 1, 20: 2, 10: 4, 40: 3} } }, TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 30 }, depends_on: GlobalCursor { inner: {10: 5, 40: 3, 30: 1, 20: 2} } }, TestEnvelope { cursor: Cursor { sequence_id: 6, originator_id: 10 }, depends_on: GlobalCursor { inner: {10: 5, 20: 2, 40: 2} } }, TestEnvelope { cursor: Cursor { sequence_id: 4, originator_id: 20 }, depends_on: GlobalCursor { inner: {10: 6, 20: 3, 30: 2, 40: 3} } }] }
cc 4cb58b61e81291b31590cc6ca29df9cf8737a6f2fcc33c20b6021fa991355a31 # shrinks to env_with_missing = EnvelopesWithMissing { removed: [TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 40 }, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { cursor: Cursor { sequence_id: 3, originator_id: 10 }, depends_on: GlobalCursor { inner: {10: 2, 40: 3} } }, TestEnvelope { cursor: Cursor { sequence_id: 4, originator_id: 40 }, depends_on: GlobalCursor { inner: {10: 3, 40: 3} } }, TestEnvelope { cursor: Cursor { sequence_id: 3, originator_id: 20 }, depends_on: GlobalCursor { inner: {10: 3, 20: 2, 40: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 4, originator_id: 20 }, depends_on: GlobalCursor { inner: {20: 3} } }], envelopes: [TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 40 }, depends_on: GlobalCursor { inner: {40: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 10 }, depends_on: GlobalCursor { inner: {40: 2} } }, TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 10 }, depends_on: GlobalCursor { inner: {10: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 3, originator_id: 40 }, depends_on: GlobalCursor { inner: {40: 2, 10: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 20 }, depends_on: GlobalCursor { inner: {40: 4, 10: 3} } }, TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 30 }, depends_on: GlobalCursor { inner: {20: 1, 40: 4, 10: 3} } }, TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 20 }, depends_on: GlobalCursor { inner: {20: 1, 10: 3, 40: 4, 30: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 4, originator_id: 10 }, depends_on: GlobalCursor { inner: {10: 3, 20: 1, 40: 2} } }, TestEnvelope { cursor: Cursor { sequence_id: 5, originator_id: 10 }, depends_on: GlobalCursor { inner: {20: 3, 10: 4, 40: 4} } }, TestEnvelope { cursor: Cursor { sequence_id: 5, originator_id: 20 }, depends_on: GlobalCursor { inner: {30: 1, 20: 4, 10: 5, 40: 2} } }] }
cc 0ab5e000585326d1342cb92385d095a09cb4fc3c9af67b5e16807bddf0017f75 # shrinks to env_with_missing = EnvelopesWithMissing { removed: [TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 10 }, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 40 }, depends_on: GlobalCursor { inner: {40: 1, 10: 2, 30: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 30 }, depends_on: GlobalCursor { inner: {10: 2, 40: 2, 30: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 3, originator_id: 10 }, depends_on: GlobalCursor { inner: {10: 2} } }, TestEnvelope { cursor: Cursor { sequence_id: 4, originator_id: 10 }, depends_on: GlobalCursor { inner: {10: 3, 30: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 4, originator_id: 30 }, depends_on: GlobalCursor { inner: {20: 1, 10: 4, 30: 3, 40: 2} } }, TestEnvelope { cursor: Cursor { sequence_id: 6, originator_id: 10 }, depends_on: GlobalCursor { inner: {40: 3, 20: 1, 10: 5, 30: 4} } }, TestEnvelope { cursor: Cursor { sequence_id: 4, originator_id: 40 }, depends_on: GlobalCursor { inner: {10: 4, 30: 2, 40: 3, 20: 1} } }], envelopes: [TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 40 }, depends_on: GlobalCursor { inner: {10: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 30 }, depends_on: GlobalCursor { inner: {40: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 10 }, depends_on: GlobalCursor { inner: {40: 1, 30: 1, 10: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 3, originator_id: 30 }, depends_on: GlobalCursor { inner: {30: 2} } }, TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 20 }, depends_on: GlobalCursor { inner: {40: 2, 10: 4, 30: 3} } }, TestEnvelope { cursor: Cursor { sequence_id: 5, originator_id: 10 }, depends_on: GlobalCursor { inner: {20: 1, 40: 2, 10: 4, 30: 4} } }, TestEnvelope { cursor: Cursor { sequence_id: 3, originator_id: 40 }, depends_on: GlobalCursor { inner: {20: 1, 40: 2, 30: 3} } }] }
cc 729fca2607f399a09d0b7f0e42008cfbdff8e37f8c143d727c24b5320d0acec9 # shrinks to envelopes = EnvelopesWithResolver { missing: EnvelopesWithMissing { removed: [TestEnvelope { sequence_id: 4, originator_id: 20, depends_on: GlobalCursor { inner: {20: 3, 30: 3} } }, TestEnvelope { sequence_id: 4, originator_id: 30, depends_on: GlobalCursor { inner: {20: 3, 30: 3} } }, TestEnvelope { sequence_id: 5, originator_id: 30, depends_on: GlobalCursor { inner: {20: 5, 30: 4} } }], envelopes: [TestEnvelope { sequence_id: 1, originator_id: 20, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { sequence_id: 2, originator_id: 20, depends_on: GlobalCursor { inner: {20: 1} } }, TestEnvelope { sequence_id: 1, originator_id: 30, depends_on: GlobalCursor { inner: {20: 2} } }, TestEnvelope { sequence_id: 2, originator_id: 30, depends_on: GlobalCursor { inner: {20: 1, 30: 1} } }, TestEnvelope { sequence_id: 3, originator_id: 20, depends_on: GlobalCursor { inner: {20: 2, 30: 2} } }, TestEnvelope { sequence_id: 3, originator_id: 30, depends_on: GlobalCursor { inner: {20: 3, 30: 2} } }, TestEnvelope { sequence_id: 5, originator_id: 20, depends_on: GlobalCursor { inner: {20: 4, 30: 1} } }] }, resolver: MockResolver { available: Mutex { data: [] }, unavailable: [TestEnvelope { sequence_id: 4, originator_id: 20, depends_on: GlobalCursor { inner: {20: 3, 30: 3} } }, TestEnvelope { sequence_id: 4, originator_id: 30, depends_on: GlobalCursor { inner: {20: 3, 30: 3} } }, TestEnvelope { sequence_id: 5, originator_id: 30, depends_on: GlobalCursor { inner: {20: 5, 30: 4} } }] } }
cc 53d0ad413bc5b20992cd2f948862bc2a6e95876a7bf116259893d8117acb87c9 # shrinks to envelopes = EnvelopesWithResolver { missing: EnvelopesWithMissing { removed: [TestEnvelope { sequence_id: 2, originator_id: 10, depends_on: GlobalCursor { inner: {10: 1} } }, TestEnvelope { sequence_id: 1, originator_id: 30, depends_on: GlobalCursor { inner: {10: 1} } }, TestEnvelope { sequence_id: 2, originator_id: 20, depends_on: GlobalCursor { inner: {10: 1, 20: 1} } }, TestEnvelope { sequence_id: 4, originator_id: 20, depends_on: GlobalCursor { inner: {10: 2, 20: 3, 30: 1} } }, TestEnvelope { sequence_id: 3, originator_id: 10, depends_on: GlobalCursor { inner: {10: 2, 20: 3} } }, TestEnvelope { sequence_id: 5, originator_id: 20, depends_on: GlobalCursor { inner: {10: 4, 20: 4, 30: 1} } }], envelopes: [TestEnvelope { sequence_id: 1, originator_id: 20, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { sequence_id: 1, originator_id: 10, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { sequence_id: 3, originator_id: 20, depends_on: GlobalCursor { inner: {10: 1, 20: 2} } }, TestEnvelope { sequence_id: 4, originator_id: 10, depends_on: GlobalCursor { inner: {10: 3, 20: 1} } }] }, resolver: MockResolver { available: Mutex { data: [TestEnvelope { sequence_id: 2, originator_id: 10, depends_on: GlobalCursor { inner: {10: 1} } }, TestEnvelope { sequence_id: 1, originator_id: 30, depends_on: GlobalCursor { inner: {10: 1} } }, TestEnvelope { sequence_id: 2, originator_id: 20, depends_on: GlobalCursor { inner: {10: 1, 20: 1} } }, TestEnvelope { sequence_id: 4, originator_id: 20, depends_on: GlobalCursor { inner: {10: 2, 20: 3, 30: 1} } }] }, unavailable: [TestEnvelope { sequence_id: 3, originator_id: 10, depends_on: GlobalCursor { inner: {10: 2, 20: 3} } }, TestEnvelope { sequence_id: 5, originator_id: 20, depends_on: GlobalCursor { inner: {10: 4, 20: 4, 30: 1} } }] } }
cc fe5c79e2c79a5220fa812b874352965b32c0c3a6f31ff5c2690e73453d635cb0 # shrinks to envelopes = EnvelopesWithResolver { missing: EnvelopesWithMissing { removed: [TestEnvelope { sequence_id: 2, originator_id: 20, depends_on: GlobalCursor { inner: {20: 1} } }, TestEnvelope { sequence_id: 3, originator_id: 10, depends_on: GlobalCursor { inner: {10: 2, 20: 2, 30: 1} } }, TestEnvelope { sequence_id: 3, originator_id: 20, depends_on: GlobalCursor { inner: {10: 3, 20: 2, 30: 1} } }, TestEnvelope { sequence_id: 4, originator_id: 20, depends_on: GlobalCursor { inner: {20: 3} } }, TestEnvelope { sequence_id: 5, originator_id: 10, depends_on: GlobalCursor { inner: {10: 4, 20: 3} } }], envelopes: [TestEnvelope { sequence_id: 1, originator_id: 10, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { sequence_id: 1, originator_id: 20, depends_on: GlobalCursor { inner: {10: 1} } }, TestEnvelope { sequence_id: 2, originator_id: 10, depends_on: GlobalCursor { inner: {10: 1} } }, TestEnvelope { sequence_id: 1, originator_id: 30, depends_on: GlobalCursor { inner: {10: 2} } }, TestEnvelope { sequence_id: 4, originator_id: 10, depends_on: GlobalCursor { inner: {10: 3, 20: 1} } }] }, resolver: MockResolver { available: Mutex { data: [TestEnvelope { sequence_id: 3, originator_id: 10, depends_on: GlobalCursor { inner: {10: 2, 20: 2, 30: 1} } }] }, unavailable: [TestEnvelope { sequence_id: 2, originator_id: 20, depends_on: GlobalCursor { inner: {20: 1} } }, TestEnvelope { sequence_id: 3, originator_id: 20, depends_on: GlobalCursor { inner: {10: 3, 20: 2, 30: 1} } }, TestEnvelope { sequence_id: 4, originator_id: 20, depends_on: GlobalCursor { inner: {20: 3} } }, TestEnvelope { sequence_id: 5, originator_id: 10, depends_on: GlobalCursor { inner: {10: 4, 20: 3} } }] } }
cc 01270776764ad4132169c08e01b350e759c3c95ec424a92fd7a824cbafd62641 # shrinks to envelopes = EnvelopesWithResolver { missing: EnvelopesWithMissing { removed: [TestEnvelope { sequence_id: 2, originator_id: 20, depends_on: GlobalCursor { inner: {10: 1, 20: 1} } }, TestEnvelope { sequence_id: 3, originator_id: 10, depends_on: GlobalCursor { inner: {10: 2, 20: 4} } }, TestEnvelope { sequence_id: 6, originator_id: 20, depends_on: GlobalCursor { inner: {10: 3, 20: 5, 30: 1} } }], envelopes: [TestEnvelope { sequence_id: 1, originator_id: 20, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { sequence_id: 1, originator_id: 10, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { sequence_id: 2, originator_id: 10, depends_on: GlobalCursor { inner: {10: 1} } }, TestEnvelope { sequence_id: 1, originator_id: 30, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { sequence_id: 3, originator_id: 20, depends_on: GlobalCursor { inner: {10: 1, 20: 2, 30: 1} } }, TestEnvelope { sequence_id: 4, originator_id: 20, depends_on: GlobalCursor { inner: {10: 2, 20: 3, 30: 1} } }, TestEnvelope { sequence_id: 5, originator_id: 20, depends_on: GlobalCursor { inner: {20: 4} } }] }, resolver: MockResolver { available: Mutex { data: [TestEnvelope { sequence_id: 3, originator_id: 10, depends_on: GlobalCursor { inner: {10: 2, 20: 4} } }] }, unavailable: [TestEnvelope { sequence_id: 2, originator_id: 20, depends_on: GlobalCursor { inner: {10: 1, 20: 1} } }, TestEnvelope { sequence_id: 6, originator_id: 20, depends_on: GlobalCursor { inner: {10: 3, 20: 5, 30: 1} } }] } }
cc 06d6be9792cc56980479dc9eee30b8037fca9ca2baae5d9a55ceff2fa73c10c8 # shrinks to envelopes = EnvelopesWithResolver { missing: EnvelopesWithMissing { removed: [TestEnvelope { sequence_id: 1, originator_id: 30, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { sequence_id: 2, originator_id: 30, depends_on: GlobalCursor { inner: {30: 1} } }, TestEnvelope { sequence_id: 1, originator_id: 20, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { sequence_id: 1, originator_id: 10, depends_on: GlobalCursor { inner: {20: 1, 30: 2} } }, TestEnvelope { sequence_id: 2, originator_id: 10, depends_on: GlobalCursor { inner: {10: 1, 30: 1} } }, TestEnvelope { sequence_id: 3, originator_id: 10, depends_on: GlobalCursor { inner: {10: 2, 20: 1, 30: 2} } }, TestEnvelope { sequence_id: 3, originator_id: 30, depends_on: GlobalCursor { inner: {30: 2} } }, TestEnvelope { sequence_id: 3, originator_id: 20, depends_on: GlobalCursor { inner: {10: 1, 20: 2, 30: 1} } }], envelopes: [TestEnvelope { sequence_id: 4, originator_id: 10, depends_on: GlobalCursor { inner: {10: 3} } }, TestEnvelope { sequence_id: 2, originator_id: 20, depends_on: GlobalCursor { inner: {10: 4, 20: 1, 30: 2} } }] }, resolver: MockResolver { available: Mutex { data: [TestEnvelope { sequence_id: 2, originator_id: 30, depends_on: GlobalCursor { inner: {30: 1} } }, TestEnvelope { sequence_id: 1, originator_id: 20, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { sequence_id: 1, originator_id: 10, depends_on: GlobalCursor { inner: {20: 1, 30: 2} } }, TestEnvelope { sequence_id: 2, originator_id: 10, depends_on: GlobalCursor { inner: {10: 1, 30: 1} } }, TestEnvelope { sequence_id: 3, originator_id: 10, depends_on: GlobalCursor { inner: {10: 2, 20: 1, 30: 2} } }, TestEnvelope { sequence_id: 3, originator_id: 20, depends_on: GlobalCursor { inner: {10: 1, 20: 2, 30: 1} } }] }, unavailable: [TestEnvelope { sequence_id: 1, originator_id: 30, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { sequence_id: 3, originator_id: 30, depends_on: GlobalCursor { inner: {30: 2} } }] } }
cc 0c136630eeeaf1d8cbeadddb4e66dd507923267e55d4dc477ea8e04405e5e065 # shrinks to envelopes = EnvelopesWithResolver { missing: EnvelopesWithMissing { removed: [TestEnvelope { sequence_id: 1, originator_id: 20, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { sequence_id: 3, originator_id: 10, depends_on: GlobalCursor { inner: {10: 2} } }, TestEnvelope { sequence_id: 3, originator_id: 30, depends_on: GlobalCursor { inner: {10: 3, 20: 2, 30: 2} } }], envelopes: [TestEnvelope { sequence_id: 1, originator_id: 30, depends_on: GlobalCursor { inner: {20: 1} } }, TestEnvelope { sequence_id: 1, originator_id: 10, depends_on: GlobalCursor { inner: {20: 1, 30: 1} } }, TestEnvelope { sequence_id: 2, originator_id: 10, depends_on: GlobalCursor { inner: {10: 1} } }, TestEnvelope { sequence_id: 2, originator_id: 30, depends_on: GlobalCursor { inner: {10: 3, 20: 1, 30: 1} } }, TestEnvelope { sequence_id: 2, originator_id: 20, depends_on: GlobalCursor { inner: {20: 1} } }, TestEnvelope { sequence_id: 4, originator_id: 30, depends_on: GlobalCursor { inner: {10: 3, 20: 2, 30: 3} } }, TestEnvelope { sequence_id: 3, originator_id: 20, depends_on: GlobalCursor { inner: {10: 1, 20: 2, 30: 2} } }] }, resolver: MockResolver { available: Mutex { data: [TestEnvelope { sequence_id: 1, originator_id: 20, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { sequence_id: 3, originator_id: 10, depends_on: GlobalCursor { inner: {10: 2} } }, TestEnvelope { sequence_id: 3, originator_id: 30, depends_on: GlobalCursor { inner: {10: 3, 20: 2, 30: 2} } }] }, unavailable: Mutex { data: [] }, returned: Mutex { data: [] } } }
