Home
last modified time | relevance | path

Searched refs:check (Results 1 – 13 of 13) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/
DCMakeLists.txt29 --bounds-check
30 --pointer-check
31 --div-by-zero-check
32 --float-overflow-check
33 --nan-check
35 --pointer-overflow-check
36 --signed-overflow-check
37 --undefined-shift-check
38 --unsigned-overflow-check
Drun-cbmc-proofs.py155 run_cmd(cmd, check=True)
185 ], check=True)
202 ], check=True)
214 ], check=True)
227 ], check=True)
239 ], check=True)
252 ], check=True)
273 run_cmd(["./prepare.py"], check=True, cwd=str(proof_root))
276 ["litani", "init", "--project", args.project_name], check=True)
DREADME.md1 …ectory that contains the test harness and cbmc configuration information needed to check the proof.
Dmake_cbmc_batch_files.py49 check=True)
DMakefile.template152 check-cbmc-result: cbmc.txt
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/
DREADME.md8 1. Make (You can check whether you have this by typing `make --version`)
10 2. Ruby (You can check whether you have this by typing `ruby --version`)
12 3. CMake version > 3.13.0 (You can check whether you have this by typing `cmake --version`)
22 4. lcov version 1.14 ( check with --version option )
24 5. unifdef version 2.10 ( check with -V option )
/FreeRTOS-Plus-TCP-v3.1.0/
DHistory.txt18 + Added a check in BufferAllocation_2.c to ensure adding (2 +
46 + Added a check for ICMP packets with incorrect checksum.
73 + Improved robustness by checking packet lengths in software even if the check
88 + Corrected length-check in usGenerateProtocolChecksum().
89 + Modified pxGetNetworkBufferWithDescriptor() function to check if a counting
98 + Added DNS response transaction ID check. The DNS cache shall only be updated
116 + Add a NULL check before attempting to close the DHCP socket. [Prior to
119 local private function, which did not have a NULL check, in place of the
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/ThirdParty/MSP432/
DNetworkInterface.c880 uint16_t check; in isEMACLinkUp() local
883 check = EMACPHYRead( EMAC0_BASE, uci8PHYAddr, EPHY_BMSR ); in isEMACLinkUp()
885 if( ( ( check & EPHY_BMSR_LINKSTAT ) != 0 ) && !( check & EPHY_BMSR_RFAULT ) ) in isEMACLinkUp()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DHCP/DHCPProcess/
DREADME.md8 and third-party code. For more details, please check the comments on
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/STM32Fxx/
Dreadme.md25 Please check the schematic of your hardware to see which pins are used.
26 Also check if either MII or RMII is used ( define `ipconfigUSE_RMII`
/FreeRTOS-Plus-TCP-v3.1.0/test/Coverity/
DREADME.md19 1. CMake version > 3.13.0 (You can check whether you have this by typing `cmake --version`)
/FreeRTOS-Plus-TCP-v3.1.0/.github/
DCONTRIBUTING.md37 2. You check existing open, and recently merged, pull requests to make sure someone else hasn't add…
/FreeRTOS-Plus-TCP-v3.1.0/docs/doxygen/
Dconfig.doxyfile1156 # specifying the -p option to a clang tool, such as clang-check. These options