xref: /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/include/tasksStubs.h (revision 9d15770091225885eac5dbecba5cdb6840843db2) 
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 */
12