Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Reception/
DFreeRTOS_TCP_Reception_utest.c295 int32_t result; in test_prvSingleStepTCPHeaderOptions_SACK() local
315 result = prvSingleStepTCPHeaderOptions( in test_prvSingleStepTCPHeaderOptions_SACK()
321 TEST_ASSERT_EQUAL( 10, result ); in test_prvSingleStepTCPHeaderOptions_SACK()
327 int32_t result; in test_prvSingleStepTCPHeaderOptions_TS() local
347 result = prvSingleStepTCPHeaderOptions( in test_prvSingleStepTCPHeaderOptions_TS()
353 TEST_ASSERT_EQUAL( -1, result ); in test_prvSingleStepTCPHeaderOptions_TS()
359 int32_t result; in test_prvSingleStepTCPHeaderOptions_END_NOOP() local
375 result = prvSingleStepTCPHeaderOptions( in test_prvSingleStepTCPHeaderOptions_END_NOOP()
381 TEST_ASSERT_EQUAL( 0, result ); in test_prvSingleStepTCPHeaderOptions_END_NOOP()
387 result = prvSingleStepTCPHeaderOptions( in test_prvSingleStepTCPHeaderOptions_END_NOOP()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/patches/
Dunpatch.py39 …result = subprocess.run(["git", "apply", "-R", "--ignore-space-change", "--ignore-whitespace", tmp… variable
41 if result.returncode:
Dpatch.py19 … result = subprocess.run(["git", "apply", "--ignore-space-change", "--ignore-whitespace", tmpfile],
21 if result.returncode:
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/prvProcessEthernetPacket/
DprvProcessEthernetPacket_harness.c54 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-v3.1.0/test/cbmc/proofs/
DMakefile.template144 --result cbmc.txt \
152 check-cbmc-result: cbmc.txt
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/TM4C/
DNetworkInterface.c594 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-v3.1.0/test/build-combination/
DREADME.md3 This test aims at finding only compilation issues and as a result, the
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/STM32Hxx/
Dreadme.md70 If you use a memory that is not supported, it will result in a DMA errors.
/FreeRTOS-Plus-TCP-v3.1.0/
DHistory.txt26 stripped). That could result in the function returning an
143 priority to incoming messages, but could result in the IP task starving
/FreeRTOS-Plus-TCP-v3.1.0/docs/doxygen/
Dconfig.doxyfile115 # and the result, after processing the whole list, is used as the annotated
255 # documentation, which will result in a user-defined paragraph with heading
1109 # The result: instead of the source browser generated by doxygen, the links to
1336 # representing an infinite number of entries and will result in a full expanded
1411 # file. You can add a path in front of the file if the result should not be
1682 # Content Delivery Network so you can quickly see the result without installing