Searched refs:args (Results 1 – 7 of 7) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ |
| D | run-cbmc-proofs.py | 131 def run_cmd(cmd, **args): argument
132 if "shell" in args and args["shell"]:
143 proc = subprocess.run(cmd, **args)
268 args = get_args()
269 set_up_logging(args.verbose)
274 if not args.no_standalone:
276 ["litani", "init", "--project", args.project_name], check=True)
278 proof_dirs = list(get_proof_dirs(proof_root, args.proofs))
301 if not args.no_standalone:
302 run_build(args.parallel_jobs)
|
| D | make_type_header_files.py | 153 args = pars.parse_args() variable
157 if args.verbose:
162 make_header_file(args.binary, args.c_file, args.out_dir)
|
| D | make_proof_makefiles.py | 303 left = eval_single_node(node.args[0])
304 right = eval_single_node(node.args[1])
393 def set_up_logging(args): argument
396 if args.very_verbose:
398 elif args.verbose:
407 args = get_args()
408 set_up_logging(args)
412 dump_makefile(root, args.system)
|
| D | ninja.py | 195 args = argument_parser().parse_args()
198 args.folders or
199 find_proofs_in_json_file(args.proofs) or
|
| D | make_common_makefile.py | 236 args = get_arguments()
240 if args.system == "windows"
244 makefile_from_template(args.system,
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/lib/ |
| D | summarize.py | 138 args = get_args() variable
141 print_proof_results(args.run_file)
|
| /FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/ |
| D | tcp_dump_packets.c | 314 va_list args; in _fprintf() local
316 va_start( args, pcFormat ); in _fprintf()
317 iCount = vsnprintf( pcString, sizeof pcString, pcFormat, args ); in _fprintf()
318 va_end( args ); in _fprintf()
|
