Searched refs:system (Results 1 – 11 of 11) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ |
| D | make_proof_makefiles.py | 150 def dump_makefile(dyr, system): argument
169 new_value.append(compute(item, so_far, system, name, dyr, True))
172 makefile[name] = compute(value, so_far, system, name, dyr)
183 common_dir_path = "..%s" % _platform_choices[system]["path-sep"]
191 include=_platform_choices[system]["makefile-inc"],
195 def compute(value, so_far, system, key, harness, appending=False): argument
218 tmp = re.sub("/", _platform_choices[system]["path-sep-re"], tmp)
228 final_value = "%s%s" % (_platform_choices[system]["define"],
231 final_value = "%s%s" % (_platform_choices[system]["include"],
412 dump_makefile(root, args.system)
|
| D | make_cbmc_batch_files.py | 40 if platform.system() == "Windows":
|
| D | make_common_makefile.py | 240 if args.system == "windows"
244 makefile_from_template(args.system,
|
| D | ninja.py | 191 if platform.system().lower() == 'windows':
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/ |
| D | README.md | 5 of the FreeRTOS codebase. A continuous integration system validates every
20 and CTest. Others use a custom python-based build system. New proofs
111 versa), you can pass the `--system linux` or `--system windows` options to those
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/Coverity/ConfigFiles/ |
| D | portmacro.h | 107 …onfigMAX_PRIORITIES is less than or equal to 32. It is very rare that a system requires more than…
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/ |
| D | TCPFilePaths.cmake | 3 # in their Cmake based build system by including this file.
|
| D | README.md | 53 ctest -E system --output-on-failure
|
| /FreeRTOS-Plus-TCP-v3.1.0/tools/tcp_utilities/ |
| D | tcp_dump_packets.md | 3 It is written to be added to the "pc" project ( Windows simulator ). It uses the file system to wri…
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/STM32Fxx/ |
| D | readme.md | 102 Having well aligned buffers is important for CPU with memory cache. Often the caching system divide…
|
| /FreeRTOS-Plus-TCP-v3.1.0/docs/doxygen/ |
| D | config.doxyfile | 3 # This file describes the settings to be used by the documentation system
39 # control system is used.
68 # performance problems for the file system.
457 # cores available in the system. You can set it explicitly to a value larger
580 # The default value is: system dependent.
748 # the version control system). Doxygen will invoke the program by executing (via
930 # directories that are symbolic links (a Unix file system feature) are excluded
1096 # source browser. The htags tool is part of GNU's global source tagging system
2355 # processors available in the system. You can set it explicitly to a value
|
