Searched refs:subprocess (Results 26 - 30 of 30) sorted by relevance

12

/seL4-camkes-master/tools/cogent/regression/
H A Drun_tests.py27 import subprocess namespace
131 output = subprocess.PIPE
139 process = subprocess.Popen(command,
140 stdout=output, stderr=subprocess.STDOUT, stdin=subprocess.PIPE,
H A Dtestspec.py16 import subprocess namespace
295 results = subprocess.check_output(
300 except subprocess.CalledProcessError:
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/
H A Dtestcpp.py19 import os, shutil, stat, subprocess, sys, tempfile, unittest namespace
/seL4-camkes-master/projects/camkes-tool/tools/
H A Dcamkes_scope.py22 import argparse, os, pycscope, subprocess, sys namespace
240 return subprocess.call(['cscope', '-d', '-f%s' % opts.reference_file.name] +
/seL4-camkes-master/projects/camkes-tool/camkes/runner/
H A D__main__.py47 import subprocess namespace
53 path = eval(subprocess.check_output(['python', '-c',

Completed in 83 milliseconds

12