Home
last modified time | relevance | path

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

12

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/patches/
HDpatches_constants.py27 PATCHES_DIR = os.path.dirname(os.path.abspath(__file__))
37 absolute_prefix = os.path.abspath(os.path.join(PATCHES_DIR, *shared_prefix))
38 absolute_prefix_port = os.path.abspath(os.path.join(PATCHES_DIR, *shared_prefix_port))
40 HEADERS = [os.path.join(absolute_prefix, "FreeRTOSConfig.h"),
41 os.path.join(absolute_prefix, "FreeRTOSIPConfig.h"),
42 os.path.join(absolute_prefix_port, "portmacro.h")]
HDpatch.py12 if os.path.isfile("patched"):
17 for tmpfile in glob(os.path.join(PATCHES_DIR, "*.patch")):
20 cwd=os.path.join("..", "..", "..", ".."))
27 with open(os.path.join(PATCHES_DIR, "patched"), "w") as outp:
HDunpatch.py33 os.remove(os.path.join(PATCHES_DIR, "patched"))
37 for tmpfile in glob(os.path.join(PATCHES_DIR, "*.patch")):
40 cwd=os.path.join("..", "..", "..", ".."))
HDcompute_patch.py63 proof_dir = os.path.abspath(os.path.join(PATCHES_DIR, "..", "proofs"))
67 file = os.path.join(fldr, "Makefile.json")
70 file = os.path.join(fldr, "MakefileCommon.json")
144 if os.path.basename(header_file) + "\n" in diff_state.stdout:
174 path_name = os.path.join(PATCHES_DIR, path_name)
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/
HDmake_type_header_files.py53 base = os.path.basename(fyle)
88 fyle = os.path.normpath(fyle)
111 header = os.path.normpath(os.path.join(tmpdir, header_file))
118 target_file = os.path.normpath(os.path.join(target_folder, header_file))
137 "default": os.path.abspath(os.getcwd()),
156 script=os.path.basename(__file__))
HDmake_configuration_directories.py101 json_content = load_json_config_file(os.path.join(folder,
128 new_config_folder = os.path.join(folder, "config_" + configname)
129 pathlib.Path(new_config_folder).mkdir(exist_ok=True, parents=True)
133 shutil.copy(os.path.join(folder, file),
134 os.path.join(new_config_folder, file))
149 with open(os.path.join(new_config_folder, "Makefile.json"),
162 script=os.path.basename(__file__)))
HDmake_proof_makefiles.py33 import os.path
151 data = load_json_config_file(os.path.join(dyr, "Makefile.json"))
183 common_dir_path = "..%s" % _platform_choices[system]["path-sep"]
184 common_dir_path = common_dir_path * len(dyr.split(os.path.sep)[1:])
186 with open(os.path.join(dyr, "Makefile"), "w") as handle:
200 os.path.join(harness, "Makefile.json"), key,
212 os.path.join(harness, "Makefile.json"), key,
218 tmp = re.sub("/", _platform_choices[system]["path-sep-re"], tmp)
224 os.path.join(harness, "Makefile.json"),
334 "path-sep": "/",
[all …]
HDprepare.py37 sys.path.append(os.path.normpath(os.path.join(CWD, "..", "patches")))
49 PROOFS_DIR = os.path.dirname(os.path.abspath(__file__))
114 script=os.path.basename(__file__)))
HDmake_cbmc_batch_files.py32 cbmc_batch_files = [os.path.join(os.path.abspath(dyr), file)
48 cwd=os.path.abspath(dyr),
HDrun-cbmc-proofs.py116 proof_name = str(pathlib.Path(root).name)
122 yield pathlib.Path(root)
159 proof_directory = pathlib.Path(proof_directory)
169 # due to proof configurations. Use the relative path instead.
271 proof_root = pathlib.Path(__file__).resolve().parent
HDmake_remove_makefiles.py42 os.remove(os.path.join(root, "Makefile"))
/FreeRTOS-Plus-TCP-v3.1.0/.github/workflows/
HDci.yml40 path: ./test/unit-test/build/coverage.info
50 path: main
54 path: ./tcp
61 PATH=$PATH:main/tools/spell
63 …sed -i 's/find $DIRNAME/find $DIRNAME -not -path '*portable*'/g' main/tools/spell/find-unknown-com…
108 path: ./
174 path: git-secrets
HDrelease.yml59 path: FreeRTOS-Plus-TCP
98 path: zip-check/FreeRTOS-Plus-TCP-${{ github.event.inputs.version_number }}.zip
/FreeRTOS-Plus-TCP-v3.1.0/
HD.gitmodules2 path = tools/CMock
6 path = test/FreeRTOS-Kernel
HDmanifest.yml12 path: "test/FreeRTOS-Kernel"
HDGenerateOriginalFiles.py7 # `python3 your/path/to/GenerateOriginalFiles.py`
236 os.chdir(os.path.dirname(sys.argv[0]))
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Callback/
HDFreeRTOS_DNS_Callback_utest.c102 * @brief Happy Path identifier passed is not found!
122 * @brief Happy Path!
149 * @brief Happy Path!
181 * @brief Happy Path!
208 * @brief Happy Path!
252 * @brief Happy path
278 * @brief Happy path with list non-empty at end.
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Networking/
HDFreeRTOS_DNS_Networking_utest.c116 * @brief Happy path!
157 * @brief Happy path!
191 * @brief Happy path!
207 * @brief Happy path!
/FreeRTOS-Plus-TCP-v3.1.0/docs/doxygen/
HDconfig.doxyfile56 # The OUTPUT_DIRECTORY tag is used to specify the (relative or absolute) path
57 # into which the generated documentation will be written. If a relative path is
148 # If the FULL_PATH_NAMES tag is set to YES, doxygen will prepend the full path
150 # shortest path that makes the file name unique will be used
155 # The STRIP_FROM_PATH tag can be used to strip a user-defined part of the path.
157 # part of the path. The tag can be used to show relative paths in the file list.
158 # If left blank the directory from which doxygen is run is used as the path to
168 # path mentioned in the documentation of a class, which tells the reader which
776 # search path. See also \cite for info how to create references.
940 # Note that the wildcards are matched against the file with absolute path, so to
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc1/
HDREADME.md27 All harnesses include the queue.c file, but test only for the happy path.
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc2/
HDREADME.md49 All harnesses include the queue.c file, but test only for the happy path.
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/Zynq/
HDx_emacpsif_dma.c628 * The EmacPs has a HW bug (SI# 692601) on the Rx path for heavy Rx traffic.
629 * Under heavy Rx traffic because of the HW bug there are times when the Rx path
630 * becomes unresponsive. The workaround for it is to check for the Rx path for
633 * the Rx data path.
/FreeRTOS-Plus-TCP-v3.1.0/test/Coverity/
HDCMakeLists.txt22 # Set global path variables.
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/xilinx_ultrascale/
HDx_emacpsif_dma.c722 * The EmacPs has a HW bug (SI# 692601) on the Rx path for heavy Rx traffic.
723 * Under heavy Rx traffic because of the HW bug there are times when the Rx path
724 * becomes unresponsive. The workaround for it is to check for the Rx path for
727 * the Rx data path.
/FreeRTOS-Plus-TCP-v3.1.0/test/build-combination/
HDCMakeLists.txt18 # Set global path variables.

12