Searched refs:ucBUFFER_SIZE (Results 1 – 1 of 1) sorted by relevance
17 uint8_t ucBUFFER_SIZE; in harness() local19 …__CPROVER_assume( ucBUFFER_SIZE >= sizeof( ARPPacket_t ) && ucBUFFER_SIZE < 2 * sizeof( ARPPacket_… in harness()20 void * xBuffer = malloc( ucBUFFER_SIZE ); in harness()27 xNetworkBuffer2.xDataLength = ucBUFFER_SIZE; in harness()