Searched refs:output_file (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-master/HOL4/examples/machine-code/graph/ |
| H A D | decompile.py | 36 def call_input_output(args,input_str,output_file):
40 with open('.input.txt',"r") as input, open(output_file,"wb") as out:
49 output_file = os.path.abspath(args.filename + '_output.txt') variable
78 printn("Decompiling {0} ... (output in {1})".format(elf,output_file))
80 call_input_output('hol',ml_input,output_file)
81 last_lines = list (open (output_file))[-20:]
89 print("(more information in %s )" % output_file)
|
| /seL4-l4v-master/seL4/manual/tools/ |
| H A D | gen_invocations.py | 56 def gen_invocations(input_files, output_file):
82 output_file.write("/**\n * @defgroup %s %s\n * @{\n */\n\n" % (group_id, group_name))
83 output_file.write("/** @} */\n")
93 output_file.write("/**\n * @defgroup %s %s\n * @{\n */\n\n" % (api.name, api.name))
96 output_file.write(prototype)
97 output_file.write("\n\n")
99 output_file.write("/** @} */\n")
|
| H A D | parse_doxygen_xml.py | 582 with open(args.output, "w") as output_file:
583 output_file.write(output_str)
|
| /seL4-l4v-master/isabelle/src/Pure/Admin/ |
| H A D | build_history.scala | 412 var output_file = ""
471 "o:" -> (arg => output_file = arg),
498 if (output_file == "") {
503 File.write(Path.explode(output_file),
578 val output_file = tmp_dir + Path.explode("output")
581 "-o " + ssh.bash_path(output_file) +
586 for (line <- split_lines(ssh.read(output_file)))
|
| /seL4-l4v-master/l4v/isabelle/src/Pure/Admin/ |
| H A D | build_history.scala | 412 var output_file = ""
471 "o:" -> (arg => output_file = arg),
498 if (output_file == "") {
503 File.write(Path.explode(output_file),
578 val output_file = tmp_dir + Path.explode("output")
581 "-o " + ssh.bash_path(output_file) +
586 for (line <- split_lines(ssh.read(output_file)))
|
| /seL4-l4v-master/seL4/manual/tools/libsel4_tools/ |
| H A D | syscall_stub_gen.py | 945 def generate_stub_file(arch, wordsize, input_files, output_file, use_only_ipc_buffer, mcs):
1032 output = open(output_file, "w")
|
| /seL4-l4v-master/seL4/libsel4/tools/ |
| H A D | syscall_stub_gen.py | 945 def generate_stub_file(arch, wordsize, input_files, output_file, use_only_ipc_buffer, mcs):
1032 output = open(output_file, "w")
|
Completed in 42 milliseconds