^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) digraph conn_states {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2) StandAllone -> WFConnection [ label = "ioctl_set_net()" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3) WFConnection -> Unconnected [ label = "unable to bind()" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4) WFConnection -> WFReportParams [ label = "in connect() after accept" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5) WFReportParams -> StandAllone [ label = "checks in receive_param()" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6) WFReportParams -> Connected [ label = "in receive_param()" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 7) WFReportParams -> WFBitMapS [ label = "sync_handshake()" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 8) WFReportParams -> WFBitMapT [ label = "sync_handshake()" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 9) WFBitMapS -> SyncSource [ label = "receive_bitmap()" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) WFBitMapT -> SyncTarget [ label = "receive_bitmap()" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) SyncSource -> Connected
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) SyncTarget -> Connected
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) SyncSource -> PausedSyncS
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14) SyncTarget -> PausedSyncT
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15) PausedSyncS -> SyncSource
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) PausedSyncT -> SyncTarget
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 17) Connected -> WFConnection [ label = "* on network error" ]
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 18) }