When libosmocore/contrib/fsm-to-dot.py hinted me at errors in the new gscon FSM in osmo-bsc, I took a moment to render and look at all our FSM definitions. The osmo-bsc ones are fixed by https://gerrit.osmocom.org/7501 I also found OS#3110 and OS#3111 I published the FSM graphs as rendered today at http://people.osmocom.org/neels/osmo_fsm_graphs/ and might do so every now and then. If anyone likes, we could do it from jenkins regularly. ~N