Home
last modified time | relevance | path

Searched full:coverage (Results 1 – 25 of 25) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/cmock/
Dcoverage.cmake7 # reset coverage counters
13 COMMAND mkdir -p ${CMAKE_BINARY_DIR}/coverage
60 # Remove existing coverage file.
62 COMMAND rm -f ${CMAKE_BINARY_DIR}/coverage.info
71 --output-file ${CMAKE_BINARY_DIR}/coverage.info
77 # Remove kernel coverage
80 --remove ${CMAKE_BINARY_DIR}/coverage.info
82 --output-file ${CMAKE_BINARY_DIR}/coverage.info
85 # Remove portable coverage
88 --remove ${CMAKE_BINARY_DIR}/coverage.info
[all …]
Dcreate_test.cmake156 -fprofile-arcs -ftest-coverage -fprofile-generate \
158 LINK_FLAGS "-fprofile-arcs -ftest-coverage \
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/
DMakefile.template128 coverage.xml: $(ENTRY).goto
135 coverage: coverage.xml
137 report: cbmc.xml property.xml coverage.xml
144 --coverage coverage.xml
161 @RM@ cbmc.xml property.xml coverage.xml TAGS TAGS-*
Dninja.py39 with targets goto, cbmc, coverage, property, and report.
110 command = make -C ${folder} coverage
139 build {folder}/coverage.xml: build_coverage {folder}/{entry}.goto
145 …dex.html: build_report {folder}/{entry}.goto {folder}/cbmc.txt {folder}/coverage.xml {folder}/prop…
Drun-cbmc-proofs.py216 coverage_out = str(proof_directory / "coverage.xml")
219 "--command", "make coverage",
225 "--tags", "stats-group:coverage computation",
226 "--description", ("%s: computing coverage" % proof_name),
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/
DREADME.md56 # Calculate the coverage
57 make -C ${BUILD_DIR} coverage
58 lcov --list --rc lcov_branch_coverage=1 ${BUILD_DIR}coverage.info
67 Capturing coverage data from .
69 Overall coverage rate:
78 Reading tracefile test/unit-test/build/coverage.info
DCMakeLists.txt257 # Add function to enable CMock based tests and coverage.
319 # ==================================== Coverage Analysis configuration ===========================…
320 # Add a target for running coverage on tests.
321 add_custom_target( coverage target
322 COMMAND ${CMAKE_COMMAND} -P ${MODULE_ROOT_DIR}/test/unit-test/cmock/coverage.cmake
/FreeRTOS-Plus-TCP-v4.0.0/.github/workflows/
Dci.yml33 - name: Coverage
35 make -C test/unit-test/build/ coverage
36 lcov --list --rc lcov_branch_coverage=1 test/unit-test/build/coverage.info
37 - name: Check Coverage
38 uses: FreeRTOS/CI-CD-Github-Actions/coverage-cop@main
40 path: ./test/unit-test/build/coverage.info
Drelease.yml91 make -C test/unit-test/build/ coverage
92 lcov --list --rc lcov_branch_coverage=1 test/unit-test/build/coverage.info
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/
D.gitignore3 coverage.xml
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/cmake/
Dcompute-coverage.cmake12 …"Unexpected CBMC coverage return code '${res}' for proof ${proof_name}. Log written to ${out_file}…
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IP/SendEventToIPTask/
DREADME.md12 The coverage is imperfect (97%) because xSendEventToIPTask always
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/
DMakefile.json4 # Minimal buffer size for maximum coverage, see harness for details.
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/
DMakefile.json4 # Minimal buffer size for maximum coverage, see harness for details.
/FreeRTOS-Plus-TCP-v4.0.0/
DHistory.txt18 + Achieved 100% unit test coverage for both IPv4 and IPv6.
77 This makes the code modular making test coverage easier.
78 + Achieved 100% unit-test coverage.
DREADME.md25 …d modularity of the library. Version 3.0.0 adds comprehensive unit test coverage for all lines and…
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ReadNameField/
DMakefile.json16 # In the proof, NAME_SIZE >= 4 required for good coverage.
DReadNameField_harness.c65 "NAME_SIZE >= 4 required for good coverage." ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ParseDNSReply/
DMakefile.json18 # In the proof, NAME_SIZE >= 4 required for good coverage.
DParseDNSReply_harness.c46 "NAME_SIZE >= 4 required for good coverage." ); in DNS_ReadNameField()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS/
DFreeRTOS_DNS_utest.c456 * @warning Function not really tested besides code coverage
477 * @warning Function not really tested besides code coverage
496 * coverage
497 * @warning Function not really tested besides code coverage
545 * @warning Function not really tested besides code coverage
566 * @warning Function not really tested besides code coverage
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_IPv4.c385 … /* Exclude this from branch coverage as this is only used for debugging. */ in prvAllowIPPacketIPv4()
DFreeRTOS_Sockets.c518 …xReturn == pdPASS ); /* LCOV_EXCL_BR_LINE Exclude this line from branch coverage as the not-taken … in prvDetermineSocketSize()
531 …xReturn == pdPASS ); /* LCOV_EXCL_BR_LINE Exclude this line from branch coverage as the not-taken … in prvDetermineSocketSize()
540 …xReturn == pdPASS ); /* LCOV_EXCL_BR_LINE Exclude this line from branch coverage as the not-taken … in prvDetermineSocketSize()
3384 /* Ignore the following line from branch coverage since the exits from this loop are in FreeRTOS_EUI48_pton()
DFreeRTOS_DHCP.c1604 …/* Exclude this line from branch coverage as the not-taken condition will never happen unless the … in prvSendDHCPDiscover()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP/
DFreeRTOS_TCP_IP_utest.c2328 /* Only used during decision coverage testing. */ in test_Helper_ListInsertEnd()