Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DTCPHandleState_harness.c43 static int xIsInit = 0; in xTaskGetCurrentTaskHandle() local
47 if( xIsInit == 0 ) in xTaskGetCurrentTaskHandle()
50 xIsInit = 1; in xTaskGetCurrentTaskHandle()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
DProcessReceivedTCPPacket_harness.c42 static int xIsInit = 0; in xTaskGetCurrentTaskHandle() local
46 if( xIsInit == 0 ) in xTaskGetCurrentTaskHandle()
49 xIsInit = 1; in xTaskGetCurrentTaskHandle()