# 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)] }
