From: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date: Wed, 22 Jun 2022 22:51:15 +0000 (-0500)
Subject: print run_process command (#8859)
X-Git-Tag: cvc5-1.0.1~40
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=11764590faa316047e6ed8151c199e2761dbda50;p=cvc5.git

print run_process command (#8859)
---

diff --git a/test/regress/cli/run_regression.py b/test/regress/cli/run_regression.py
index 87cb2b551..92ffbf72f 100755
--- 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