public void then_generate_alarm() { manager.ReceiveVariableValues(alarmValue); manager.AlarmEvents.Count.ShouldEqual(1); CheckAlarmEvent(manager.AlarmEvents[0], 2, 1, int.MaxValue); }