Searched refs:xExpected (Results 1 – 8 of 8) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ParseDNSReply/ |
| HD | ParseDNSReply_harness.c | 30 BaseType_t xExpected );
117 BaseType_t xExpected; in harness() local
129 xExpected ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Parser/ |
| HD | FreeRTOS_DNS_Parser_utest.c | 1258 BaseType_t xExpected = pdFALSE; in test_DNS_ParseDNSReply_fail_small_buffer() local
1265 xExpected, in test_DNS_ParseDNSReply_fail_small_buffer()
1278 BaseType_t xExpected = pdFALSE; in test_DNS_ParseDNSReply_fail_no_namefield() local
1285 xExpected, in test_DNS_ParseDNSReply_fail_no_namefield()
1299 BaseType_t xExpected = pdFALSE; in test_DNS_ParseDNSReply_fail() local
1313 xExpected, in test_DNS_ParseDNSReply_fail()
1326 BaseType_t xExpected = pdFALSE; in test_DNS_ParseDNSReply_fail_empty_namefield() local
1343 xExpected, in test_DNS_ParseDNSReply_fail_empty_namefield()
1363 BaseType_t xExpected = pdFALSE; in test_DNS_ParseDNSReply_fail_not_enough_space_lt_32() local
1401 xExpected, in test_DNS_ParseDNSReply_fail_not_enough_space_lt_32()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSHandlePacket/ |
| HD | DNShandlePacket_harness.c | 14 BaseType_t xExpected ) in prvParseDNSReply() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| HD | FreeRTOS_DNS_Parser.h | 66 BaseType_t xExpected,
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| HD | DNSgetHostByName_harness.c | 34 BaseType_t xExpected,
72 BaseType_t xExpected, in DNS_ParseDNSReply() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| HD | FreeRTOS_DNS.c | 1079 BaseType_t xExpected; in prvDNSReply() local
1093 xExpected = pdTRUE; in prvDNSReply()
1101 xExpected = pdTRUE; in prvDNSReply()
1105 xExpected = pdFALSE; in prvDNSReply()
1113 if( xExpected != pdFALSE ) in prvDNSReply()
1119 xExpected, in prvDNSReply()
|
| HD | FreeRTOS_DNS_Parser.c | 298 BaseType_t xExpected, in DNS_ParseDNSReply() argument
312 xSet.xDoStore = xExpected; in DNS_ParseDNSReply()
612 else if( xExpected == pdFALSE ) in DNS_ParseDNSReply()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/ |
| HD | DNSgetHostByName_a_harness.c | 53 BaseType_t xExpected, in DNS_ParseDNSReply() argument
|
