# 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 57ffdcbcfce4704b9e3be2c447fd07ff5983f4f4ce1e9ddd7f45efbbf4685cf5 # shrinks to name = "", rule = Rule { src: SrcMatch { pfxs: [::/69, 54.0.0.0/7, ::/56, ::/47, ::/9, e427:157:44a7:7b88::/61, ::fffe:0:0/95, 127.0.0.0/27, 24.143.20.0/22, ::/79, ::ffff:0.0.0.0/119, 75.122.192.0/18, 127.0.0.0/17, 37.104.0.0/17, 128.0.0.0/4, ::fe00:0:0/87, 127.0.0.0/27, 174.131.84.0/22, ::/11, ::/20, 224.0.0.0/7, ::/4, 62c6:a683:c926::/49, 127.0.0.0/14, db5a:38e4:dd32:6eb2:e70f:8000::/81, 3f1b:d610:afd8:2c5d:dc03:45d4:95c0:0/109, 101.229.153.16/29, ::f800:0:0/85, ::/72, 1026:8b49:f000::/36, 5495:9a76:b9db:90ab:a845:8bc6:a930:e000/115, ::/11, 211.81.72.0/23, ::c000:0:0/82, ::/34, 6bdf:8e94:c878:e995:30c0::/77, 969f:922f:679e:7a86:b0b3:89ec:5e6d:0/113, ::/76, ::/41, 0.0.0.0/1, 76.176.0.0/12, ::ff00:0:0/88, 181.176.0.0/12, ::/30, af9c:9a28:d3d0:7c89:c000::/69, 28.211.8.64/28, 124.0.0.0/6, 0.0.0.0/1, 246.134.0.0/16, ::f800:0:0/85, 127.0.0.1/32, ::/25, 7000::/9, ::ffff:127.0.0.0/115, 52be:3ab1:c247:8f79:e2da:cc58:8588:6bec/127, 10.39.0.0/16, ::/36, 104.232.60.0/23, be72:9100::/24, ::/4, 100.0.0.0/6, ::/58, 127.0.0.0/8, ::/41, ::ffff:58.19.180.0/119, ::/6, 0.0.0.0/18, 42.132.0.0/17], caps: [] }, protos: [IpProto(0)], dst: [DstMatch { ports: 0..=0, ips: [0.0.0.0/7] }] }
cc dca926cd014fb662234a996081bd73dad8421e48248c12f0acb1459aa9969f85 # shrinks to name = "", rule = Rule { src: SrcMatch { pfxs: [0.0.0.0/0], caps: [] }, protos: [IpProto(0)], dst: [DstMatch { ports: 0..=0, ips: [0.0.0.0/0] }] }
cc 2dd86a698620a6df1399f2410c481a6f2ab9f001762b214805e4cdae8357b1c4 # shrinks to name = "", rule = Rule { src: SrcMatch { pfxs: [0.0.0.0/0], caps: [""] }, protos: [IpProto(0)], dst: [DstMatch { ports: 0..=0, ips: [64.0.0.0/2] }, DstMatch { ports: 0..=0, ips: [0.0.0.0/0] }, DstMatch { ports: 0..=0, ips: [0.0.0.0/0] }] }
