Searched refs:xSet (Results 1 – 1 of 1) sorted by relevance
50 QueueSetHandle_t xSet = xQueueCreateSet( uxEventQueueLength ); in xUnconstrainedQueueSet() local52 if( xSet ) in xUnconstrainedQueueSet()54 xSet->cTxLock = nondet_int8_t(); in xUnconstrainedQueueSet()55 __CPROVER_assume( xSet->cTxLock != 127 ); in xUnconstrainedQueueSet()56 xSet->cRxLock = nondet_int8_t(); in xUnconstrainedQueueSet()57 xSet->uxMessagesWaiting = nondet_UBaseType_t(); in xUnconstrainedQueueSet()58 xSet->xTasksWaitingToReceive.uxNumberOfItems = nondet_UBaseType_t(); in xUnconstrainedQueueSet()62 __CPROVER_assume( xSet->uxMessagesWaiting < xSet->uxLength ); in xUnconstrainedQueueSet()63 xSet->xTasksWaitingToSend.uxNumberOfItems = nondet_UBaseType_t(); in xUnconstrainedQueueSet()66 return xSet; in xUnconstrainedQueueSet()
