Searched refs:out_file (Results 1 - 4 of 4) sorted by relevance
| /seL4-test-master/kernel/tools/ |
| H A D | umm.py | 119 def print_graph(filename, out_file):
122 print('digraph types {', file=out_file)
127 file=out_file)
128 print('}', file=out_file)
|
| H A D | bitfield_gen.py | 2658 out_file = sys.stdout variable
2692 out_file = OutputFile(args[1]) variable
2707 if out_file == sys.stdout:
2710 out_file.filename = os.path.abspath(options.thy_output_path)
2717 options.output = out_file
2785 print("theory %s_defs" % module_name, file=out_file)
2788 os.path.dirname(out_file.filename))), file=out_file)
2789 print("begin", file=out_file)
2790 print(file=out_file)
2816 out_file = OutputFile(options.multifile_base + "_" + variable
[all...] |
| /seL4-test-master/kernel/manual/tools/libsel4_tools/ |
| H A D | bitfield_gen.py | 2658 out_file = sys.stdout variable
2692 out_file = OutputFile(args[1]) variable
2707 if out_file == sys.stdout:
2710 out_file.filename = os.path.abspath(options.thy_output_path)
2717 options.output = out_file
2785 print("theory %s_defs" % module_name, file=out_file)
2788 os.path.dirname(out_file.filename))), file=out_file)
2789 print("begin", file=out_file)
2790 print(file=out_file)
2816 out_file = OutputFile(options.multifile_base + "_" + variable
[all...] |
| /seL4-test-master/kernel/libsel4/tools/ |
| H A D | bitfield_gen.py | 2658 out_file = sys.stdout variable
2692 out_file = OutputFile(args[1]) variable
2707 if out_file == sys.stdout:
2710 out_file.filename = os.path.abspath(options.thy_output_path)
2717 options.output = out_file
2785 print("theory %s_defs" % module_name, file=out_file)
2788 os.path.dirname(out_file.filename))), file=out_file)
2789 print("begin", file=out_file)
2790 print(file=out_file)
2816 out_file = OutputFile(options.multifile_base + "_" + variable
[all...] |
Completed in 105 milliseconds