projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d6992f4
)
print run_process command (#8859)
author
mudathirmahgoub
<mudathirmahgoub@gmail.com>
Wed, 22 Jun 2022 22:51:15 +0000
(17:51 -0500)
committer
GitHub
<noreply@github.com>
Wed, 22 Jun 2022 22:51:15 +0000
(22:51 +0000)
test/regress/cli/run_regression.py
patch
|
blob
|
history
diff --git
a/test/regress/cli/run_regression.py
b/test/regress/cli/run_regression.py
index 87cb2b5514a7f62dea88c43171b3c4816d66e742..92ffbf72ff726082d82957b37bfbeb014e1f93d2 100755
(executable)
--- a/
test/regress/cli/run_regression.py
+++ b/
test/regress/cli/run_regression.py
@@
-434,7
+434,7
@@
def run_process(args, cwd, timeout, s_input=None):
output and the error output are empty and the exit code is 124."""
cmd = " ".join([shlex.quote(a) for a in args]) if isinstance(args, list) else args
-
+ print("Running command: {}".format(str(cmd)))
out = bytes()
err = bytes()
exit_status = STATUS_TIMEOUT