22 regression tests for state machines are managed by the new file tests/test-fsm.cfg. Check it, they are all documented inside. Most of the bugs introduced during the FSM extraction have been found with these tests.