begriffs open source - cmsis-freertos/blob - Test/CBMC/include/tasksStubs.h

   1 #ifndef INC_TASK_STUBS_H
   2 #define INC_TASK_STUBS_H
   3
   4 #include "FreeRTOS.h"
   5 #include "task.h"
   6
   7 BaseType_t xState;
   8 void vInitTaskCheckForTimeOut( BaseType_t maxCounter,
   9                                BaseType_t maxCounter_limit );
  10
  11 #endif /* INC_TASK_STUBS_H */