FreeRTOS-Plus/Test/CMock/examples/temp_sensor/src/TimerModel.c


1
2
3
4
5
6
7
8
9

#include "Types.h"
#include "TimerModel.h"
#include "TaskScheduler.h"

void TimerModel_UpdateTime(uint32 systemTime)
{
  TaskScheduler_Update(systemTime);
}