2021-11-30 14:51:24 +01:00

19 lines
272 B
C

#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);
}