Home
last modified time | relevance | path

Searched refs:TASK_STUB_COUNTER (Results 1 – 1 of 1) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CBMCStubLibrary/
DtasksStubs.c5 #ifndef TASK_STUB_COUNTER
6 #define TASK_STUB_COUNTER 0; macro
18 static BaseType_t xCounter = TASK_STUB_COUNTER;