# 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 da6bb0f54349e77bd48957c499fde752709f4a35ac2c121c0042f8d124609bbe # shrinks to story_batches = [[PeerSuccessfullyConnected { peer_id: "127.0.0.1:1000" }, PeerBitfieldReceived { peer_id: "127.0.0.1:1000", bitfield: [] }, PeerUnchoked { peer_id: "127.0.0.1:1000" }, PeerHavePiece { peer_id: "127.0.0.1:1000", piece_index: 0 }, IncomingBlock { peer_id: "127.0.0.1:1000", piece_index: 0, block_offset: 0, data: [1, 2, 3, 4] }, PieceVerified { peer_id: "127.0.0.1:1000", piece_index: 0, valid: true, data: [1, 2, 3, 4] }]]
cc 5ccb0e490ed78073b4a2605ee0094a4393b60726942b0338fa53bf3437255e25 # shrinks to story_batches = [[PeerSuccessfullyConnected { peer_id: "127.0.0.1:1000" }, PeerBitfieldReceived { peer_id: "127.0.0.1:1000", bitfield: [255, 255, 255, 255] }, PeerUnchoked { peer_id: "127.0.0.1:1000" }], [Delete], [PeerSuccessfullyConnected { peer_id: "127.0.0.1:1000" }, PeerBitfieldReceived { peer_id: "127.0.0.1:1000", bitfield: [255, 255, 255, 255] }, PeerUnchoked { peer_id: "127.0.0.1:1000" }]]
cc ee24e9f7c1210c774ca0814bad27f03ced9278cc6d1e3bc3bcaa3ce07a056309 # shrinks to story_batches = [[PeerSuccessfullyConnected { peer_id: "127.0.0.1:1001" }, PeerBitfieldReceived { peer_id: "127.0.0.1:1001", bitfield: [] }, PeerHavePiece { peer_id: "127.0.0.1:1001", piece_index: 0 }, PeerUnchoked { peer_id: "127.0.0.1:1001" }, IncomingBlock { peer_id: "127.0.0.1:1001", piece_index: 0, block_offset: 0, data: [1, 2, 3, 4] }, PieceVerified { peer_id: "127.0.0.1:1001", piece_index: 0, valid: true, data: [1, 2, 3, 4] }, PieceWrittenToDisk { peer_id: "127.0.0.1:1001", piece_index: 0 }, PeerSuccessfullyConnected { peer_id: "127.0.0.1:2002" }, PeerInterested { peer_id: "127.0.0.1:2002" }, PeerUnchoked { peer_id: "127.0.0.1:2002" }, RequestUpload { peer_id: "127.0.0.1:2002", piece_index: 0, block_offset: 0, length: 16384 }, BlockSentToPeer { peer_id: "127.0.0.1:2002", byte_count: 16384 }], [Delete]]
cc e29bb11a13a0ccbcd3eecff71e147bbc7c9d90624dfa1e9d98c5befa46a87b72 # shrinks to story_batches = [[PeerSuccessfullyConnected { peer_id: "127.0.0.1:1002" }, PeerBitfieldReceived { peer_id: "127.0.0.1:1002", bitfield: [255, 255, 255, 255] }, PeerUnchoked { peer_id: "127.0.0.1:1002" }], [PeerSuccessfullyConnected { peer_id: "127.0.0.1:1001" }, PeerBitfieldReceived { peer_id: "127.0.0.1:1001", bitfield: [] }, PeerHavePiece { peer_id: "127.0.0.1:1001", piece_index: 1 }, PeerUnchoked { peer_id: "127.0.0.1:1001" }, IncomingBlock { peer_id: "127.0.0.1:1001", piece_index: 1, block_offset: 0, data: [1, 2, 3, 4] }, PieceVerified { peer_id: "127.0.0.1:1001", piece_index: 1, valid: true, data: [1, 2, 3, 4] }, PieceWrittenToDisk { peer_id: "127.0.0.1:1001", piece_index: 1 }, PeerSuccessfullyConnected { peer_id: "127.0.0.1:2002" }, PeerInterested { peer_id: "127.0.0.1:2002" }, PeerUnchoked { peer_id: "127.0.0.1:2002" }, RequestUpload { peer_id: "127.0.0.1:2002", piece_index: 1, block_offset: 0, length: 16384 }, BlockSentToPeer { peer_id: "127.0.0.1:2002", byte_count: 16384 }], [PeerSuccessfullyConnected { peer_id: "127.0.0.1:1000" }, PeerBitfieldReceived { peer_id: "127.0.0.1:1000", bitfield: [255, 255, 255, 255] }, PeerUnchoked { peer_id: "127.0.0.1:1000" }], [ValidationComplete { completed_pieces: [2] }]]
cc a003ff730f1115fc499f8090bd341771adf68b384dccac4ab510d60f6bdbb85a # shrinks to story_batches = [[BlockSentToPeer { peer_id: "", byte_count: 9620951961613753619 }], [BlockSentToPeer { peer_id: "", byte_count: 8825792112095797997 }]]
cc 12fba5a4f7704a83d916db4e5c69cce7a1eb8e77be33fa4a0ead76b1b22aa8f2 # shrinks to story_batches = [[BlockSentToPeer { peer_id: "", byte_count: 2305843009213693952 }], [Tick { dt_ms: 100 }]]
cc f2b48351eb37b513434bc226433aef653b504cb8341b7971ca4948c76c6f2e5f # shrinks to story_batches = [[PeerSuccessfullyConnected { peer_id: "127.0.0.1:1000" }, PeerBitfieldReceived { peer_id: "127.0.0.1:1000", bitfield: [] }, PeerHavePiece { peer_id: "127.0.0.1:1000", piece_index: 6 }, PeerUnchoked { peer_id: "127.0.0.1:1000" }, IncomingBlock { peer_id: "127.0.0.1:1000", piece_index: 6, block_offset: 0, data: [1, 2, 3, 4] }, PieceVerified { peer_id: "127.0.0.1:1000", piece_index: 6, valid: true, data: [1, 2, 3, 4] }, PieceWrittenToDisk { peer_id: "127.0.0.1:1000", piece_index: 6 }], [PeerSuccessfullyConnected { peer_id: "127.0.0.1:1001" }, PeerBitfieldReceived { peer_id: "127.0.0.1:1001", bitfield: [] }, PeerHavePiece { peer_id: "127.0.0.1:1001", piece_index: 0 }, PeerUnchoked { peer_id: "127.0.0.1:1001" }, IncomingBlock { peer_id: "127.0.0.1:1001", piece_index: 0, block_offset: 0, data: [1, 2, 3, 4] }, PieceVerified { peer_id: "127.0.0.1:1001", piece_index: 0, valid: true, data: [1, 2, 3, 4] }, PieceWrittenToDisk { peer_id: "127.0.0.1:1001", piece_index: 0 }, PeerSuccessfullyConnected { peer_id: "127.0.0.1:2002" }, PeerInterested { peer_id: "127.0.0.1:2002" }, PeerUnchoked { peer_id: "127.0.0.1:2002" }, RequestUpload { peer_id: "127.0.0.1:2002", piece_index: 0, block_offset: 0, length: 16384 }, BlockSentToPeer { peer_id: "127.0.0.1:2002", byte_count: 16384 }], [PieceWrittenToDisk { peer_id: "disk_init", piece_index: 4 }, PeerSuccessfullyConnected { peer_id: "127.0.0.1:1000" }, PeerInterested { peer_id: "127.0.0.1:1000" }, PeerUnchoked { peer_id: "127.0.0.1:1000" }, RequestUpload { peer_id: "127.0.0.1:1000", piece_index: 4, block_offset: 0, length: 16384 }, BlockSentToPeer { peer_id: "127.0.0.1:1000", byte_count: 16384 }], [PieceWrittenToDisk { peer_id: "disk_init", piece_index: 13 }, PeerSuccessfullyConnected { peer_id: "127.0.0.251:9278" }, PeerInterested { peer_id: "127.0.0.251:9278" }, PeerUnchoked { peer_id: "127.0.0.251:9278" }, RequestUpload { peer_id: "127.0.0.251:9278", piece_index: 13, block_offset: 0, length: 16384 }, BlockSentToPeer { peer_id: "127.0.0.251:9278", byte_count: 16384 }], [PeerSuccessfullyConnected { peer_id: "127.0.0.243:8270" }, PeerBitfieldReceived { peer_id: "127.0.0.243:8270", bitfield: [] }, PeerHavePiece { peer_id: "127.0.0.243:8270", piece_index: 5 }, PeerUnchoked { peer_id: "127.0.0.243:8270" }, IncomingBlock { peer_id: "127.0.0.243:8270", piece_index: 5, block_offset: 0, data: [1, 2, 3, 4] }, PieceVerified { peer_id: "127.0.0.243:8270", piece_index: 5, valid: true, data: [1, 2, 3, 4] }, PieceWrittenToDisk { peer_id: "127.0.0.243:8270", piece_index: 5 }], [PeerSuccessfullyConnected { peer_id: "127.0.0.26:3823" }, PeerBitfieldReceived { peer_id: "127.0.0.26:3823", bitfield: [] }, PeerHavePiece { peer_id: "127.0.0.26:3823", piece_index: 9 }, PeerUnchoked { peer_id: "127.0.0.26:3823" }, IncomingBlock { peer_id: "127.0.0.26:3823", piece_index: 9, block_offset: 0, data: [1, 2, 3, 4] }, PieceVerified { peer_id: "127.0.0.26:3823", piece_index: 9, valid: true, data: [1, 2, 3, 4] }, PieceWrittenToDisk { peer_id: "127.0.0.26:3823", piece_index: 9 }], [PieceWrittenToDisk { peer_id: "disk_init", piece_index: 16 }, PeerSuccessfullyConnected { peer_id: "127.0.0.27:1396" }, PeerInterested { peer_id: "127.0.0.27:1396" }, PeerUnchoked { peer_id: "127.0.0.27:1396" }, RequestUpload { peer_id: "127.0.0.27:1396", piece_index: 16, block_offset: 0, length: 16384 }, BlockSentToPeer { peer_id: "127.0.0.27:1396", byte_count: 16384 }], [PieceWrittenToDisk { peer_id: "disk_init", piece_index: 3 }, PeerSuccessfullyConnected { peer_id: "127.0.0.61:7951" }, PeerInterested { peer_id: "127.0.0.61:7951" }, PeerUnchoked { peer_id: "127.0.0.61:7951" }, RequestUpload { peer_id: "127.0.0.61:7951", piece_index: 3, block_offset: 0, length: 16384 }, BlockSentToPeer { peer_id: "127.0.0.61:7951", byte_count: 16384 }], [PeerSuccessfullyConnected { peer_id: "127.0.0.1:1001" }, PeerBitfieldReceived { peer_id: "127.0.0.1:1001", bitfield: [] }, PeerHavePiece { peer_id: "127.0.0.1:1001", piece_index: 7 }, PeerUnchoked { peer_id: "127.0.0.1:1001" }, IncomingBlock { peer_id: "127.0.0.1:1001", piece_index: 7, block_offset: 0, data: [1, 2, 3, 4] }, PieceVerified { peer_id: "127.0.0.1:1001", piece_index: 7, valid: true, data: [1, 2, 3, 4] }, PieceWrittenToDisk { peer_id: "127.0.0.1:1001", piece_index: 7 }, PeerSuccessfullyConnected { peer_id: "127.0.0.1:2002" }, PeerInterested { peer_id: "127.0.0.1:2002" }, PeerUnchoked { peer_id: "127.0.0.1:2002" }, RequestUpload { peer_id: "127.0.0.1:2002", piece_index: 7, block_offset: 0, length: 16384 }, BlockSentToPeer { peer_id: "127.0.0.1:2002", byte_count: 16384 }], [PeerSuccessfullyConnected { peer_id: "127.0.0.1:1001" }, PeerBitfieldReceived { peer_id: "127.0.0.1:1001", bitfield: [] }, PeerHavePiece { peer_id: "127.0.0.1:1001", piece_index: 8 }, PeerUnchoked { peer_id: "127.0.0.1:1001" }, IncomingBlock { peer_id: "127.0.0.1:1001", piece_index: 8, block_offset: 0, data: [1, 2, 3, 4] }, PieceVerified { peer_id: "127.0.0.1:1001", piece_index: 8, valid: true, data: [1, 2, 3, 4] }, PieceWrittenToDisk { peer_id: "127.0.0.1:1001", piece_index: 8 }, PeerSuccessfullyConnected { peer_id: "127.0.0.1:2002" }, PeerInterested { peer_id: "127.0.0.1:2002" }, PeerUnchoked { peer_id: "127.0.0.1:2002" }, RequestUpload { peer_id: "127.0.0.1:2002", piece_index: 8, block_offset: 0, length: 16384 }, BlockSentToPeer { peer_id: "127.0.0.1:2002", byte_count: 16384 }], [PeerSuccessfullyConnected { peer_id: "127.0.0.26:8491" }, PeerBitfieldReceived { peer_id: "127.0.0.26:8491", bitfield: [] }, PeerHavePiece { peer_id: "127.0.0.26:8491", piece_index: 2 }, PeerUnchoked { peer_id: "127.0.0.26:8491" }, IncomingBlock { peer_id: "127.0.0.26:8491", piece_index: 2, block_offset: 0, data: [1, 2, 3, 4] }, PieceVerified { peer_id: "127.0.0.26:8491", piece_index: 2, valid: true, data: [1, 2, 3, 4] }, PieceWrittenToDisk { peer_id: "127.0.0.26:8491", piece_index: 2 }], [PieceWrittenToDisk { peer_id: "disk_init", piece_index: 15 }, PeerSuccessfullyConnected { peer_id: "127.0.0.8:6151" }, PeerInterested { peer_id: "127.0.0.8:6151" }, PeerUnchoked { peer_id: "127.0.0.8:6151" }, RequestUpload { peer_id: "127.0.0.8:6151", piece_index: 15, block_offset: 0, length: 16384 }, BlockSentToPeer { peer_id: "127.0.0.8:6151", byte_count: 16384 }], [Delete], [PeerSuccessfullyConnected { peer_id: "127.0.0.168:1768" }, PeerBitfieldReceived { peer_id: "127.0.0.168:1768", bitfield: [] }, PeerHavePiece { peer_id: "127.0.0.168:1768", piece_index: 15 }, PeerUnchoked { peer_id: "127.0.0.168:1768" }, IncomingBlock { peer_id: "127.0.0.168:1768", piece_index: 15, block_offset: 0, data: [1, 2, 3, 4] }, PieceVerified { peer_id: "127.0.0.168:1768", piece_index: 15, valid: true, data: [1, 2, 3, 4] }, PieceWrittenToDisk { peer_id: "127.0.0.168:1768", piece_index: 15 }], [PieceWrittenToDisk { peer_id: "disk_init", piece_index: 5 }, PeerSuccessfullyConnected { peer_id: "127.0.0.11:4065" }, PeerInterested { peer_id: "127.0.0.11:4065" }, PeerUnchoked { peer_id: "127.0.0.11:4065" }, RequestUpload { peer_id: "127.0.0.11:4065", piece_index: 5, block_offset: 0, length: 16384 }, BlockSentToPeer { peer_id: "127.0.0.11:4065", byte_count: 16384 }], [PeerSuccessfullyConnected { peer_id: "127.0.0.197:6506" }, PeerBitfieldReceived { peer_id: "127.0.0.197:6506", bitfield: [] }, PeerHavePiece { peer_id: "127.0.0.197:6506", piece_index: 3 }, PeerUnchoked { peer_id: "127.0.0.197:6506" }, IncomingBlock { peer_id: "127.0.0.197:6506", piece_index: 3, block_offset: 0, data: [1, 2, 3, 4] }, PieceVerified { peer_id: "127.0.0.197:6506", piece_index: 3, valid: true, data: [1, 2, 3, 4] }, PieceWrittenToDisk { peer_id: "127.0.0.197:6506", piece_index: 3 }], [PeerSuccessfullyConnected { peer_id: "127.0.0.1:1001" }, PeerBitfieldReceived { peer_id: "127.0.0.1:1001", bitfield: [] }, PeerHavePiece { peer_id: "127.0.0.1:1001", piece_index: 8 }, PeerUnchoked { peer_id: "127.0.0.1:1001" }, IncomingBlock { peer_id: "127.0.0.1:1001", piece_index: 8, block_offset: 0, data: [1, 2, 3, 4] }, PieceVerified { peer_id: "127.0.0.1:1001", piece_index: 8, valid: true, data: [1, 2, 3, 4] }, PieceWrittenToDisk { peer_id: "127.0.0.1:1001", piece_index: 8 }, PeerSuccessfullyConnected { peer_id: "127.0.0.1:2002" }, PeerInterested { peer_id: "127.0.0.1:2002" }, PeerUnchoked { peer_id: "127.0.0.1:2002" }, RequestUpload { peer_id: "127.0.0.1:2002", piece_index: 8, block_offset: 0, length: 16384 }, BlockSentToPeer { peer_id: "127.0.0.1:2002", byte_count: 16384 }], [PieceWrittenToDisk { peer_id: "disk_init", piece_index: 7 }, PeerSuccessfullyConnected { peer_id: "127.0.0.36:2142" }, PeerInterested { peer_id: "127.0.0.36:2142" }, PeerUnchoked { peer_id: "127.0.0.36:2142" }, RequestUpload { peer_id: "127.0.0.36:2142", piece_index: 7, block_offset: 0, length: 16384 }, BlockSentToPeer { peer_id: "127.0.0.36:2142", byte_count: 16384 }], [PeerSuccessfullyConnected { peer_id: "127.0.0.172:6739" }, PeerBitfieldReceived { peer_id: "127.0.0.172:6739", bitfield: [] }, PeerHavePiece { peer_id: "127.0.0.172:6739", piece_index: 4 }, PeerUnchoked { peer_id: "127.0.0.172:6739" }, IncomingBlock { peer_id: "127.0.0.172:6739", piece_index: 4, block_offset: 0, data: [1, 2, 3, 4] }, PieceVerified { peer_id: "127.0.0.172:6739", piece_index: 4, valid: true, data: [1, 2, 3, 4] }, PieceWrittenToDisk { peer_id: "127.0.0.172:6739", piece_index: 4 }], [PieceWrittenToDisk { peer_id: "disk_init", piece_index: 2 }, PeerSuccessfullyConnected { peer_id: "127.0.0.104:4593" }, PeerInterested { peer_id: "127.0.0.104:4593" }, PeerUnchoked { peer_id: "127.0.0.104:4593" }, RequestUpload { peer_id: "127.0.0.104:4593", piece_index: 2, block_offset: 0, length: 16384 }, BlockSentToPeer { peer_id: "127.0.0.104:4593", byte_count: 16384 }], [PeerSuccessfullyConnected { peer_id: "127.0.0.217:8056" }, PeerBitfieldReceived { peer_id: "127.0.0.217:8056", bitfield: [] }, PeerHavePiece { peer_id: "127.0.0.217:8056", piece_index: 18 }, PeerUnchoked { peer_id: "127.0.0.217:8056" }, IncomingBlock { peer_id: "127.0.0.217:8056", piece_index: 18, block_offset: 0, data: [1, 2, 3, 4] }, PieceVerified { peer_id: "127.0.0.217:8056", piece_index: 18, valid: true, data: [1, 2, 3, 4] }, PieceWrittenToDisk { peer_id: "127.0.0.217:8056", piece_index: 18 }], [PeerSuccessfullyConnected { peer_id: "127.0.0.1:1001" }, PeerBitfieldReceived { peer_id: "127.0.0.1:1001", bitfield: [] }, PeerHavePiece { peer_id: "127.0.0.1:1001", piece_index: 10 }, PeerUnchoked { peer_id: "127.0.0.1:1001" }, IncomingBlock { peer_id: "127.0.0.1:1001", piece_index: 10, block_offset: 0, data: [1, 2, 3, 4] }, PieceVerified { peer_id: "127.0.0.1:1001", piece_index: 10, valid: true, data: [1, 2, 3, 4] }, PieceWrittenToDisk { peer_id: "127.0.0.1:1001", piece_index: 10 }, PeerSuccessfullyConnected { peer_id: "127.0.0.1:2002" }, PeerInterested { peer_id: "127.0.0.1:2002" }, PeerUnchoked { peer_id: "127.0.0.1:2002" }, RequestUpload { peer_id: "127.0.0.1:2002", piece_index: 10, block_offset: 0, length: 16384 }, BlockSentToPeer { peer_id: "127.0.0.1:2002", byte_count: 16384 }]]
cc 12a5ab0e66a959140345a40ff95a9deb194283f2bf73fecb21a996a835b9a178 # shrinks to mut initial_state = TorrentState { info_hash: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], torrent: Some(Torrent { info_dict_bencode: [], info: Info { piece_length: 16384, pieces: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], private: None, files: [], name: "test_torrent", length: 327680, md5sum: None }, announce: Some("http://tracker.test"), announce_list: None, creation_date: None, comment: None, created_by: None, encoding: None }), torrent_metadata_length: None, is_paused: false, torrent_status: Standard, torrent_validation_status: false, last_activity: Initializing, has_made_first_connection: false, session_total_uploaded: 0, session_total_downloaded: 0, bytes_downloaded_in_interval: 0, bytes_uploaded_in_interval: 0, total_dl_prev_avg_ema: 0.0, total_ul_prev_avg_ema: 0.0, number_of_successfully_connected_peers: 1, peers: {"": PeerState { ip_port: "", peer_id: [], bitfield: [true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false], am_choking: Choke, peer_choking: Unchoke, peer_tx: Sender { chan: Tx { inner: Chan { tx: Tx { block_tail: 0x159008200, tail_position: 0 }, semaphore: Semaphore { semaphore: Semaphore { permits: 1 }, bound: 1 }, rx_waker: AtomicWaker, tx_count: 1, rx_fields: "..." } } }, am_interested: true, pending_requests: {}, peer_is_interested_in_us: true, bytes_downloaded_from_peer: 0, bytes_uploaded_to_peer: 0, bytes_downloaded_in_tick: 0, bytes_uploaded_in_tick: 0, prev_avg_dl_ema: 0.0, prev_avg_ul_ema: 0.0, total_bytes_downloaded: 0, total_bytes_uploaded: 0, download_speed_bps: 0, upload_speed_bps: 0, upload_slots_semaphore: Semaphore { ll_sem: Semaphore { permits: 4 } }, last_action: SuccessfullyConnected(""), action_counts: {}, created_at: Instant { tv_sec: 303530, tv_nsec: 388778958 } }}, piece_manager: PieceManager { bitfield: [Need, Need, Need, Need, Need, Need, Need, Need, Need, Need, Need, Need, Need, Need, Need, Need, Need, Need, Need, Need], need_queue: [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], pending_queue: {}, piece_rarity: {}, pieces_remaining: 20, piece_assemblers: {} }, trackers: {}, timed_out_peers: {}, last_known_peers: {}, optimistic_unchoke_timer: None, validation_pieces_found: 0, now: Instant { tv_sec: 303530, tv_nsec: 388778958 } }, actions = [ValidationComplete { completed_pieces: [] }, ValidationComplete { completed_pieces: [] }]
cc d5e955cf0cd34d349a1d31432203c411555424f1f426f28ddca8677822e3845d # shrinks to (initial_state, clean_actions, tracker) = (TorrentModel { connected_peers: {}, total_pieces: 5, paused: false, status: AwaitingMetadata, has_metadata: false }, [MetadataReceived { torrent: Torrent { info_dict_bencode: [], info: Info { piece_length: 16384, pieces: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], private: None, files: [], name: "test_torrent", length: 81920, md5sum: None }, announce: Some("http://tracker.test"), announce_list: None, creation_date: None, comment: None, created_by: None, encoding: None }, metadata_length: 81920 }, FatalError, Resume, Delete, FatalError, TorrentManagerInit { is_paused: false, announce_immediately: true }, Tick { dt_ms: 1000 }, Delete, Delete], None), seed = 5874504461754445486
cc bec4dfb400d34c856ef601367a9b556ac36d4481518acf130c7a9fa51ae3cfb2 # shrinks to (initial_state, clean_actions, tracker) = (TorrentModel { connected_peers: {}, total_pieces: 5, paused: false, status: AwaitingMetadata, has_metadata: false }, [TorrentManagerInit { is_paused: true, announce_immediately: false }, TorrentManagerInit { is_paused: false, announce_immediately: true }, Pause, Shutdown, Resume, Cleanup, PeerSuccessfullyConnected { peer_id: "\"ᝣ$`H%*eѨHq/fRղ𞸚𖡮\u{b4d}�ê<g\u{e3a}𞹔\u{1a5e}{᧗*\u{1183a}" }, MetadataReceived { torrent: Torrent { info_dict_bencode: [], info: Info { piece_length: 16384, pieces: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], private: None, files: [], name: "test_torrent", length: 81920, md5sum: None }, announce: Some("http://tracker.test"), announce_list: None, creation_date: None, comment: None, created_by: None, encoding: None }, metadata_length: 81920 }, Cleanup, ValidationComplete { completed_pieces: [] }, FatalError, Shutdown, Tick { dt_ms: 1000 }, Resume, Shutdown, CheckCompletion, TorrentManagerInit { is_paused: false, announce_immediately: true }, PeerSuccessfullyConnected { peer_id: "র�𝔩r𐠴6o¥.Õh:𖬅\"\u{c04}" }, CheckCompletion], None), fault_entropy = [8, 21, 55, 90, 213, 57, 38, 0, 68, 112, 41, 110, 92, 95, 139, 39, 223, 169, 153, 37, 155, 199, 58, 222, 162, 41, 36, 86, 192, 212, 59, 80, 253, 173, 76, 158, 152, 146, 240, 37, 200, 54, 126, 224, 92, 69, 227, 241, 4, 224]
cc fa9a91b138341811848bc061e5273643800106514a0accfac370d7f4806f6109 # shrinks to (initial_state, clean_actions, _) = (TorrentModel { connected_peers: {}, total_pieces: 5, paused: false, status: AwaitingMetadata, has_metadata: false }, [], None), seed = 6472535186177948227
cc ee38ac70bed64da279181e07a7f4ccb6f7b6c01c479f0e5925f1f0f6d4e8b051 # shrinks to (initial_state, transitions, tracker) = (TorrentModel { connected_peers: {}, total_pieces: 5, paused: false, status: Validating, has_metadata: true }, [ValidationComplete { completed_pieces: [] }, PieceWrittenToDisk { peer_id: "ꡩ*<ðZ%dDꟑ𑃥𛲁𝼞\u{16af2}�d🢁ᾇ\\`𑾰ⶻj5", piece_index: 0 }, PieceWrittenToDisk { peer_id: "ꡩ*<ðZ%dDꟑ𑃥𛲁𝼞\u{16af2}�d🢁ᾇ\\`𑾰ⶻj5", piece_index: 3 }, PieceWrittenToDisk { peer_id: "ꡩ*<ðZ%dDꟑ𑃥𛲁𝼞\u{16af2}�d🢁ᾇ\\`𑾰ⶻj5", piece_index: 2 }, PieceWrittenToDisk { peer_id: "ꡩ*<ðZ%dDꟑ𑃥𛲁𝼞\u{16af2}�d🢁ᾇ\\`𑾰ⶻj5", piece_index: 1 }, PieceWrittenToDisk { peer_id: "ꡩ*<ðZ%dDꟑ𑃥𛲁𝼞\u{16af2}�d🢁ᾇ\\`𑾰ⶻj5", piece_index: 4 }], None)
cc 7c791722e2e6ac9aa54aa84a1d8adf02dfd4170cf05049e15bed9516ed842a10 # shrinks to (initial_state, clean_actions, _) = (TorrentModel { connected_peers: {}, total_pieces: 5, paused: false, status: Validating, has_metadata: true }, [], None), fault_entropy = [18, 14, 189, 180, 164, 41, 137, 170, 16, 247, 39, 122, 3, 234, 145, 10, 211, 12, 230, 138, 168, 110, 72, 128, 242, 196, 187, 81, 99, 152, 193, 237, 5, 170, 218, 181, 58, 246, 87, 206, 52, 102, 203, 33, 201, 210, 204, 241, 66, 93]
cc 12ea2805dd0c4791995faa23e481cbeffb8146e47164a29289667c86e7e35c9c # shrinks to (initial_state, clean_actions, _) = (TorrentModel { connected_peers: {}, total_pieces: 5, paused: false, status: AwaitingMetadata, has_metadata: false, downloaded_pieces: {} }, [], None), seed = 12615900977442501377
cc 20fd04dfec38a38bc4758d0f876edce5f2c68ffeadeae248efad4be27a9b67b1 # shrinks to (initial_state, transitions, tracker) = (TorrentModel { connected_peers: {}, total_pieces: 5, paused: false, status: AwaitingMetadata, has_metadata: false, downloaded_pieces: {} }, [PeerSuccessfullyConnected { peer_id: "🕴᧓᠒N$?、=𐒧WlѨ𖵰𞓛Ѩ%🕴�𐬈Yn-" }, MetadataReceived { torrent: Torrent { info_dict_bencode: [], info: Info { piece_length: 16384, pieces: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], private: None, files: [], name: "test_torrent", length: 81920, md5sum: None }, announce: Some("http://tracker.test"), announce_list: None, creation_date: None, comment: None, created_by: None, encoding: None }, metadata_length: 81920 }, PeerUnchoked { peer_id: "🕴᧓᠒N$?、=𐒧WlѨ𖵰𞓛Ѩ%🕴�𐬈Yn-" }, ValidationComplete { completed_pieces: [0, 2, 3, 1] }, PeerHavePiece { peer_id: "🕴᧓᠒N$?、=𐒧WlѨ𖵰𞓛Ѩ%🕴�𐬈Yn-", piece_index: 4 }], None)
cc 6a40054680b725ecbc8af7c721023ea4a0c7f3118c7e4a89b061b26c34175b51 # shrinks to (initial_state, clean_actions, _) = (TorrentModel { connected_peers: {}, total_pieces: 5, paused: false, status: AwaitingMetadata, has_metadata: false, downloaded_pieces: {} }, [], None), fault_entropy = [241, 234, 80, 16, 41, 69, 91, 60, 161, 221, 208, 238, 102, 218, 91, 51, 181, 118, 230, 46, 18, 0, 213, 175, 20, 199, 25, 149, 202, 114, 141, 56, 111, 191, 201, 39, 232, 30, 177, 233, 116, 19, 84, 85, 92, 49, 122, 165, 213, 76]
cc 2ebbabd2c8995cb2eb586104f9428332fd39bdc8f4c310951fa07eeee1f07a05 # shrinks to (initial_state, clean_actions, _) = (TorrentModel { connected_peers: {}, total_pieces: 5, paused: false, status: AwaitingMetadata, has_metadata: false, downloaded_pieces: {} }, [], None), seed = 17779585597615040711
cc 74104623c839027564c431aaf87de0bb670b74992868c107431261ac691d1bbf # shrinks to (initial_state, clean_actions, _) = (TorrentModel { connected_peers: {}, total_pieces: 5, paused: false, status: AwaitingMetadata, has_metadata: false, downloaded_pieces: {} }, [], None), fault_entropy = [116, 219, 67, 13, 12, 139, 13, 208, 236, 106, 179, 56, 90, 35, 86, 221, 229, 200, 126, 53, 105, 4, 103, 206, 242, 50, 11, 226, 182, 14, 229, 13, 186, 61, 23, 218, 211, 147, 244, 35, 19, 67, 124, 175, 161, 17, 85, 71, 122, 251]
cc 8fba921eaf0a0b05e887cf6acce49b79efb8ebf4d24e46fb3082bb4fef2671c8 # shrinks to (initial_state, clean_actions, _) = (TorrentModel { connected_peers: {}, total_pieces: 5, paused: false, status: Validating, has_metadata: true, downloaded_pieces: {} }, [], None), seed = 15950463063019693814
cc b24f6ad0c06f48654de11d0475f7104bd25d269b1236f64256f1f3f361b8dd7c # shrinks to mut initial_state = TorrentState { info_hash: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], torrent: Some(Torrent { info_dict_bencode: [], info: Info { piece_length: 16384, pieces: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], private: None, files: [], name: "test_torrent", length: 327680, md5sum: None }, announce: Some("http://tracker.test"), announce_list: None, url_list: None, creation_date: None, comment: None, created_by: None, encoding: None }), torrent_metadata_length: None, is_paused: false, torrent_status: Standard, torrent_validation_status: false, last_activity: Initializing, has_made_first_connection: false, session_total_uploaded: 0, session_total_downloaded: 0, bytes_downloaded_in_interval: 0, bytes_uploaded_in_interval: 0, total_dl_prev_avg_ema: 0.0, total_ul_prev_avg_ema: 0.0, number_of_successfully_connected_peers: 1, peers: {"": PeerState { ip_port: "", peer_id: [], bitfield: [false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false], am_choking: Choke, peer_choking: Unchoke, peer_tx: Sender { chan: Tx { inner: Chan { tx: Tx { block_tail: 0x13400a800, tail_position: 0 }, semaphore: Semaphore { semaphore: Semaphore { permits: 1 }, bound: 1 }, rx_waker: AtomicWaker, tx_count: 1, rx_fields: "..." } } }, am_interested: false, pending_requests: {}, peer_is_interested_in_us: true, bytes_downloaded_from_peer: 0, bytes_uploaded_to_peer: 0, bytes_downloaded_in_tick: 0, bytes_uploaded_in_tick: 0, prev_avg_dl_ema: 0.0, prev_avg_ul_ema: 0.0, total_bytes_downloaded: 0, total_bytes_uploaded: 0, download_speed_bps: 0, upload_speed_bps: 0, upload_slots_semaphore: Semaphore { ll_sem: Semaphore { permits: 4 } }, last_action: SuccessfullyConnected(""), action_counts: {}, created_at: Instant { tv_sec: 112672, tv_nsec: 327518333 } }}, piece_manager: PieceManager { bitfield: [Need, Need, Need, Need, Need, Need, Need, Need, Need, Need, Need, Need, Need, Need, Need, Need, Need, Need, Need, Need], need_queue: [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], pending_queue: {}, piece_rarity: {}, pieces_remaining: 20, piece_assemblers: {} }, trackers: {}, timed_out_peers: {}, last_known_peers: {}, optimistic_unchoke_timer: None, validation_pieces_found: 0, now: Instant { tv_sec: 112672, tv_nsec: 327518333 }, has_started_announce_sent: false }, actions = [PeerBitfieldReceived { peer_id: "", bitfield: [64] }, PeerBitfieldReceived { peer_id: "", bitfield: [0] }]
cc f0bb049b4cb4c69dd81e9435591bde0fe72f678928964c16887456e1766b8b9c # shrinks to (initial_state, transitions, tracker) = (TorrentModel { connected_peers: {}, total_pieces: 5, paused: false, status: Validating, has_metadata: true, downloaded_pieces: {} }, [PeerSuccessfullyConnected { peer_id: "" }, Tick { dt_ms: 1000 }, Tick { dt_ms: 1000 }, Tick { dt_ms: 1000 }, Tick { dt_ms: 1000 }, Tick { dt_ms: 1000 }, Tick { dt_ms: 1000 }, Cleanup, ConnectToWebSeeds], None)
