| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/ |
| D | README.md | 6 You can run this on any GNU Make compatible systems. But in case of DOS based systems some tweaking…
8 1. Make (You can check whether you have this by typing `make --version`)
9 - Not found? Try `apt-get install make`.
20 - Run `make -j$(nproc)' and then run `sudo make install`.
49 make -C ${BUILD_DIR} all
57 make -C ${BUILD_DIR} coverage
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_utest.c | 117 /* Make random number generation fail. */ in test_vDHCPProcess_ResetAndIncorrectStateWithRNGFail()
141 /* Make random number generation pass. */ in test_vDHCPProcess_ResetAndInvalidSocket()
170 /* Make random number generation pass. */ in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketCreationFail()
216 /* Make random number generation pass. */ in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketSuccess()
227 /* Make sure that binding passes. Return zero. */ in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketSuccess()
265 /* Make random number generation pass. */ in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketBindFail()
276 /* Make sure that binding fails. Return anything except zero. */ in test_vDHCPProcess_ResetAndIncorrectStateWithRNGSuccessSocketBindFail()
314 /* Make random number generation pass. */ in test_vDHCPProcess_ResetAndIncorrectStateWithSocketAlreadyCreated()
344 /* Make sure that the local IP address is uninitialised. */ in test_vDHCPProcess_CorrectStateDHCPHookFailsDHCPSocketNULL()
349 /* Make sure that the user indicates anything else than the desired options. */ in test_vDHCPProcess_CorrectStateDHCPHookFailsDHCPSocketNULL()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/ |
| D | GenerateOriginalFiles.py | 60 # DO NOT MODIFY. The modules to combine to make up the original FreeRTOS_ARP.c
63 # DO NOT MODIFY. The modules to combine to make up the original FreeRTOS_DHCP.c
66 # DO NOT MODIFY. The modules to combine to make up the original FreeRTOS_DNS.c
73 # DO NOT MODIFY. The modules to combine to make up the original FreeRTOS_IP.c
79 # DO NOT MODIFY. The modules to combine to make up the original FreeRTOS_Sockets.c
82 # DO NOT MODIFY. The modules to combine to make up the original FreeRTOS_Stream_Buffer.c
85 # DO NOT MODIFY. The modules to combine to make up the original FreeRTOS_TCP_IP.c
92 # DO NOT MODIFY. The modules to combine to make up the original FreeRTOS_TCP_WIN.c
96 # DO NOT MODIFY. The modules to combine to make up the original FreeRTOS_UDP_IP.c
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ |
| D | run-cbmc-proofs.py | 30 This tool automates the process of running `make report` in each of
41 make report;
179 "--command", "make -B veryclean goto",
192 "--command", "make cbmc",
198 # Make returns 2 if the underlying command exited abnormally
207 "--command", "make property",
219 "--command", "make coverage",
233 "--command", "make check-cbmc-result",
244 "--command", "make report",
|
| D | ninja.py | 103 command = make -C ${folder} goto
107 command = make -C ${folder} cbmc
110 command = make -C ${folder} coverage
113 command = make -C ${folder} property
116 command = make -C ${folder} report
119 command = make -C ${folder} clean
122 command = make -C ${folder} veryclean
|
| D | Makefile.template | 70 # underneath each proof directory, to make it safe to build all proofs
117 $(MAKE) -B $(ENTRY).goto
172 cd $(PROOFS) && ./make-remove-makefiles.py
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Stream_Buffer/ |
| D | FreeRTOS_Stream_Buffer_utest.c | 263 /* Make sure that all values except the length are reset to 0. */ in test_vStreamBufferClear()
618 /* Make sure that the rest of buffer is untouched. i.e. zero.*/ in test_uxStreamBufferAdd_BufferHasMoreSpaceThanData_ZeroOffset_DataWriteCausesRollover_FrontAheadOfHead()
623 /* Make sure that the head is moved since data was written. */ in test_uxStreamBufferAdd_BufferHasMoreSpaceThanData_ZeroOffset_DataWriteCausesRollover_FrontAheadOfHead()
717 /* Make sure that rest of the buffer is untouched. i.e. zero.*/ in test_uxStreamBufferAdd_BufferHasLessSpaceThanData_NonZeroOffset()
720 /* Make sure that the head is not moved since data was written at an offset. */ in test_uxStreamBufferAdd_BufferHasLessSpaceThanData_NonZeroOffset()
772 /* Make sure that the rest of buffer is untouched. i.e. zero.*/ in test_uxStreamBufferAdd_BufferHasLessSpaceThanData_NonZeroOffsetCausesRollover()
775 /* Make sure that the head is not moved since data was written at an offset. */ in test_uxStreamBufferAdd_BufferHasLessSpaceThanData_NonZeroOffsetCausesRollover()
830 /* Make sure that the rest of buffer is untouched. i.e. zero.*/ in test_uxStreamBufferAdd_BufferHasLessSpaceThanData_ZeroOffset_DataWriteCausesRollover()
835 /* Make sure that the head is moved since data was written. */ in test_uxStreamBufferAdd_BufferHasLessSpaceThanData_ZeroOffset_DataWriteCausesRollover()
885 /* Make sure that the rest of buffer is untouched. i.e. zero.*/ in test_uxStreamBufferAdd_NULLData_BufferHasLessSpaceThanData_ZeroOffset_DataWriteCausesRollover()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/.github/workflows/ |
| D | ci.yml | 27 make -C test/unit-test/build/ all
35 make -C test/unit-test/build/ coverage
62 # Make sure that the portable directory is not included in the spellcheck.
190 run: cd git-secrets && sudo make install && cd ..
|
| D | release.yml | 84 make -C test/unit-test/build/ all
91 make -C test/unit-test/build/ coverage
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Fxx/ |
| D | readme.md | 36 The function `HAL_ETH_MspInit()` must be provided by the application. Make sure that your copy of t…
101 When MTU is 1200, MTU+48 will make 1248 ( 0x4E0 ), which is also well aligned.
106 Without memory caching, let the size be at least a multiple of 8 ( for DMA ), and make it at least …
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCPWin/vTCPWindowDestroy/ |
| D | vTCPWindowDestroy_harness.c | 39 /* Make the container of the queue item is NULL. */ in harness()
51 /* Make the container of the queue item is NULL. */ in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/ |
| D | README.md | 67 and Linux, you will need Make.
96 Make, then those programs will have been installed in the `src/cbmc`,
121 Windows or `make` on Linux or macOS. The proofs may take some time to
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/Coverity/ |
| D | coverity_misra.config | 27 … reason: "#includes are used to include compiler specific attributes to make (packed structures)"
55 …reason: "Multiple breaks in a do { ... } while ( 0 ); block are used to make the code easier to re…
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/CreateDNSMessage/ |
| D | CreateDNSMessage_harness.c | 53 /* Make sure the string has a valid but bounded length */ in harness()
61 /* Make sure the string ends with a NULL, this is expected */ in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/xilinx_ultrascale/ |
| D | uncached_memory.c | 101 /* Make sure that each pointer has an alignment of 4 KB. */
153 /* Make sure that the next pointer return will have a good alignment. */ in pucGetUncachedMemory()
179 /* For experiments in the SDIO driver, make the remaining uncached memory in vInitialiseUncachedMemory()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/Zynq/ |
| D | uncached_memory.c | 89 /* Make sure that each pointer has an alignment of 4 KB. */
141 /* Make sure that the next pointer return will have a good alignment. */ in pucGetUncachedMemory()
176 /* For experiments in the SDIO driver, make the remaining uncached memory in vInitialiseUncachedMemory()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ARP/ |
| D | FreeRTOS_ARP_utest.c | 190 /* Make the MAC address same. */ in test_xCheckLoopback_HappyCase()
219 /* Make the MAC address same. */ in test_xCheckLoopback_DuplicationFails()
222 /* Make buffer duplication fail. */ in test_xCheckLoopback_DuplicationFails()
249 /* Make the MAC address same. */ in test_xCheckLoopback_SendEventToIPTaskFails()
622 /* Make sure the the destination and source IP addresses are different. */ in test_eARPProcessPacket_Request_SenderAndTargetDifferent()
1645 /* Make sure there is no match. */ in test_xCheckRequiresARPResolution_NotOnLocalNetwork()
1674 /* Make sure there is no match. */ in test_xCheckRequiresARPResolution_NotOnLocalNetwork_InvalidHeader()
1703 /* Make sure there is no match. */ in test_xCheckRequiresARPResolution_NotOnLocalNetwork_IPv6()
1783 /* Make sure there is a match. */ in test_xCheckRequiresARPResolution_OnLocalNetwork_NotInCache()
1825 /* Make sure there is a match. */ in test_xCheckRequiresARPResolution_OnLocalNetwork_InCache()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/usGenerateProtocolChecksum/ |
| D | usGenerateProtocolChecksum_harness.c | 67 /* Make sure the length of buffer is enough for protocol header. in harness()
68 …* CBMC checks union structure before accessing it, so we need to make sure the buffer size is enou… in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_TCP_Utils_IPv6.c | 48 /* Just make sure the contents doesn't get compiled if TCP is not enabled. */
101 /* The packet will travel through Internet, make the MSS in prvSocketSetMSS_IPV6()
|
| D | FreeRTOS_IPv4_Sockets.c | 51 /** @brief The number of octets that make up an IP address. */
54 /* Just make sure the contents doesn't get compiled if IPv4 is not enabled. */
89 /* Test for the sequence "0[0-9]", which would make it an octal representation. */ in FreeRTOS_inet_pton4()
|
| D | FreeRTOS_TCP_Utils.c | 51 /* Just make sure the contents doesn't get compiled if TCP is not enabled. */
55 /* For logging and debugging: make a string showing the TCP flags
|
| /FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/ |
| D | tcp_netstat.md | 7 Make sure that your FreeRTOSIPConfig.h includes tools/tcp_utilities/include/tcp_netstat.h:
|
| /FreeRTOS-Plus-TCP-v4.0.0/.github/ |
| D | CONTRIBUTING.md | 37 2. You check existing open, and recently merged, pull requests to make sure someone else hasn't add…
47 NOTE: Please make sure the default option (Allow edits from maintainers) is left checked.
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_DHCP.h | 72 …AD_OPTION_CODE ( 0U ) /**< Used to pad other options to make them aligned. See R…
106 /* The following define is temporary and serves to make the /single source
108 //#define EP_DHCPData xDHCPData /**< Temporary define to make /sin…
109 //#define EP_IPv4_SETTINGS xNetworkAddressing /**< Temporary define to make /sin…
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/xRecv_Update_IPv6/ |
| D | xRecv_Update_IPv6_harness.c | 30 …/* Points to ethernet buffer offset by ipIP_TYPE_OFFSET, this make sure the buffer allocation is s… in harness()
|
