/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,
|