# 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 into source control so that
# everyone who runs the test benefits from these saved cases.
cc e1f1bcb464e296542db2d646fff85a885f7ac491ccaca7a9ff1a339bafe4b954 # shrinks to config = DiskBufferConfig { data_dir: "/tmp/vector-disk-v2-model", max_buffer_size: 64, max_data_file_size: 2, max_record_size: 34498, write_buffer_size: 61440, flush_interval: 10s, filesystem: TestFilesystem { inner: Mutex { data: FilesystemInner { files: {} } } } }, actions = [WriteRecord(Record { id: 0, size: 0, event_count: 1 }), WriteRecord(Record { id: 0, size: 0, event_count: 1 }), ReadRecord, ReadRecord]
cc 5d5d1f2f1087a02c0f76ed9506cba3e40d0c300340b0a33e719d8bb3e0bc8b1e # shrinks to config = DiskBufferConfig { data_dir: "/tmp/vector-disk-v2-model", max_buffer_size: 64, max_data_file_size: 2, max_record_size: 62345, write_buffer_size: 61440, flush_interval: 10s, filesystem: TestFilesystem { inner: Mutex { data: FilesystemInner { files: {} } } } }, actions = [WriteRecord(Record { id: 0, size: 61385, event_count: 1 }), ReadRecord, AcknowledgeRead(1), ReadRecord]
cc 80077436fe364525dcab4e5878d617db14fae6e23a7e79f820ed592ce4614a8d # shrinks to config = DiskBufferConfig { data_dir: "/tmp/vector-disk-v2-model", max_buffer_size: 22040, max_data_file_size: 22040, max_record_size: 12465, write_buffer_size: 61440, flush_interval: 10s, filesystem: TestFilesystem { inner: Mutex { data: FilesystemInner { files: {} } } } }, actions = [WriteRecord(Record { id: 0, size: 9469, event_count: 1 }), WriteRecord(Record { id: 0, size: 12453, event_count: 1 }), FlushWrites, FlushWrites, WriteRecord(Record { id: 0, size: 0, event_count: 1 })]
cc 59a105fb23544ce39ad8e81f86628618eca77fb34143ff0c4fdd15640ad37705 # shrinks to config = DiskBufferConfig { data_dir: "/tmp/vector-disk-v2-model", max_buffer_size: 154624, max_data_file_size: 2, max_record_size: 42615, write_buffer_size: 61440, flush_interval: 10s, filesystem: TestFilesystem { inner: Mutex { data: FilesystemInner { files: {} } } } }, actions = [FlushWrites, WriteRecord(Record { id: 0, size: 0, event_count: 1 }), WriteRecord(Record { id: 0, size: 0, event_count: 1 }), WriteRecord(Record { id: 0, size: 0, event_count: 1 }), WriteRecord(Record { id: 0, size: 0, event_count: 1 }), WriteRecord(Record { id: 0, size: 0, event_count: 1 })]
cc 4b521a9a467f44e9cbc30d830624c03605522f0310e3e972409ac7f0c42d20cd # shrinks to config = DiskBufferConfig { data_dir: "/tmp/vector-disk-v2-model", max_buffer_size: 64, max_data_file_size: 2, max_record_size: 1714, write_buffer_size: 61440, flush_interval: 10s, filesystem: TestFilesystem { inner: Mutex { data: FilesystemInner { files: {} } } } }, actions = [WriteRecord(Record { id: 0, size: 5, event_count: 1 }), WriteRecord(Record { id: 0, size: 0, event_count: 1 }), WriteRecord(Record { id: 0, size: 0, event_count: 1 })]
cc 99f23327ef7e759a9cb6424a3fa3495aaf4f1c7ef23145b5f5d72eb6cc5e0173 # shrinks to config = DiskBufferConfig { data_dir: "/tmp/vector-disk-v2-model", max_buffer_size: 64, max_data_file_size: 2, max_record_size: 61398, write_buffer_size: 61440, flush_interval: 10s, filesystem: TestFilesystem { inner: Mutex { data: FilesystemInner { files: {} } } } }, actions = [WriteRecord(Record { id: 0, size: 61381, event_count: 1 })]
cc 54be1ee096dc5169013a1cd8a114f23c5aca7a209a663d783c7f74b4c4ff4746 # shrinks to mut config = DiskBufferConfig { data_dir: "/tmp/vector-disk-v2-model", max_buffer_size: 153516, max_data_file_size: 14228, max_record_size: 14214, write_buffer_size: 61440, flush_interval: 10s, filesystem: TestFilesystem { inner: Mutex { data: FilesystemInner { files: {} } } } }, actions = [WriteRecord(Record { id: 0, size: 14163, event_count: 1 })]
cc d812fdee8da4aae904579f08cadae1b585944da58040cad4f18544a87faf240e # shrinks to mut config = DiskBufferConfig { data_dir: "/tmp/vector-disk-v2-model", max_buffer_size: 53736, max_data_file_size: 46808, max_record_size: 28912, write_buffer_size: 61440, flush_interval: 10s, filesystem: TestFilesystem { files: {} } }, actions = [WriteRecord(Record { id: 0, size: 23565, event_count: 1, aligned_len: 23632 }), WriteRecord(Record { id: 0, size: 18445, event_count: 1, aligned_len: 18512 }), WriteRecord(Record { id: 0, size: 11557, event_count: 1, aligned_len: 11616 })]
cc b08fb47ac81e9148d8dc6a4d3332e92c21751685be9da9bd0c5d962ad7436285 # shrinks to mut config = DiskBufferConfig { data_dir: "/tmp/vector-disk-v2-model", max_buffer_size: 69602, max_data_file_size: 2462, max_record_size: 2450, write_buffer_size: 61440, flush_interval: 10s, filesystem: TestFilesystem { files: {} } }, actions = [WriteRecord(Record { id: 0, size: 2389, event_count: 1, archived_len: 2464 })]
