Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARPGenerateRequestPacket/
DARPGenerateRequestPacket_harness.c17 uint8_t ucBUFFER_SIZE; in harness() local
19 …__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()