Searched refs:TempDir (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/l4v/spec/cspec/
H A Dmk_umm_types.py23 class TempDir(object): class in inherits:object
65 with TempDir() as tmp_dir:
/seL4-l4v-master/l4v/tools/autocorres/tools/
H A Drelease.py22 class TempDir(): class in inherits:
171 with TempDir(cleanup=(not args.no_cleanup)) as base_dir:
301 with TempDir() as c_parser_working_dir:
364 with TempDir() as doc_build_dir:
/seL4-l4v-master/l4v/tools/autocorres/tools/stats/
H A Dstats.py23 class TempDir(object): class in inherits:object
139 with TempDir() as tmp_dir:

Completed in 94 milliseconds