#1: Fsm_VerifyLogTest::test_VerifyLog_LogWithInvalidTypeState_ThrowsException() has been prepared for the issue1 testing
#6: Fsm_VerifyLogTest::providLogsWithInvalidReasonSequence() has been formatted
#6: Fsm_VerifyLogTest::providLogsWithInvalidStateSequence() has been formatted
#6: Fsm_VerifyLogTest::providLogsWithInvalidSymbolSequence() has been formatted