FreeRTOS/Test/CBMC/proofs/CBMCStubLibrary/tasksStubs.c
/* This function is another method apart from overwritting the defines to init the max
 * loop bound. */
This function is another method apart from overwritting the defines to init the max
loop bound.
This function is another method apart from overwritting the defines to init the max loop bound .
void vInitTaskCheckForTimeOut( BaseType_t maxCounter,
                               BaseType_t maxCounter_limit )
{
    xCounter = maxCounter;
    xCounterLimit = maxCounter_limit;
}
void vInitTaskCheckForTimeOut ( BaseType_t maxCounter , BaseType_t maxCounter_limit ) { xCounter = maxCounter ; xCounterLimit = maxCounter_limit ; }
This function is another method apart from overwritting the defines to init the max
 loop bound.
This function is another method apart from overwritting the defines to init the max loop bound .