Searched refs:runExtract (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/graph-refine/graph-to-graph/ | ||
| H A D | bench.py | 47 def runExtract(program_n_flags,cwd=None): function 59 ret,out,err = runExtract([chronos_executable, imm_file_name]) |
Completed in 70 milliseconds