Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/
Dninja.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(
Dprepare.py94 """.format(str(e))))
113 logging.basicConfig(format="{script}: %(levelname)s %(message)s".format(
Dmake_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)
Dmake_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))
Dmake_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)
Dmake_configuration_directories.py161 logging.basicConfig(format="{script}: %(levelname)s %(message)s".format(
Drun-cbmc-proofs.py99 format="run-cbmc-proofs: %(message)s", level=level)
105 "{complete:{width}} / {total:{width}}".format(
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/patches/
Dcompute_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)))
DMakefile6 git format-patch $(BRANCH)..$(BRANCH)-cbmc-patches
Dunpatch.py42 print("Unpatching failed: {}".format(tmpfile))
/FreeRTOS-Plus-TCP-v3.1.0/test/Coverity/
DREADME.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-v3.1.0/source/portable/NetworkInterface/pic32mzef/
DNetworkInterface_eth.c67 #define PIC32_MAC_DbgPrint( format, ... ) SYS_CONSOLE_PRINT( format, ## __VA_ARGS__ ) argument
69 #define PIC32_MAC_DbgPrint( format, ... ) argument
/FreeRTOS-Plus-TCP-v3.1.0/
DHistory.txt24 zeros, perhaps because it was entered in octal format, the
59 + Added description for functions and variables in Doxygen compatible format.
/FreeRTOS-Plus-TCP-v3.1.0/docs/doxygen/
Dconfig.doxyfile10 # The format is:
64 # directories (in 2 levels) under the output directory of each output format and
305 # using this tag. The format is ext=language, where ext is a file extension, and
308 # VHDL, Fortran (fixed format Fortran: FortranFixed, free formatted Fortran:
326 # according to the Markdown format, which allows for more readable
758 # output files in an output format independent way. To create the layout file
841 # The WARN_FORMAT tag determines the format of the warning messages that doxygen
844 # and the warning text. Optionally the format may contain $version, which will
1400 # files are now used as the Windows 98 help format, and will replace the old
1401 # Windows help format (.hlp) on all Windows platforms in the future. Compressed
[all …]