Home
last modified time | relevance | path

Searched refs:format (Results 1 – 19 of 19) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/
HDninja.py76 raise UserWarning("Can't find key {} in json file {}".format(JSON_KEY, filename))
78 raise UserWarning("Can't parse json file {}".format(filename))
180 with open('{}/Makefile'.format(folder)) as makefile:
186 raise UserWarning("Can't find ENTRY in {}/Makefile".format(folder))
206 ninja.write(NINJA_BUILDS.format(folder=proof, entry=entry))
208 ['{}_{}'.format(kind, folder) for folder in folders]
210 ninja.write(NINJA_GLOBALS.format(
HDprepare.py94 """.format(str(e))))
113 logging.basicConfig(format="{script}: %(levelname)s %(message)s".format(
HDmake_type_header_files.py91 header_file = "{}_datastructure.h".format(module)
155 fmt = "{script}: %(levelname)s %(message)s".format(
158 logging.basicConfig(format=fmt, level=logging.DEBUG)
160 logging.basicConfig(format=fmt, level=logging.INFO)
HDmake_common_makefile.py124 prefix = "{}_".format(prefix.rstrip('_')) if prefix else ""
150 lines = ["\t{}{} \\".format(value_prefix, value) for value in values]
151 return "{}_{} = \\\n{}\n\t# empty\n".format(key_prefix,
160 makefile.write("{} = {}\n".format(define, value))
188 line = line.replace('@{}@'.format(key), " ".join(value))
HDmake_proof_makefiles.py189 {include} {common_dir_path}Makefile.common""").format(
206 var_subbed = value.format(**so_far)
370 choices are {choices}""").format(
394 fmt = "{script}: %(levelname)s %(message)s".format(
397 logging.basicConfig(format=fmt, level=logging.DEBUG)
399 logging.basicConfig(format=fmt, level=logging.INFO)
401 logging.basicConfig(format=fmt, level=logging.WARNING)
HDmake_configuration_directories.py161 logging.basicConfig(format="{script}: %(levelname)s %(message)s".format(
HDrun-cbmc-proofs.py99 format="run-cbmc-proofs: %(message)s", level=level)
105 "{complete:{width}} / {total:{width}}".format(
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/patches/
HDcompute_patch.py111 """.format(target=match.group(1), original=full_def))
135 """.format(status.returncode, status.stderr)))
141 """.format(diff_state.returncode, diff_state.stderr)))
163 """.format(patch.returncode, patch.stderr)))
170 """.format(cleaned.returncode, header_file, cleaned.stderr)))
HDMakefile6 git format-patch $(BRANCH)..$(BRANCH)-cbmc-patches
HDunpatch.py42 print("Unpatching failed: {}".format(tmpfile))
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/lib/
HDprint_tool_versions.py66 logging.basicConfig(format=f"{exe_name}: %(message)s")
HDsummarize.py139 logging.basicConfig(format="%(levelname)s: %(message)s")
/FreeRTOS-Plus-TCP-v4.0.0/tools/
HDCMakeLists.txt24 $<$<COMPILE_LANG_AND_ID:C,Clang,GNU>:-Wno-format>
/FreeRTOS-Plus-TCP-v4.0.0/test/build-combination/Header_Self_Contain/
HDheaderSelfContain.cmake25 $<$<COMPILE_LANG_AND_ID:C,Clang>:-Wno-format-nonliteral>
/FreeRTOS-Plus-TCP-v4.0.0/test/Coverity/
HDREADME.md51 6. Format the errors in HTML format so that it is more readable while removing the FreeRTOS-Kernel …
53 cov-format-errors --dir . --exclude-files '(.*/FreeRTOS-Kernel/.*)' --html-output html-output
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/pic32mzef/
HDNetworkInterface_eth.c68 #define PIC32_MAC_DbgPrint( format, ... ) SYS_CONSOLE_PRINT( format, ## __VA_ARGS__ ) argument
70 #define PIC32_MAC_DbgPrint( format, ... ) argument
/FreeRTOS-Plus-TCP-v4.0.0/test/build-combination/
HDCMakeLists.txt88 $<$<COMPILE_LANG_AND_ID:C,Clang>:-Wno-format-nonliteral>
/FreeRTOS-Plus-TCP-v4.0.0/
HDHistory.txt93 zeros, perhaps because it was entered in octal format, the
128 + Added description for functions and variables in Doxygen compatible format.
/FreeRTOS-Plus-TCP-v4.0.0/docs/doxygen/
HDconfig.doxyfile10 # The format is:
74 # sub-directories (in 2 levels) under the output directory of each output format
327 # using this tag. The format is ext=language, where ext is a file extension, and
330 # VHDL, Fortran (fixed format Fortran: FortranFixed, free formatted Fortran:
348 # according to the Markdown format, which allows for more readable
788 # output files in an output format independent way. To create the layout file
871 # The WARN_FORMAT tag determines the format of the warning messages that doxygen
874 # and the warning text. Optionally the format may contain $version, which will
1521 # files are now used as the Windows 98 help format, and will replace the old
1522 # Windows help format (.hlp) on all Windows platforms in the future. Compressed
[all …]