Searched full:path (Results 1 – 25 of 60) sorted by relevance
123
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/patches/ |
| D | patches_constants.py | 27 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")]
|
| D | patch.py | 12 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:
|
| D | unpatch.py | 33 os.remove(os.path.join(PATCHES_DIR, "patched"))
37 for tmpfile in glob(os.path.join(PATCHES_DIR, "*.patch")):
40 cwd=os.path.join("..", "..", "..", ".."))
|
| D | compute_patch.py | 63 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-v4.0.0/test/cbmc/proofs/ |
| D | make_type_header_files.py | 53 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__))
|
| D | make_configuration_directories.py | 101 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__)))
|
| D | make_proof_makefiles.py | 33 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 …]
|
| D | prepare.py | 37 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__)))
|
| D | make_cbmc_batch_files.py | 32 cbmc_batch_files = [os.path.join(os.path.abspath(dyr), file)
48 cwd=os.path.abspath(dyr),
|
| D | run-cbmc-proofs.py | 116 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
304 out_sym = pathlib.Path("/tmp")/"litani"/"runs"/"latest"
307 local_copy = pathlib.Path("output")/"latest"
|
| D | make_remove_makefiles.py | 42 os.remove(os.path.join(root, "Makefile"))
|
| /FreeRTOS-Plus-TCP-v4.0.0/.github/workflows/ |
| D | ci.yml | 40 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…
78 path: ./
87 path: ./
188 path: git-secrets
|
| D | release.yml | 59 path: FreeRTOS-Plus-TCP
98 path: zip-check/FreeRTOS-Plus-TCP-${{ github.event.inputs.version_number }}.zip
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Networking/ |
| D | FreeRTOS_DNS_Networking_utest.c | 116 * @brief Happy path!
153 * @brief Happy path!
170 * @brief Happy path!
206 * @brief Happy path!
223 * @brief Happy path!
|
| /FreeRTOS-Plus-TCP-v4.0.0/ |
| D | .gitmodules | 2 path = tools/CMock
6 path = test/FreeRTOS-Kernel
|
| D | manifest.yml | 12 path: "test/FreeRTOS-Kernel"
|
| D | GenerateOriginalFiles.py | 7 # `python3 your/path/to/GenerateOriginalFiles.py`
236 os.chdir(os.path.dirname(sys.argv[0]))
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Callback/ |
| D | FreeRTOS_DNS_Callback_utest.c | 102 * @brief Happy Path identifier passed is not found!
131 * @brief Happy Path!
166 * @brief Happy Path!
204 * @brief Happy Path!
231 * @brief Happy Path!
275 * @brief Happy path
303 * @brief Happy path with list non-empty at end.
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/lib/ |
| D | print_tool_versions.py | 47 logging.error("%s'%s' not found on $PATH", err, tool)
65 exe_name = pathlib.Path(__file__).name
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/ |
| D | FreeRTOS_Sockets_DiffConfig2_privates_utest.c | 60 * @brief Happy path with TCP socket size being determined.
81 * @brief Happy path with TCPv6 socket size being determined.
|
| /FreeRTOS-Plus-TCP-v4.0.0/docs/doxygen/ |
| D | config.doxyfile | 66 # The OUTPUT_DIRECTORY tag is used to specify the (relative or absolute) path
67 # into which the generated documentation will be written. If a relative path is
170 # If the FULL_PATH_NAMES tag is set to YES, doxygen will prepend the full path
172 # shortest path that makes the file name unique will be used
177 # The STRIP_FROM_PATH tag can be used to strip a user-defined part of the path.
179 # part of the path. The tag can be used to show relative paths in the file list.
180 # If left blank the directory from which doxygen is run is used as the path to
190 # path mentioned in the documentation of a class, which tells the reader which
806 # search path. See also \cite for info how to create references.
1023 # Note that the wildcards are matched against the file with absolute path, so to
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc1/ |
| D | README.md | 27 All harnesses include the queue.c file, but test only for the happy path.
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_Sockets/ |
| D | FreeRTOS_IPv4_Sockets_utest.c | 166 * @brief Happy path.
198 * @brief Happy path.
282 * @brief Happy path.
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc2/ |
| D | README.md | 49 All harnesses include the queue.c file, but test only for the happy path.
|
| /FreeRTOS-Plus-TCP-v4.0.0/cmake_modules/ |
| D | FindPCAP.cmake | 12 # proper installation path.
|
123
