#1: Fsm_ResetTest::test_Reset_PushesLog()