Home
last modified time | relevance | path

Searched defs:xExpected (Results 1 – 7 of 7) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSHandlePacket/
HDDNShandlePacket_harness.c14 BaseType_t xExpected ) in prvParseDNSReply()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ParseDNSReply/
HDParseDNSReply_harness.c117 BaseType_t xExpected; in harness() local
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Parser/
HDFreeRTOS_DNS_Parser_utest.c1258 BaseType_t xExpected = pdFALSE; in test_DNS_ParseDNSReply_fail_small_buffer() local
1278 BaseType_t xExpected = pdFALSE; in test_DNS_ParseDNSReply_fail_no_namefield() local
1299 BaseType_t xExpected = pdFALSE; in test_DNS_ParseDNSReply_fail() local
1326 BaseType_t xExpected = pdFALSE; in test_DNS_ParseDNSReply_fail_empty_namefield() local
1363 BaseType_t xExpected = pdFALSE; in test_DNS_ParseDNSReply_fail_not_enough_space_lt_32() local
1421 BaseType_t xExpected = pdFALSE; in test_DNS_ParseDNSReply_ansswer_record_no_answers() local
1457 BaseType_t xExpected = pdFALSE; in test_DNS_ParseDNSReply_ansswer_record_too_many_answers() local
1528 BaseType_t xExpected = pdTRUE; in test_DNS_ParseDNSReply_answer_lmmnr_reply_xBufferAllocFixedsize() local
1599 BaseType_t xExpected = pdFALSE; in test_DNS_ParseDNSReply_answer_lmmnr_reply() local
1672 BaseType_t xExpected = pdFALSE; in test_DNS_ParseDNSReply_answer_lmmnr_reply2() local
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/
HDDNSgetHostByName_a_harness.c53 BaseType_t xExpected, in DNS_ParseDNSReply()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/
HDDNSgetHostByName_harness.c72 BaseType_t xExpected, in DNS_ParseDNSReply()
/FreeRTOS-Plus-TCP-v4.0.0/source/
HDFreeRTOS_DNS_Parser.c298 BaseType_t xExpected, in DNS_ParseDNSReply()
HDFreeRTOS_DNS.c1079 BaseType_t xExpected; in prvDNSReply() local