# 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 22921538b17323cbad784d23b2eb44684db61ba9847d78dcbe217517d31c044e # shrinks to input = _RandomInteractionMultipathArgs { seed: [60, 116, 60, 165, 136, 238, 239, 131, 14, 159, 221, 16, 80, 60, 30, 15, 15, 69, 133, 33, 89, 203, 28, 107, 123, 117, 6, 54, 215, 244, 47, 1], interactions: [PathSetStatus(Server, 0, Backup)] }
cc 8cd907586f22cecb2700773243934812642d38f9b3f25d1e614fd0dc5fd92c0c # shrinks to input = _RandomInteractionMultipathArgs { seed: [41, 24, 232, 72, 136, 73, 31, 115, 14, 101, 61, 219, 30, 168, 130, 122, 120, 238, 6, 130, 117, 84, 250, 190, 50, 237, 14, 167, 60, 5, 140, 149], interactions: [OpenPath(Client, Available, 0), AdvanceTime, Drive(Client), OpenPath(Client, Available, 0)] }
cc d7a638feff7c15500a130c83be11f316ace90df0a438611e159e358b17d0aacb # shrinks to input = _RandomInteractionMultipathArgs { seed: [68, 93, 15, 237, 88, 31, 93, 255, 246, 51, 203, 224, 20, 124, 107, 163, 143, 43, 193, 187, 208, 54, 158, 239, 190, 82, 198, 62, 91, 51, 53, 226], interactions: [OpenPath(Client, Available, 0), Drive(Client), ForceKeyUpdate(Server), AdvanceTime, PathSetStatus(Server, 0, Backup)] }
cc 5d8fa360ef03c3ffbbba0b7a8243ab344406339ef24ca203e90615c2f76a2671 # shrinks to input = _RandomInteractionMultipathArgs { seed: [131, 82, 176, 0, 128, 240, 165, 184, 196, 156, 12, 238, 223, 75, 97, 63, 173, 139, 99, 147, 39, 166, 26, 159, 196, 114, 251, 77, 70, 128, 65, 232], interactions: [Drive(Server), OpenPath(Client, Available, 0), ClosePath(Client, 0, 0), AdvanceTime, Drive(Client), OpenPath(Client, Available, 0), Drive(Server)] }
cc 527f2244c8b1fc88c875cc477a77cfc911095c89baf47f8ff23705cd2da04728 # shrinks to input = _RandomInteractionMultipathArgs { seed: [172, 221, 115, 106, 31, 22, 213, 3, 199, 6, 128, 220, 47, 215, 159, 233, 97, 21, 254, 207, 48, 180, 255, 97, 33, 29, 11, 76, 219, 138, 87, 57], interactions: [OpenPath(Client, Available, 1), PathSetStatus(Server, 0, Backup), ClosePath(Client, 0, 0), Drive(Server), Drive(Server)] }
cc 7c2921e2bb159914227dba332fce2a83931868b19a425e90dd9dd0ae018ec380 # shrinks to input = _RandomInteractionMultipathArgs { seed: [201, 119, 56, 156, 173, 104, 243, 75, 174, 248, 232, 226, 240, 106, 118, 59, 226, 245, 138, 50, 100, 4, 245, 65, 8, 174, 18, 189, 72, 10, 166, 160], interactions: [ClosePath(Server, 0, 0), PathSetStatus(Server, 0, Available), PathSetStatus(Server, 0, Available), Drive(Server), Drive(Server), OpenPath(Client, Backup, 1), ClosePath(Client, 0, 0), Drive(Client), DropInbound(Server), PathSetStatus(Client, 0, Available)] }
cc 3d5ff86ac3bd84da3518830f018a5133642b262078c048695594f5616d247020 # shrinks to input = _RandomInteractionMultipathArgs { seed: [210, 201, 26, 224, 119, 101, 141, 66, 111, 72, 209, 54, 244, 152, 94, 18, 45, 173, 179, 181, 147, 85, 230, 46, 7, 242, 81, 4, 198, 24, 121, 165], interactions: [ClosePath(Client, 0, 0), OpenPath(Client, Available, 0), Drive(Client), AdvanceTime, ClosePath(Client, 0, 0), Drive(Server), ClosePath(Server, 0, 0), Drive(Client), ForceKeyUpdate(Client), AdvanceTime] }
cc 215a943c8e60f09ada372087523b8114749a1996482dbe85980397711a13f58d # shrinks to input = _RandomInteractionWithMultipathComplexRoutingArgs { seed: [72, 153, 153, 105, 159, 93, 233, 10, 59, 231, 65, 60, 167, 18, 129, 206, 29, 156, 143, 59, 42, 86, 103, 173, 22, 172, 190, 232, 95, 125, 120, 70], interactions: [Drive(Server), OpenPath(Client, Backup, 0), OpenPath(Client, Backup, 0), Drive(Client), DropInbound(Server), ClosePath(Client, 0, 0)], routes: RoutingTable { client_routes: [([::1]:44433, 0)], server_routes: [([::1]:4433, 0)] } }
cc 59d6402f86f0f8f34c579483f8002bfe69c025d22eb016ed3667a735fc20938d # shrinks to input = _RandomInteractionWithMultipathComplexRoutingArgs { seed: [195, 220, 29, 198, 108, 228, 72, 30, 208, 159, 207, 61, 137, 60, 226, 135, 49, 183, 17, 117, 215, 78, 207, 182, 37, 152, 245, 59, 124, 101, 172, 229], interactions: [OpenPath(Client, Available, 0), Drive(Client), CloseConn(Client, 0), DropInbound(Server), AdvanceTime, ClosePath(Client, 0, 0), Drive(Server), DropInbound(Client)], routes: RoutingTable { client_routes: [([::1]:44433, 0)], server_routes: [([::1]:4433, 0)] } }
cc 3d6c441f557c9a532bc87c8a0afdbbd27c39490d07acac53f065c8f086d51868 # shrinks to input = _RandomInteractionWithMultipathComplexRoutingArgs { seed: [198, 210, 21, 57, 34, 221, 110, 4, 146, 10, 168, 56, 237, 139, 15, 230, 62, 175, 3, 36, 5, 64, 169, 44, 210, 92, 112, 1, 164, 152, 59, 30], interactions: [OpenPath(Client, Available, 2), Drive(Client), OpenPath(Client, Available, 0), CloseConn(Server, 0), ClosePath(Client, 0, 0), AdvanceTime, Drive(Client), Drive(Server), DropInbound(Server), DropInbound(Client)], routes: RoutingTable { client_routes: [([::1]:44433, 0)], server_routes: [([::1]:4433, 0), ([::1]:4433, 0), ([::1]:4434, 0)]}}
cc 4e409ceeb023bc639c6095f657b320a4092f50cfac1430e6a496671717e2d523 # shrinks to input = _RandomInteractionWithMultipathComplexRoutingArgs { seed: [29, 61, 139, 201, 34, 30, 159, 250, 61, 238, 188, 85, 87, 180, 63, 53, 238, 57, 211, 214, 253, 7, 215, 79, 165, 51, 109, 179, 243, 141, 173, 86], interactions: [CloseConn(Server, 0), Drive(Server), DropInbound(Client), DropInbound(Server), Drive(Server), OpenPath(Client, Available, 0), ClosePath(Client, 0, 0), AdvanceTime, Drive(Server)], routes: RoutingTable { client_routes: [([::1]:44433, 0)], server_routes: [([::1]:4433, 0)] } }
cc 65bf05f654c33cd7c51a20cba759c23876eee689cb4f4f6a58d410a5a895e853 # shrinks to input = _RandomInteractionWithMultipathComplexRoutingArgs { seed: [140, 230, 19, 141, 169, 227, 178, 69, 74, 147, 156, 55, 95, 139, 162, 4, 10, 216, 65, 170, 204, 226, 236, 148, 67, 42, 222, 95, 125, 25, 72, 177], interactions: [OpenPath(Client, Available, 0), ClosePath(Client, 1, 0), Drive(Client), AdvanceTime, Drive(Server), CloseConn(Client, 0), Drive(Client), DropInbound(Server)], routes: RoutingTable { client_routes: [([::1]:44433, 0)], server_routes: [([::1]:4433, 0)] } }
cc 8097f9984cdf32de70860f9937b634238806f927d9049e0885fa4ce850736677 # shrinks to input = _RandomInteractionWithMultipathComplexRoutingArgs { seed: [107, 155, 165, 131, 109, 32, 159, 34, 208, 118, 134, 109, 75, 210, 123, 192, 194, 129, 67, 62, 178, 22, 70, 40, 248, 190, 76, 30, 220, 90, 56, 211], interactions: [OpenPath(Client, Available, 0), Drive(Server), ClosePath(Client, 1, 0), DropInbound(Server)], routes: RoutingTable { client_routes: [([::1]:44433, 0)], server_routes: [([::1]:4433, 0)] } }
cc 1564b6bdcfac5091ec82355328cf6ec990238c15e3e18ba8a415f69e291112f8 # shrinks to input = _RandomInteractionWithMultipathComplexRoutingArgs { seed: [238, 126, 150, 148, 168, 209, 105, 125, 53, 117, 5, 135, 177, 42, 115, 17, 218, 246, 104, 20, 44, 90, 242, 68, 129, 206, 15, 97, 145, 16, 226, 228], interactions: [OpenPath(Client, Available, 0), Drive(Client), ClosePath(Client, 1, 0)], routes: RoutingTable { client_routes: [([::1]:44433, 0)], server_routes: [([::1]:4433, 0)] } }
cc e2f4cb531c73ebf9e324ad607f0add9f194268d80938cd9715f99b78fd1e6b02
cc 8daf158b1f4b03c27d814093051e640fd2b827b6b018a96facf824df2ba770ff # shrinks to input = _RandomInteractionWithMultipathComplexRoutingArgs { seed: [179, 44, 141, 170, 106, 126, 221, 37, 208, 214, 74, 185, 175, 135, 82, 12, 146, 194, 218, 42, 130, 247, 23, 110, 181, 136, 159, 70, 84, 189, 192, 111], interactions: [StreamOp(Server, Open(Uni)), StreamOp(Server, Finish(0))], routes: RoutingTable { client_routes: [([::ffff:1.1.1.0]:44433, 0)], server_routes: [([::ffff:2.2.2.0]:4433, 0)] } }
cc 37b5a6ce1709860b5e8334e5aaff33d160afb5db489094520bfe5b97b711885d # shrinks to input = _RandomInteractionWithMultipathSimpleRoutingArgs { seed: [195, 211, 32, 63, 142, 43, 224, 28, 233, 156, 118, 119, 158, 28, 10, 100, 6, 70, 113, 174, 84, 7, 158, 157, 211, 112, 238, 238, 73, 253, 36, 220], interactions: [CloseConn(Client, 0), PassiveMigration(Client, 0)] }
cc 02868b25ef3efeb1c591c94b1abc3ba196f3505a1f04646f88860ca284970e7d
cc 05acf50632ee647b18d3a42c74459d54a11f5f3a76b8ee15bb3fb113f9c5dede
cc a22f4683ab811ac9a4299c8148f2ce58c7c54abacc95c32849bdd12a781388b3
cc a49af8f0de194989d376da3b88838abb79793f3f4b236877c1ce6b16f57d6d21
cc b2c0170aa51218d842490b6f561ccc1de08918f17f461f4808c5bbc6f7479ec5
cc e4f16be75773cb09f37f3cd699d03aa34c8f24ead942f1a499a63abd3784a7ba
cc 1c853ee3d7dc5cbed43db750b243688ab677fbd0f4d5dc4e75bc85288600f6fa
cc 91184c7b6b718961d2dc03365f02098a18ac0035ca85b95654fbafa430d93664 # shrinks to input = _RandomInteractionWithMultipathComplexRoutingArgs { seed: [143, 24, 215, 92, 97, 107, 192, 143, 158, 46, 179, 30, 168, 66, 54, 199, 174, 170, 78, 124, 66, 235, 14, 97, 211, 127, 253, 141, 194, 196, 222, 138], interactions: [ClosePath { side: Server, path_idx: 0, error_code: 0 }, Drive { side: Client }], routes: RoutingTable { client_routes: [([::ffff:1.1.1.0]:44433, 0)], server_routes: [([::ffff:2.2.2.0]:4433, 0)] } }
cc ec5baef3027436b012a332a97d46814ed157f259337c3f651bbb7a3233bd9c7f # shrinks to input = _RandomInteractionWithMultipathSimpleRoutingArgs { seed: [121, 74, 209, 215, 123, 149, 7, 227, 67, 200, 91, 12, 216, 81, 208, 77, 83, 181, 39, 2, 207, 186, 233, 211, 254, 178, 230, 22, 100, 197, 215, 43], interactions: [Drive { side: Client }, ClosePath { side: Client, path_idx: 0, error_code: 0 }] }
cc b1429b84bf576bb9000e8d0d6d53cff4c93efacf033c9df898aeb9856d1b03fe # shrinks to input = _RandomInteractionWithMultipathSimpleRoutingArgs { seed: [159, 14, 107, 252, 130, 4, 190, 131, 86, 208, 127, 29, 140, 30, 55, 65, 242, 192, 2, 158, 40, 51, 110, 116, 46, 139, 156, 165, 64, 109, 33, 62], interactions: [PassiveMigration { side: Server, addr_idx: 0 }, OpenPath { side: Client, status: Available, addr_idx: 0 }] }
cc 4f717acb71d562f33601dfc8c7fbcca89b13c8259676a20ffc764a92e3ea07a1 # shrinks to input = _RandomInteractionWithMultipathComplexRoutingArgs { seed: [84, 97, 201, 172, 244, 139, 252, 60, 222, 107, 135, 245, 103, 45, 188, 138, 26, 198, 1, 97, 144, 22, 42, 228, 19, 154, 45, 135, 222, 137, 231, 16], interactions: [PassiveMigration { side: Server, addr_idx: 0 }, OpenPath { side: Client, status: Available, addr_idx: 0 }, ClosePath { side: Client, path_idx: 0, error_code: 0 }, PathSetStatus { side: Server, path_idx: 0, status: Backup }], routes: RoutingTable { client_routes: [([::ffff:1.1.1.0]:44433, 0)], server_routes: [([::ffff:2.2.2.0]:4433, 0)] } }
cc 9c8a45ade151832ae26ea86bb672ff78e0ea55444c6e7fd51db202f255b6f616
