Searched refs:tempfile (Results 1 - 10 of 10) sorted by path

/seL4-l4v-master/HOL4/src/AI/sml_inspection/
H A DsmlOpen.sml178 val tempfile = sml_code_dir ^ "/" ^ s ^ "__open__sml.sml" value
180 writel tempfile (export_struct_code s);
181 run_rm_script false tempfile
/seL4-l4v-master/graph-refine/graph-to-graph/
H A Dpydot.py31 import tempfile namespace
1965 tmp_fd, tmp_name = tempfile.mkstemp()
/seL4-l4v-master/graph-refine/
H A Dsolver.py187 import tempfile namespace
1110 (fd, name) = tempfile.mkstemp (suffix='.txt',
/seL4-l4v-master/l4v/spec/cspec/
H A Dmk_umm_types.py17 import tempfile namespace
25 self.filename = tempfile.mkdtemp()
/seL4-l4v-master/l4v/tools/autocorres/tools/
H A Drelease.py16 import tempfile namespace
27 self.filename = tempfile.mkdtemp()
/seL4-l4v-master/l4v/tools/autocorres/tools/stats/
H A Dstats.py13 import tempfile namespace
25 self.filename = tempfile.mkdtemp()
/seL4-l4v-master/l4v/tools/c-parser/
H A Dmkrelease91 CPARSER_DEPS=$(tempfile)
/seL4-l4v-master/seL4/libsel4/tools/
H A Dbitfield_gen.py19 import tempfile namespace
2632 self.file = tempfile.NamedTemporaryFile(
/seL4-l4v-master/seL4/manual/tools/libsel4_tools/
H A Dbitfield_gen.py19 import tempfile namespace
2632 self.file = tempfile.NamedTemporaryFile(
/seL4-l4v-master/seL4/tools/
H A Dbitfield_gen.py19 import tempfile namespace
2632 self.file = tempfile.NamedTemporaryFile(

Completed in 118 milliseconds