Searched refs:result (Results 1 – 12 of 12) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Reception/ |
| D | FreeRTOS_TCP_Reception_utest.c | 309 int32_t result; in test_prvSingleStepTCPHeaderOptions_SACK() local
329 result = prvSingleStepTCPHeaderOptions( in test_prvSingleStepTCPHeaderOptions_SACK()
335 TEST_ASSERT_EQUAL( 10, result ); in test_prvSingleStepTCPHeaderOptions_SACK()
341 int32_t result; in test_prvSingleStepTCPHeaderOptions_TS() local
361 result = prvSingleStepTCPHeaderOptions( in test_prvSingleStepTCPHeaderOptions_TS()
367 TEST_ASSERT_EQUAL( -1, result ); in test_prvSingleStepTCPHeaderOptions_TS()
373 int32_t result; in test_prvSingleStepTCPHeaderOptions_END_NOOP() local
389 result = prvSingleStepTCPHeaderOptions( in test_prvSingleStepTCPHeaderOptions_END_NOOP()
395 TEST_ASSERT_EQUAL( 0, result ); in test_prvSingleStepTCPHeaderOptions_END_NOOP()
401 result = prvSingleStepTCPHeaderOptions( in test_prvSingleStepTCPHeaderOptions_END_NOOP()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/patches/ |
| D | unpatch.py | 39 …result = subprocess.run(["git", "apply", "-R", "--ignore-space-change", "--ignore-whitespace", tmp… variable
41 if result.returncode:
|
| D | patch.py | 19 … result = subprocess.run(["git", "apply", "--ignore-space-change", "--ignore-whitespace", tmpfile],
21 if result.returncode:
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IP/ProcessEthernetPacket/ |
| D | ProcessEthernetPacket_harness.c | 67 eFrameProcessingResult_t result; in __CPROVER_file_local_FreeRTOS_IP_c_prvProcessIPPacket() local
69 return result; in __CPROVER_file_local_FreeRTOS_IP_c_prvProcessIPPacket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/prvProcessEthernetPacket/ |
| D | prvProcessEthernetPacket_harness.c | 54 eFrameProcessingResult_t result; in __CPROVER_file_local_FreeRTOS_IP_c_prvProcessIPPacket() local
56 return result; in __CPROVER_file_local_FreeRTOS_IP_c_prvProcessIPPacket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ |
| D | Makefile.template | 142 --result cbmc.xml \
150 check-cbmc-result: cbmc.xml
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/TM4C/ |
| D | NetworkInterface.c | 594 BaseType_t result = pdTRUE; in _process_received_packet() local
649 result = pdTRUE; in _process_received_packet()
680 return result; in _process_received_packet()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/NXP1060/ |
| D | NetworkInterface.c | 426 status_t result; in prvNXP1060_NetworkInterfaceOutput() local
448 result = ENET_SendFrame( ethernetifLocal->base, in prvNXP1060_NetworkInterfaceOutput()
456 switch( result ) in prvNXP1060_NetworkInterfaceOutput()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/build-combination/ |
| D | README.md | 3 This test aims at finding only compilation issues and as a result, the
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Hxx/ |
| D | readme.md | 71 If you use a memory that is not supported, it will result in a DMA errors.
|
| /FreeRTOS-Plus-TCP-v4.0.0/ |
| D | History.txt | 95 stripped). That could result in the function returning an
212 priority to incoming messages, but could result in the IP task starving
|
| /FreeRTOS-Plus-TCP-v4.0.0/docs/doxygen/ |
| D | config.doxyfile | 137 # and the result, after processing the whole list, is used as the annotated
277 # documentation, which will result in a user-defined paragraph with heading
1206 # The result: instead of the source browser generated by doxygen, the links to
1450 # representing an infinite number of entries and will result in a full expanded
1532 # file. You can add a path in front of the file if the result should not be
1799 # Content Delivery Network so you can quickly see the result without installing
|
