Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Parser/
DFreeRTOS_DNS_Parser_utest.c761 BaseType_t xExpected = pdFALSE; in test_DNS_ParseDNSReply_fail_small_buffer() local
765 xExpected ); in test_DNS_ParseDNSReply_fail_small_buffer()
777 BaseType_t xExpected = pdFALSE; in test_DNS_ParseDNSReply_fail_no_namefield() local
781 xExpected ); in test_DNS_ParseDNSReply_fail_no_namefield()
794 BaseType_t xExpected = pdFALSE; in test_DNS_ParseDNSReply_fail() local
804 xExpected ); in test_DNS_ParseDNSReply_fail()
816 BaseType_t xExpected = pdFALSE; in test_DNS_ParseDNSReply_fail_empty_namefield() local
829 xExpected ); in test_DNS_ParseDNSReply_fail_empty_namefield()
846 BaseType_t xExpected = pdFALSE; in test_DNS_ParseDNSReply_fail_not_enough_space_lt_32() local
883 xExpected ); in test_DNS_ParseDNSReply_fail_not_enough_space_lt_32()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ParseDNSReply/
DParseDNSReply_harness.c30 BaseType_t xExpected );
117 BaseType_t xExpected; in harness() local
129 xExpected ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_DNS.c427 BaseType_t xExpected; in prvDNSReply() local
439 xExpected = pdTRUE; in prvDNSReply()
443 xExpected = pdFALSE; in prvDNSReply()
451 if( xExpected != pdFALSE ) in prvDNSReply()
456 xExpected ); in prvDNSReply()
DFreeRTOS_DNS_Parser.c255 BaseType_t xExpected ) in DNS_ParseDNSReply() argument
274 BaseType_t xDoStore = xExpected; in DNS_ParseDNSReply()
505 else if( xExpected == pdFALSE ) in DNS_ParseDNSReply()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName/
DDNSgetHostByName_harness.c33 BaseType_t xExpected );
65 BaseType_t xExpected ) in DNS_ParseDNSReply() argument
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSHandlePacket/
DDNShandlePacket_harness.c14 BaseType_t xExpected ) in prvParseDNSReply() argument
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_DNS_Parser.h67 BaseType_t xExpected );
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/
DDNSgetHostByName_a_harness.c52 BaseType_t xExpected ) in DNS_ParseDNSReply() argument