#include "unity.h" #include "Types.h" #include "TimerModel.h" #include "MockTaskScheduler.h" void setUp(void) { } void tearDown(void) { } void testUpdateTimeShouldDelegateToTaskScheduler(void) { TaskScheduler_Update_Expect(19387L); TimerModel_UpdateTime(19387L); }