| /seL4-l4v-master/seL4/manual/tools/ |
| H A D | gen_env.py | 8 import subprocess namespace
21 p = subprocess.Popen(["git", "log", "-r", "HEAD", "-n", "1", "--pretty=format:%ci"],
22 stdout=subprocess.PIPE)
|
| /seL4-l4v-master/l4v/tools/autocorres/tools/ |
| H A D | release.py | 15 import subprocess namespace
140 args.repository = subprocess.check_output([
142 except subprocess.CalledProcessError:
186 lib_deps += subprocess.check_output(
226 subprocess.check_call(
277 subprocess.check_call([
302 subprocess.check_call(["tar", "-xz", "-C", c_parser_working_dir,
307 subprocess.check_call(['make', 'c-parser-deps'],
321 thy_deps += subprocess.check_output(
342 ret = subprocess
[all...] |
| /seL4-l4v-master/graph-refine/graph-to-graph/ |
| H A D | bench.py | 7 import subprocess namespace
49 p = subprocess.Popen(program_n_flags,cwd=cwd,stdout=subprocess.PIPE,stderr=subprocess.PIPE)
51 p = subprocess.Popen(program_n_flags,stdout=subprocess.PIPE,stderr=subprocess.PIPE)
|
| H A D | cplex.py | 9 import sys, subprocess, re, os namespace
37 p = subprocess.Popen(['test','-e',sol_file])
40 p = subprocess.Popen(['rm',sol_file])
52 p = subprocess.Popen(cplex,stdin=f_ilp,stdout=subprocess.PIPE,stderr=subprocess.PIPE)
|
| H A D | dot_utils.py | 132 p = subprocess.Popen(["dot","graphs/%s.dot"%f_name,"-Tsvg","-o","graphs/%s.svg" % f_name])
136 p = subprocess.Popen(["rm","graphs/%s.dot" % f_name])
140 #p = subprocess.Popen(["dot","graphs/%s.dot"%f_name,"-Tpng","-o","/mnt/hgfs/imgs/%s.png" % f_name])
|
| H A D | auto_infea.py | 8 from subprocess import Popen, PIPE
|
| H A D | pydot.py | 30 import subprocess namespace
1988 p = subprocess.Popen(
1991 stderr=subprocess.PIPE, stdout=subprocess.PIPE)
|
| H A D | conflict.py | 10 from subprocess import Popen, PIPE
|
| H A D | reconstruct.py | 13 from subprocess import Popen, PIPE
|
| /seL4-l4v-master/l4v/spec/cspec/ |
| H A D | mk_umm_types.py | 13 import subprocess namespace
83 subprocess.check_call([
|
| /seL4-l4v-master/l4v/tools/autocorres/tools/stats/ |
| H A D | stats.py | 10 import subprocess namespace
145 lines_of_code = int(subprocess.check_output(
166 subprocess.check_call(["isabelle", "build", "-v", "-d", args.root,
170 log_data = subprocess.check_output(
219 subprocess.check_call(["isabelle", "build", "-v", "-o", "threads=1",
223 log_data = subprocess.check_output(
248 subprocess.call("zsh", cwd=tmp_dir)
253 subprocess.call("zsh", cwd=tmp_dir)
|
| /seL4-l4v-master/l4v/ |
| H A D | run_tests | 11 import subprocess
121 returncode = subprocess.call(args, cwd=DIR) or returncode
|
| /seL4-l4v-master/l4v/misc/scripts/ |
| H A D | thydeps | 19 import subprocess
27 return subprocess.check_output([isabelle_exe] + cmdline)
28 except subprocess.CalledProcessError as e:
|
| /seL4-l4v-master/l4v/misc/regression/ |
| H A D | memusage.py | 14 import subprocess namespace
119 '''Initiate polling of a subprocess. This is intended to be used in a
147 p = subprocess.Popen(sys.argv[1:])
|
| H A D | cpuusage.py | 26 import subprocess namespace
163 '''Initiate polling of a subprocess. This is intended to be used in a
183 p = subprocess.Popen(sys.argv[1:])
|
| H A D | run_tests.py | 28 import subprocess namespace
180 output = sys.stdout if verbose else subprocess.PIPE
188 process = subprocess.Popen(command,
189 stdout=output, stderr=subprocess.STDOUT, stdin=subprocess.PIPE,
334 process = subprocess.Popen(command,
335 stdout=subprocess.PIPE, stderr=subprocess.STDOUT)
|
| /seL4-l4v-master/HOL4/examples/machine-code/graph/ |
| H A D | decompile.py | 28 import subprocess namespace
42 ret = subprocess.call(args, stdin=input, stdout=out, stderr=out, universal_newlines=True, shell=True)
|
| /seL4-l4v-master/graph-refine/ |
| H A D | solver.py | 181 import subprocess namespace
769 self.online_solver = subprocess.Popen (solver.args,
770 stdin = subprocess.PIPE, stdout = subprocess.PIPE,
1117 proc = subprocess.Popen (solver.args,
1118 stdin = fd, stdout = subprocess.PIPE,
1862 process = subprocess.Popen (solver[1],
1863 stdin = subprocess.PIPE, stdout = subprocess.PIPE,
|
| /seL4-l4v-master/graph-refine/graph-to-graph/chronos/ |
| H A D | emitter.py | 9 import subprocess namespace
|