| /seL4-camkes-master/projects/camkes-tool/camkes/internal/ |
| H A D | terminal.py | 26 import os, subprocess, sys namespace
40 colours = subprocess.check_output(['tput', 'colors'], stderr=f)
41 except (subprocess.CalledProcessError, OSError):
|
| /seL4-camkes-master/tools/seL4/misc/ |
| H A D | whence.py | 23 import subprocess namespace
31 subprocess.check_call(['git', 'clone', url, self.tmp])
34 subprocess.check_call(['git', 'checkout', commit], cwd=self.tmp)
38 return reversed(subprocess.check_output(['git', 'log', '--pretty=tformat:%H', '.'],
63 except subprocess.CalledProcessError:
69 except subprocess.CalledProcessError:
76 except subprocess.CalledProcessError:
82 except subprocess.CalledProcessError:
95 except subprocess.CalledProcessError:
100 p = subprocess
[all...] |
| H A D | style.py | 16 import subprocess namespace
61 completed = subprocess.run([script] + files, stderr=subprocess.PIPE)
|
| /seL4-camkes-master/projects/camkes-tool/camkes/ast/tests/ |
| H A D | testckeywords.py | 19 import os, subprocess, sys, tempfile, unittest namespace
47 p = subprocess.Popen([cc, '-x', 'c', '-E', '-'], stdout=f, stderr=f,
48 stdin=subprocess.PIPE, universal_newlines=True)
61 subprocess.check_call([cc, src, '-std=c11', '-W', '-Wall', '-Wextra',
64 generated = subprocess.check_output([aout])
|
| H A D | testhashing.py | 19 import os, six, subprocess, sys, unittest namespace
|
| /seL4-camkes-master/kernel/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-camkes-master/projects/camkes-tool/camkes/parser/ |
| H A D | stage0.py | 34 import subprocess namespace
56 p = subprocess.Popen([self.cpp_bin, '-MD', '-MF', deps, '-o',
57 output] + self.flags + [filename], stdout=subprocess.PIPE,
58 stderr=subprocess.PIPE, universal_newlines=True)
72 p = subprocess.Popen([self.cpp_bin, '-MD', '-MF', deps, '-o',
73 output] + self.flags, stdin=subprocess.PIPE,
74 stdout=subprocess.PIPE, stderr=subprocess.PIPE,
|
| /seL4-camkes-master/projects/camkes-tool/camkes/internal/tests/ |
| H A D | utils.py | 19 import collections, os, shutil, subprocess, tempfile, unittest namespace
24 return subprocess.check_output(['which', command], stderr=f,
26 except subprocess.CalledProcessError:
117 p = subprocess.Popen(argv, stdout=subprocess.PIPE,
118 stderr=subprocess.PIPE, cwd=cwd, env=env, universal_newlines=True)
|
| H A D | teststrhash.py | 19 import codecs, os, subprocess, sys, unittest namespace
35 sha = subprocess.check_output(['sha256sum', tmp],
|
| /seL4-camkes-master/tools/seL4/cmake-tool/simulate_scripts/ |
| H A D | launch_gdb.py | 8 import subprocess namespace
37 subprocess.call(gdb_command, shell=True)
|
| H A D | simulate.py | 8 import subprocess namespace
88 qemu_status = subprocess.call(qemu_simulate_command, shell=True)
102 subprocess.call("tput reset", shell=True)
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/tests/ |
| H A D | jinja_lint.py | 23 import os, re, subprocess, sys, unittest namespace
44 p = subprocess.Popen([self.lint, '--block-start=/*-', '--block-end=-*/',
46 '--comment-end=#*/', path], stdout=subprocess.PIPE,
47 stderr=subprocess.PIPE, universal_newlines=True)
|
| H A D | testsel4_notification.py | 23 import os, re, shutil, six, subprocess, sys, unittest namespace
77 subprocess.check_call(['spin', '-a', pml], cwd=tmp)
80 subprocess.check_call(['gcc', '-o', pan_safety, '-O3', '-DREACH',
83 p = subprocess.Popen([pan_safety], stdout=subprocess.PIPE,
84 stderr=subprocess.PIPE, universal_newlines=True)
99 subprocess.check_call(['spin', '-a', '-m', pml], cwd=tmp)
102 subprocess.check_call(['gcc', '-o', pan_liveness, '-O3', '-DNP',
105 p = subprocess.Popen([pan_liveness, '-l', 'm100000'],
106 stdout=subprocess
[all...] |
| H A D | jinja_pylint.py | 23 import os, re, subprocess, sys, unittest namespace
65 p = subprocess.Popen([self.lint, path, '--errors-only'],
66 stdout=subprocess.PIPE, stderr=subprocess.PIPE, universal_newlines=True)
|
| H A D | testmacros.py | 23 import ast, fnmatch, os, re, subprocess, sys, unittest namespace
45 machine = subprocess.check_output(['uname', '-m']).strip()
46 except subprocess.CalledProcessError:
|
| H A D | testbadidioms.py | 23 import os, re, subprocess, sys, unittest namespace
|
| /seL4-camkes-master/projects/camkes-tool/tools/ |
| H A D | goanna_wrapper.py | 36 import re, subprocess, sys namespace
39 p = subprocess.Popen(args, stdout=stdout, stderr=subprocess.PIPE,
|
| H A D | jinja_pylint.py | 22 import atexit, jinja2, os, shutil, subprocess, sys, tempfile namespace
64 return subprocess.call(['pylint', py] + argv[2:])
|
| H A D | check_deps.py | 24 import abc, argparse, importlib, os, re, shutil, subprocess, sys, tempfile namespace
47 return subprocess.call(['which', self.name], stdout=f, stderr=f) \
59 output = subprocess.check_output(['pylint', '--version'], stderr=f)
94 return subprocess.call(['pkg-config', '--cflags', self.name],
123 subprocess.check_call(['gcc', 'main.c', '-lcunit'], cwd=tmp,
126 except subprocess.CalledProcessError:
|
| /seL4-camkes-master/projects/picotcp/ |
| H A D | modcheck.py | 3 import subprocess namespace
52 subprocess.call(['make','clean'])
59 ret = subprocess.call(args[:-1])
|
| /seL4-camkes-master/projects/picotcp/test/python/ |
| H A D | topology.py | 7 import sys, os, subprocess, time, re namespace
36 self.pop = subprocess.Popen(vdecmd, stdin=subprocess.PIPE)
42 subprocess.call(["ifconfig",real,"172.16."+`self.n`+".1", "netmask", "255.255.255.0", "up"])
115 subprocess.Popen(['vde_switch', '-s', mysock], stdin=subprocess.PIPE)
116 subprocess.Popen(wirecmd, stdin=subprocess.PIPE)
176 self.pop = subprocess.Popen(self.cmd)
182 subprocess
[all...] |
| /seL4-camkes-master/projects/camkes-tool/cdl-refine-tests/ |
| H A D | run_tests | 21 import subprocess
152 return subprocess.check_output(cmdline, stderr=subprocess.STDOUT, **kwargs)
153 except subprocess.CalledProcessError as exn:
211 camkes_tool_rev = subprocess.check_output(
215 except subprocess.CalledProcessError as exn:
226 isabelle_rev = subprocess.check_output(
230 except subprocess.CalledProcessError as exn:
239 l4v_rev = subprocess.check_output(
243 except subprocess
[all...] |
| /seL4-camkes-master/tools/cogent/regression/ |
| H A D | memusage.py | 18 import subprocess, sys, threading, time namespace
117 '''Initiate polling of a subprocess. This is intended to be used in a
144 p = subprocess.Popen(sys.argv[1:])
|
| /seL4-camkes-master/projects/camkes-tool/ |
| H A D | alltests.py | 29 import argparse, multiprocessing, os, subprocess, sys, unittest namespace
|
| /seL4-camkes-master/tools/cogent/cogent/tests/ |
| H A D | run-test-suite.py | 6 import subprocess namespace
96 return subprocess.run([self.phase_file] + [fname],
97 stderr = subprocess.STDOUT,
98 stdout = subprocess.PIPE,
270 res = subprocess.run([context.cogent] + flags + ["--dist-dir={}".format(TEST_DIST_DIR)] + [fname],
271 stderr=subprocess.STDOUT,
272 stdout=subprocess.PIPE,
|