-
Notifications
You must be signed in to change notification settings - Fork 93
Expand file tree
/
Copy pathcausal.txt
More file actions
12 lines (12 loc) · 9.2 KB
/
Copy pathcausal.txt
File metadata and controls
12 lines (12 loc) · 9.2 KB
1
2
3
4
5
6
7
8
9
10
11
12
# 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 482a9860cc0bd87984e25141e258ed3dd0a46526ab2987bed337f2a82ac232f8 # shrinks to mut envelopes = [TestEnvelope { cursor: Cursor { originator_id: 10, sequence_id: 1 }, depends_on: GlobalCursor { inner: {10: 1} } }, TestEnvelope { cursor: Cursor { originator_id: 40, sequence_id: 1 }, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { cursor: Cursor { originator_id: 10, sequence_id: 2 }, depends_on: GlobalCursor { inner: {40: 1} } }, TestEnvelope { cursor: Cursor { originator_id: 40, sequence_id: 2 }, depends_on: GlobalCursor { inner: {10: 2, 40: 1} } }, TestEnvelope { cursor: Cursor { originator_id: 30, sequence_id: 1 }, depends_on: GlobalCursor { inner: {40: 2, 10: 2} } }, TestEnvelope { cursor: Cursor { originator_id: 20, sequence_id: 1 }, depends_on: GlobalCursor { inner: {10: 1, 30: 1, 40: 2} } }, TestEnvelope { cursor: Cursor { originator_id: 40, sequence_id: 3 }, depends_on: GlobalCursor { inner: {40: 2, 10: 2} } }, TestEnvelope { cursor: Cursor { originator_id: 10, sequence_id: 3 }, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { cursor: Cursor { originator_id: 20, sequence_id: 1 }, depends_on: GlobalCursor { inner: {10: 3} } }, TestEnvelope { cursor: Cursor { originator_id: 20, sequence_id: 1 }, depends_on: GlobalCursor { inner: {10: 3, 40: 3, 20: 1, 30: 1} } }]
cc ef7e3e08b816b5d5754da2da39332f27798cedd3a49cd782a8f74ef59512b093 # shrinks to mut env = EnvelopesWithMissing { missing: [TestEnvelope { cursor: Cursor { originator_id: 20, sequence_id: 1 }, depends_on: GlobalCursor { inner: {10: 2, 40: 1} } }], envelopes: [TestEnvelope { cursor: Cursor { originator_id: 20, sequence_id: 1 }, depends_on: GlobalCursor { inner: {10: 2, 40: 1} } }] }
cc 6f3ddf561ffc8eaf9cbef3bd127263538efbc1729b599fa72a7e399d799e23fc # shrinks to mut envelopes = EnvelopesWithMissing { removed: [TestEnvelope { cursor: Cursor { originator_id: 10, sequence_id: 1 }, depends_on: GlobalCursor { inner: {10: 1} } }, TestEnvelope { cursor: Cursor { originator_id: 30, sequence_id: 1 }, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { cursor: Cursor { originator_id: 40, sequence_id: 1 }, depends_on: GlobalCursor { inner: {} } }], envelopes: [TestEnvelope { cursor: Cursor { originator_id: 10, sequence_id: 2 }, depends_on: GlobalCursor { inner: {40: 1, 10: 1, 30: 1} } }, TestEnvelope { cursor: Cursor { originator_id: 30, sequence_id: 2 }, depends_on: GlobalCursor { inner: {30: 1, 10: 1} } }, TestEnvelope { cursor: Cursor { originator_id: 30, sequence_id: 2 }, depends_on: GlobalCursor { inner: {10: 1, 40: 1} } }, TestEnvelope { cursor: Cursor { originator_id: 40, sequence_id: 2 }, depends_on: GlobalCursor { inner: {10: 2, 40: 1, 30: 2} } }, TestEnvelope { cursor: Cursor { originator_id: 20, sequence_id: 1 }, depends_on: GlobalCursor { inner: {30: 2, 10: 2, 40: 2} } }, TestEnvelope { cursor: Cursor { originator_id: 40, sequence_id: 3 }, depends_on: GlobalCursor { inner: {10: 2, 30: 1, 20: 1, 40: 1} } }, TestEnvelope { cursor: Cursor { originator_id: 30, sequence_id: 3 }, depends_on: GlobalCursor { inner: {30: 2, 20: 1, 10: 2, 40: 2} } }] }
cc d3aa9570c1634dda88771dd96b3bd9ecc3667df1b1202ab686ebe1e49d02e7f0 # shrinks to mut envelopes = EnvelopesWithMissing { removed: [TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 10 }, depends_on: GlobalCursor { inner: {10: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 40 }, depends_on: GlobalCursor { inner: {} } }], envelopes: [TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 10 }, depends_on: GlobalCursor { inner: {10: 1, 40: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 20 }, depends_on: GlobalCursor { inner: {40: 1, 10: 2} } }, TestEnvelope { cursor: Cursor { sequence_id: 3, originator_id: 10 }, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { cursor: Cursor { sequence_id: 3, originator_id: 10 }, depends_on: GlobalCursor { inner: {10: 2, 20: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 20 }, depends_on: GlobalCursor { inner: {40: 1, 10: 3, 20: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 4, originator_id: 10 }, depends_on: GlobalCursor { inner: {40: 1, 20: 2} } }, TestEnvelope { cursor: Cursor { sequence_id: 3, originator_id: 20 }, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { cursor: Cursor { sequence_id: 4, originator_id: 10 }, depends_on: GlobalCursor { inner: {20: 3} } }], original: [TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 10 }, depends_on: GlobalCursor { inner: {10: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 40 }, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 10 }, depends_on: GlobalCursor { inner: {10: 1, 40: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 20 }, depends_on: GlobalCursor { inner: {40: 1, 10: 2} } }, TestEnvelope { cursor: Cursor { sequence_id: 3, originator_id: 10 }, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { cursor: Cursor { sequence_id: 3, originator_id: 10 }, depends_on: GlobalCursor { inner: {10: 2, 20: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 20 }, depends_on: GlobalCursor { inner: {40: 1, 10: 3, 20: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 4, originator_id: 10 }, depends_on: GlobalCursor { inner: {40: 1, 20: 2} } }, TestEnvelope { cursor: Cursor { sequence_id: 3, originator_id: 20 }, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { cursor: Cursor { sequence_id: 4, originator_id: 10 }, depends_on: GlobalCursor { inner: {20: 3} } }] }
cc a7823ae07a99a89f88e8382b6515351fd82e6c5fad881286950445e178d87009 # shrinks to mut envelopes = EnvelopesWithMissing { removed: [TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 10 }, depends_on: GlobalCursor { inner: {40: 1} } }], envelopes: [TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 40 }, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 10 }, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 30 }, depends_on: GlobalCursor { inner: {10: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 3, originator_id: 10 }, depends_on: GlobalCursor { inner: {10: 2, 30: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 4, originator_id: 10 }, depends_on: GlobalCursor { inner: {40: 1, 10: 3, 30: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 20 }, depends_on: GlobalCursor { inner: {40: 1, 10: 4} } }, TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 20 }, depends_on: GlobalCursor { inner: {10: 4, 30: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 30 }, depends_on: GlobalCursor { inner: {20: 2, 10: 4} } }], original: [TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 40 }, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 10 }, depends_on: GlobalCursor { inner: {40: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 10 }, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 30 }, depends_on: GlobalCursor { inner: {10: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 3, originator_id: 10 }, depends_on: GlobalCursor { inner: {10: 2, 30: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 4, originator_id: 10 }, depends_on: GlobalCursor { inner: {40: 1, 10: 3, 30: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 20 }, depends_on: GlobalCursor { inner: {40: 1, 10: 4} } }, TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 20 }, depends_on: GlobalCursor { inner: {10: 4, 30: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 30 }, depends_on: GlobalCursor { inner: {20: 2, 10: 4} } }] }
cc 74bdcdf7b3791b00386579747f51d6767fb40b8b4578910bd844a4eec08af6b4 # shrinks to mut envelopes = EnvelopesWithMissing { removed: [TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 10 }, depends_on: GlobalCursor { inner: {20: 1, 40: 2} } }], envelopes: [TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 30 }, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 40 }, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 40 }, depends_on: GlobalCursor { inner: {40: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 30 }, depends_on: GlobalCursor { inner: {30: 1, 40: 1} } }, TestEnvelope { cursor: Cursor { sequence_id: 1, originator_id: 20 }, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { cursor: Cursor { sequence_id: 2, originator_id: 10 }, depends_on: GlobalCursor { inner: {10: 1, 40: 2, 20: 1, 30: 2} } }, TestEnvelope { cursor: Cursor { sequence_id: 3, originator_id: 10 }, depends_on: GlobalCursor { inner: {} } }, TestEnvelope { cursor: Cursor { sequence_id: 4, originator_id: 10 }, depends_on: GlobalCursor { inner: {10: 2} } }] }