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