# 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 c4873855422432ae63d07f5220f8c2de16538293490515e6dcd0481cd61d8ee2 # shrinks to patterns = [PortGraph { nodes: {NodeIndex(0): Node { inputs: [PortIndex(0)], outputs: [PortIndex(1)] }}, ports: {PortIndex(0): Port { node: NodeIndex(0), direction: Incoming, link: PortIndex(1) }, PortIndex(1): Port { node: NodeIndex(0), direction: Outgoing, link: PortIndex(0) }} }, PortGraph { nodes: {NodeIndex(0): Node { inputs: [], outputs: [PortIndex(0), PortIndex(1)] }, NodeIndex(1): Node { inputs: [PortIndex(2), PortIndex(3)], outputs: [] }}, ports: {PortIndex(0): Port { node: NodeIndex(0), direction: Outgoing }, PortIndex(1): Port { node: NodeIndex(0), direction: Outgoing, link: PortIndex(3) }, PortIndex(2): Port { node: NodeIndex(1), direction: Incoming }, PortIndex(3): Port { node: NodeIndex(1), direction: Incoming, link: PortIndex(1) }} }, PortGraph { nodes: {NodeIndex(0): Node { inputs: [PortIndex(0), PortIndex(1)], outputs: [] }}, ports: {PortIndex(0): Port { node: NodeIndex(0), direction: Incoming }, PortIndex(1): Port { node: NodeIndex(0), direction: Incoming }} }, PortGraph { nodes: {NodeIndex(0): Node { inputs: [], outputs: [PortIndex(0), PortIndex(1)] }}, ports: {PortIndex(0): Port { node: NodeIndex(0), direction: Outgoing }, PortIndex(1): Port { node: NodeIndex(0), direction: Outgoing }} }], g = PortGraph { nodes: {NodeIndex(0): Node { inputs: [], outputs: [] }, NodeIndex(1): Node { inputs: [], outputs: [] }, NodeIndex(2): Node { inputs: [], outputs: [PortIndex(0)] }, NodeIndex(3): Node { inputs: [], outputs: [] }, NodeIndex(4): Node { inputs: [PortIndex(1)], outputs: [PortIndex(2)] }, NodeIndex(5): Node { inputs: [PortIndex(3), PortIndex(4)], outputs: [] }, NodeIndex(6): Node { inputs: [PortIndex(5), PortIndex(6)], outputs: [PortIndex(7), PortIndex(8)] }, NodeIndex(7): Node { inputs: [], outputs: [PortIndex(9), PortIndex(10)] }, NodeIndex(8): Node { inputs: [], outputs: [] }, NodeIndex(9): Node { inputs: [PortIndex(11), PortIndex(12)], outputs: [PortIndex(13), PortIndex(14)] }, NodeIndex(10): Node { inputs: [], outputs: [] }, NodeIndex(11): Node { inputs: [], outputs: [PortIndex(15)] }, NodeIndex(12): Node { inputs: [PortIndex(16)], outputs: [PortIndex(17), PortIndex(18), PortIndex(19)] }, NodeIndex(13): Node { inputs: [], outputs: [] }}, ports: {PortIndex(0): Port { node: NodeIndex(2), direction: Outgoing }, PortIndex(1): Port { node: NodeIndex(4), direction: Incoming, link: PortIndex(18) }, PortIndex(2): Port { node: NodeIndex(4), direction: Outgoing, link: PortIndex(16) }, PortIndex(3): Port { node: NodeIndex(5), direction: Incoming, link: PortIndex(9) }, PortIndex(4): Port { node: NodeIndex(5), direction: Incoming, link: PortIndex(10) }, PortIndex(5): Port { node: NodeIndex(6), direction: Incoming, link: PortIndex(19) }, PortIndex(6): Port { node: NodeIndex(6), direction: Incoming, link: PortIndex(13) }, PortIndex(7): Port { node: NodeIndex(6), direction: Outgoing }, PortIndex(8): Port { node: NodeIndex(6), direction: Outgoing, link: PortIndex(12) }, PortIndex(9): Port { node: NodeIndex(7), direction: Outgoing, link: PortIndex(3) }, PortIndex(10): Port { node: NodeIndex(7), direction: Outgoing, link: PortIndex(4) }, PortIndex(11): Port { node: NodeIndex(9), direction: Incoming, link: PortIndex(14) }, PortIndex(12): Port { node: NodeIndex(9), direction: Incoming, link: PortIndex(8) }, PortIndex(13): Port { node: NodeIndex(9), direction: Outgoing, link: PortIndex(6) }, PortIndex(14): Port { node: NodeIndex(9), direction: Outgoing, link: PortIndex(11) }, PortIndex(15): Port { node: NodeIndex(11), direction: Outgoing }, PortIndex(16): Port { node: NodeIndex(12), direction: Incoming, link: PortIndex(2) }, PortIndex(17): Port { node: NodeIndex(12), direction: Outgoing }, PortIndex(18): Port { node: NodeIndex(12), direction: Outgoing, link: PortIndex(1) }, PortIndex(19): Port { node: NodeIndex(12), direction: Outgoing, link: PortIndex(5) }} }
cc 22995788bf3b5ceec958c652ab30edc366c20110d4e8e331da821877a3fbe1a3 # shrinks to patterns = [PortGraph { nodes: {NodeIndex(0): Node { inputs: [PortIndex(0), PortIndex(1)], outputs: [] }, NodeIndex(1): Node { inputs: [], outputs: [PortIndex(2), PortIndex(3), PortIndex(4), PortIndex(5)] }, NodeIndex(2): Node { inputs: [PortIndex(6), PortIndex(7), PortIndex(8), PortIndex(9)], outputs: [PortIndex(10)] }, NodeIndex(3): Node { inputs: [PortIndex(11), PortIndex(12), PortIndex(13), PortIndex(14)], outputs: [PortIndex(15), PortIndex(16), PortIndex(17), PortIndex(18)] }, NodeIndex(4): Node { inputs: [PortIndex(19)], outputs: [PortIndex(20), PortIndex(21), PortIndex(22), PortIndex(23)] }, NodeIndex(5): Node { inputs: [PortIndex(24), PortIndex(25), PortIndex(26)], outputs: [PortIndex(27), PortIndex(28), PortIndex(29), PortIndex(30)] }}, ports: {PortIndex(0): Port { node: NodeIndex(0), direction: Incoming }, PortIndex(1): Port { node: NodeIndex(0), direction: Incoming, link: PortIndex(29) }, PortIndex(2): Port { node: NodeIndex(1), direction: Outgoing }, PortIndex(3): Port { node: NodeIndex(1), direction: Outgoing }, PortIndex(4): Port { node: NodeIndex(1), direction: Outgoing, link: PortIndex(25) }, PortIndex(5): Port { node: NodeIndex(1), direction: Outgoing, link: PortIndex(12) }, PortIndex(6): Port { node: NodeIndex(2), direction: Incoming, link: PortIndex(30) }, PortIndex(7): Port { node: NodeIndex(2), direction: Incoming, link: PortIndex(18) }, PortIndex(8): Port { node: NodeIndex(2), direction: Incoming, link: PortIndex(20) }, PortIndex(9): Port { node: NodeIndex(2), direction: Incoming, link: PortIndex(28) }, PortIndex(10): Port { node: NodeIndex(2), direction: Outgoing, link: PortIndex(11) }, PortIndex(11): Port { node: NodeIndex(3), direction: Incoming, link: PortIndex(10) }, PortIndex(12): Port { node: NodeIndex(3), direction: Incoming, link: PortIndex(5) }, PortIndex(13): Port { node: NodeIndex(3), direction: Incoming }, PortIndex(14): Port { node: NodeIndex(3), direction: Incoming, link: PortIndex(17) }, PortIndex(15): Port { node: NodeIndex(3), direction: Outgoing }, PortIndex(16): Port { node: NodeIndex(3), direction: Outgoing }, PortIndex(17): Port { node: NodeIndex(3), direction: Outgoing, link: PortIndex(14) }, PortIndex(18): Port { node: NodeIndex(3), direction: Outgoing, link: PortIndex(7) }, PortIndex(19): Port { node: NodeIndex(4), direction: Incoming }, PortIndex(20): Port { node: NodeIndex(4), direction: Outgoing, link: PortIndex(8) }, PortIndex(21): Port { node: NodeIndex(4), direction: Outgoing, link: PortIndex(24) }, PortIndex(22): Port { node: NodeIndex(4), direction: Outgoing }, PortIndex(23): Port { node: NodeIndex(4), direction: Outgoing }, PortIndex(24): Port { node: NodeIndex(5), direction: Incoming, link: PortIndex(21) }, PortIndex(25): Port { node: NodeIndex(5), direction: Incoming, link: PortIndex(4) }, PortIndex(26): Port { node: NodeIndex(5), direction: Incoming }, PortIndex(27): Port { node: NodeIndex(5), direction: Outgoing }, PortIndex(28): Port { node: NodeIndex(5), direction: Outgoing, link: PortIndex(9) }, PortIndex(29): Port { node: NodeIndex(5), direction: Outgoing, link: PortIndex(1) }, PortIndex(30): Port { node: NodeIndex(5), direction: Outgoing, link: PortIndex(6) }} }, PortGraph { nodes: {NodeIndex(0): Node { inputs: [PortIndex(0)], outputs: [PortIndex(1)] }}, ports: {PortIndex(0): Port { node: NodeIndex(0), direction: Incoming, link: PortIndex(1) }, PortIndex(1): Port { node: NodeIndex(0), direction: Outgoing, link: PortIndex(0) }} }, PortGraph { nodes: {NodeIndex(0): Node { inputs: [PortIndex(0), PortIndex(1), PortIndex(2), PortIndex(3)], outputs: [PortIndex(4)] }, NodeIndex(1): Node { inputs: [PortIndex(5), PortIndex(6), PortIndex(7), PortIndex(8)], outputs: [PortIndex(9)] }, NodeIndex(2): Node { inputs: [PortIndex(10), PortIndex(11)], outputs: [] }}, ports: {PortIndex(0): Port { node: NodeIndex(0), direction: Incoming, link: PortIndex(9) }, PortIndex(1): Port { node: NodeIndex(0), direction: Incoming }, PortIndex(2): Port { node: NodeIndex(0), direction: Incoming }, PortIndex(3): Port { node: NodeIndex(0), direction: Incoming }, PortIndex(4): Port { node: NodeIndex(0), direction: Outgoing, link: PortIndex(11) }, PortIndex(5): Port { node: NodeIndex(1), direction: Incoming }, PortIndex(6): Port { node: NodeIndex(1), direction: Incoming }, PortIndex(7): Port { node: NodeIndex(1), direction: Incoming }, PortIndex(8): Port { node: NodeIndex(1), direction: Incoming }, PortIndex(9): Port { node: NodeIndex(1), direction: Outgoing, link: PortIndex(0) }, PortIndex(10): Port { node: NodeIndex(2), direction: Incoming }, PortIndex(11): Port { node: NodeIndex(2), direction: Incoming, link: PortIndex(4) }} }, PortGraph { nodes: {NodeIndex(0): Node { inputs: [PortIndex(0)], outputs: [PortIndex(1), PortIndex(2)] }}, ports: {PortIndex(0): Port { node: NodeIndex(0), direction: Incoming, link: PortIndex(2) }, PortIndex(1): Port { node: NodeIndex(0), direction: Outgoing }, PortIndex(2): Port { node: NodeIndex(0), direction: Outgoing, link: PortIndex(0) }} }], g = PortGraph { nodes: {NodeIndex(0): Node { inputs: [], outputs: [PortIndex(0), PortIndex(1)] }, NodeIndex(1): Node { inputs: [PortIndex(2), PortIndex(3)], outputs: [PortIndex(4)] }, NodeIndex(2): Node { inputs: [], outputs: [] }, NodeIndex(3): Node { inputs: [PortIndex(5), PortIndex(6), PortIndex(7), PortIndex(8)], outputs: [] }, NodeIndex(4): Node { inputs: [PortIndex(9), PortIndex(10)], outputs: [PortIndex(11)] }, NodeIndex(5): Node { inputs: [], outputs: [PortIndex(12), PortIndex(13), PortIndex(14), PortIndex(15)] }, NodeIndex(6): Node { inputs: [PortIndex(16)], outputs: [] }, NodeIndex(7): Node { inputs: [PortIndex(17), PortIndex(18)], outputs: [] }, NodeIndex(8): Node { inputs: [PortIndex(19), PortIndex(20), PortIndex(21)], outputs: [PortIndex(22), PortIndex(23), PortIndex(24), PortIndex(25)] }, NodeIndex(9): Node { inputs: [PortIndex(26), PortIndex(27), PortIndex(28), PortIndex(29)], outputs: [] }, NodeIndex(10): Node { inputs: [PortIndex(30), PortIndex(31)], outputs: [PortIndex(32), PortIndex(33)] }, NodeIndex(11): Node { inputs: [PortIndex(34), PortIndex(35), PortIndex(36)], outputs: [PortIndex(37), PortIndex(38), PortIndex(39), PortIndex(40)] }, NodeIndex(12): Node { inputs: [], outputs: [] }, NodeIndex(13): Node { inputs: [], outputs: [] }, NodeIndex(14): Node { inputs: [], outputs: [] }, NodeIndex(15): Node { inputs: [], outputs: [] }, NodeIndex(16): Node { inputs: [], outputs: [] }, NodeIndex(17): Node { inputs: [], outputs: [] }, NodeIndex(18): Node { inputs: [], outputs: [] }, NodeIndex(19): Node { inputs: [PortIndex(41), PortIndex(42), PortIndex(43)], outputs: [] }, NodeIndex(20): Node { inputs: [PortIndex(44), PortIndex(45), PortIndex(46)], outputs: [] }, NodeIndex(21): Node { inputs: [], outputs: [] }, NodeIndex(22): Node { inputs: [PortIndex(47), PortIndex(48), PortIndex(49)], outputs: [PortIndex(50)] }, NodeIndex(23): Node { inputs: [PortIndex(51)], outputs: [PortIndex(52)] }, NodeIndex(24): Node { inputs: [PortIndex(53), PortIndex(54), PortIndex(55), PortIndex(56)], outputs: [PortIndex(57)] }}, ports: {PortIndex(0): Port { node: NodeIndex(0), direction: Outgoing }, PortIndex(1): Port { node: NodeIndex(0), direction: Outgoing }, PortIndex(2): Port { node: NodeIndex(1), direction: Incoming }, PortIndex(3): Port { node: NodeIndex(1), direction: Incoming }, PortIndex(4): Port { node: NodeIndex(1), direction: Outgoing, link: PortIndex(48) }, PortIndex(5): Port { node: NodeIndex(3), direction: Incoming }, PortIndex(6): Port { node: NodeIndex(3), direction: Incoming }, PortIndex(7): Port { node: NodeIndex(3), direction: Incoming }, PortIndex(8): Port { node: NodeIndex(3), direction: Incoming }, PortIndex(9): Port { node: NodeIndex(4), direction: Incoming }, PortIndex(10): Port { node: NodeIndex(4), direction: Incoming }, PortIndex(11): Port { node: NodeIndex(4), direction: Outgoing }, PortIndex(12): Port { node: NodeIndex(5), direction: Outgoing }, PortIndex(13): Port { node: NodeIndex(5), direction: Outgoing }, PortIndex(14): Port { node: NodeIndex(5), direction: Outgoing }, PortIndex(15): Port { node: NodeIndex(5), direction: Outgoing }, PortIndex(16): Port { node: NodeIndex(6), direction: Incoming }, PortIndex(17): Port { node: NodeIndex(7), direction: Incoming }, PortIndex(18): Port { node: NodeIndex(7), direction: Incoming }, PortIndex(19): Port { node: NodeIndex(8), direction: Incoming }, PortIndex(20): Port { node: NodeIndex(8), direction: Incoming, link: PortIndex(37) }, PortIndex(21): Port { node: NodeIndex(8), direction: Incoming }, PortIndex(22): Port { node: NodeIndex(8), direction: Outgoing }, PortIndex(23): Port { node: NodeIndex(8), direction: Outgoing }, PortIndex(24): Port { node: NodeIndex(8), direction: Outgoing }, PortIndex(25): Port { node: NodeIndex(8), direction: Outgoing }, PortIndex(26): Port { node: NodeIndex(9), direction: Incoming, link: PortIndex(50) }, PortIndex(27): Port { node: NodeIndex(9), direction: Incoming }, PortIndex(28): Port { node: NodeIndex(9), direction: Incoming }, PortIndex(29): Port { node: NodeIndex(9), direction: Incoming }, PortIndex(30): Port { node: NodeIndex(10), direction: Incoming }, PortIndex(31): Port { node: NodeIndex(10), direction: Incoming }, PortIndex(32): Port { node: NodeIndex(10), direction: Outgoing }, PortIndex(33): Port { node: NodeIndex(10), direction: Outgoing }, PortIndex(34): Port { node: NodeIndex(11), direction: Incoming }, PortIndex(35): Port { node: NodeIndex(11), direction: Incoming }, PortIndex(36): Port { node: NodeIndex(11), direction: Incoming }, PortIndex(37): Port { node: NodeIndex(11), direction: Outgoing, link: PortIndex(20) }, PortIndex(38): Port { node: NodeIndex(11), direction: Outgoing }, PortIndex(39): Port { node: NodeIndex(11), direction: Outgoing }, PortIndex(40): Port { node: NodeIndex(11), direction: Outgoing }, PortIndex(41): Port { node: NodeIndex(19), direction: Incoming }, PortIndex(42): Port { node: NodeIndex(19), direction: Incoming }, PortIndex(43): Port { node: NodeIndex(19), direction: Incoming }, PortIndex(44): Port { node: NodeIndex(20), direction: Incoming }, PortIndex(45): Port { node: NodeIndex(20), direction: Incoming }, PortIndex(46): Port { node: NodeIndex(20), direction: Incoming }, PortIndex(47): Port { node: NodeIndex(22), direction: Incoming }, PortIndex(48): Port { node: NodeIndex(22), direction: Incoming, link: PortIndex(4) }, PortIndex(49): Port { node: NodeIndex(22), direction: Incoming }, PortIndex(50): Port { node: NodeIndex(22), direction: Outgoing, link: PortIndex(26) }, PortIndex(51): Port { node: NodeIndex(23), direction: Incoming }, PortIndex(52): Port { node: NodeIndex(23), direction: Outgoing }, PortIndex(53): Port { node: NodeIndex(24), direction: Incoming }, PortIndex(54): Port { node: NodeIndex(24), direction: Incoming }, PortIndex(55): Port { node: NodeIndex(24), direction: Incoming }, PortIndex(56): Port { node: NodeIndex(24), direction: Incoming }, PortIndex(57): Port { node: NodeIndex(24), direction: Outgoing }} }