/FreeRTOS/Test/CBMC/proofs/Task/

• ../
• TaskCheckForTimeOut
• TaskCreate
• TaskDelay
• TaskDelete
• TaskGetCurrentTaskHandle
• TaskGetSchedulerState
• TaskGetTaskNumber
• TaskGetTickCount
• TaskIncrementTick
• TaskPrioritySet
• TaskResumeAll
• TaskSetTimeOutState
• TaskStartScheduler
• TaskSuspendAll
• TaskSwitchContext