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