diff options
| author | Neels Hofmeyr <neels@hofmeyr.de> | 2018-03-25 01:03:26 +0100 |
|---|---|---|
| committer | Neels Hofmeyr <nhofmeyr@sysmocom.de> | 2018-03-26 13:03:19 +0000 |
| commit | fcf79926e5e5d296efc4d53b1c50849e4fff7908 (patch) | |
| tree | 38edf1067d0e4df0f98088a7451ab37727c64170 /utils | |
| parent | bb22df3db915f2141ce3c2477e7417781c5961f4 (diff) | |
contrib/fsm-to-dot: warn and draw unallowed state transitions
Hacked as it is, fsm-to-dot is capable of detecting action functions
transitioning to states that are not allowed according to the FSM definition
struct.
Draw those in red and output a warning.
Found these osmo-bsc gscon errors with this patch:
ERROR: gscon_fsm_active() triggers a transition to ST_WAIT_HO_COMPL, but this is not allowed by the FSM definition
ERROR: gscon_fsm_wait_ho_compl() triggers a transition to ST_WAIT_MDCX_BTS_HO, but this is not allowed by the FSM definition
Related: OS#3109
Change-Id: Ic6319a958b3c7247510c1930bac8b02b95f9dcf2
Diffstat (limited to 'utils')
0 files changed, 0 insertions, 0 deletions