Searched refs:Popen (Results 1 - 14 of 14) sorted by relevance
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
H A D | auto_infea.py | 11 from subprocess import Popen, PIPE namespace 50 p = Popen(['touch', auto_refutes_file]) 86 p = Popen(['python', 'reconstruct.py', '--refutable', dir_name, sol_file, tcfg_map, kernel_elf_file], stdout=f_refutables) 119 p = Popen(['cp', auto_refutes_file, results_dir+'/refutes_%d.txt'% case_i])
|
H A D | cplex.py | 38 p = subprocess.Popen(['test','-e',sol_file]) 41 p = subprocess.Popen(['rm',sol_file]) 53 p = subprocess.Popen(cplex,stdin=f_ilp,stdout=subprocess.PIPE,stderr=subprocess.PIPE)
|
H A D | bench.py | 51 p = subprocess.Popen(program_n_flags,cwd=cwd,stdout=subprocess.PIPE,stderr=subprocess.PIPE) 53 p = subprocess.Popen(program_n_flags,stdout=subprocess.PIPE,stderr=subprocess.PIPE)
|
H A D | dot_utils.py | 135 p = subprocess.Popen(["dot","graphs/%s.dot"%f_name,"-Tsvg","-o","graphs/%s.svg" % f_name]) 139 p = subprocess.Popen(["rm","graphs/%s.dot" % f_name]) 143 #p = subprocess.Popen(["dot","graphs/%s.dot"%f_name,"-Tpng","-o","/mnt/hgfs/imgs/%s.png" % f_name])
|
H A D | conflict.py | 13 from subprocess import Popen, PIPE namespace 450 p = Popen(['cp', old_cons_file, new_cons_file])
|
H A D | reconstruct.py | 15 from subprocess import Popen, PIPE namespace 161 addr2line_proc = Popen(
|
H A D | pydot.py | 1985 p = subprocess.Popen(
|
/seL4-l4v-10.1.1/seL4/manual/tools/ |
H A D | gen_env.py | 27 p = subprocess.Popen(["git", "log", "-r", "HEAD", "-n", "1", "--pretty=format:%ci"],
|
/seL4-l4v-10.1.1/l4v/misc/regression/ |
H A D | memusage.py | 142 p = subprocess.Popen(sys.argv[1:])
|
H A D | cpuusage.py | 182 p = subprocess.Popen(sys.argv[1:])
|
H A D | run_tests.py | 186 process = subprocess.Popen(command, 330 process = subprocess.Popen(command,
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | generate-ios-source-and-headers.py | 17 for line in subprocess.Popen(['xcodebuild', '-sdk', sdkname, '-version'], stdout=subprocess.PIPE).stdout: 30 for line in subprocess.Popen(['xcodebuild', '-showsdks'], stdout=subprocess.PIPE).stdout:
|
H A D | generate-osx-source-and-headers.py | 16 for line in subprocess.Popen(['xcodebuild', '-sdk', sdkname, '-version'], stdout=subprocess.PIPE).stdout: 27 for line in subprocess.Popen(['xcodebuild', '-showsdks'], stdout=subprocess.PIPE).stdout:
|
/seL4-l4v-10.1.1/graph-refine/ |
H A D | solver.py | 771 self.online_solver = subprocess.Popen (solver.args, 1119 proc = subprocess.Popen (solver.args, 1864 process = subprocess.Popen (solver[1],
|
Completed in 133 milliseconds