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