Log each line in command separately

runtimeverification · Jul 5, 2024 · c73fd15 · c73fd15
1 parent 12c3409
commit c73fd15
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/pyk/src/pyk/utils.py b/pyk/src/pyk/utils.py
@@ -516,7 +516,9 @@ def _subprocess_run(
         log_prefix = f'[PID={popen.pid}]'
 
         command = shlex.join(args)
-        logger.info(f'{log_prefix}[exec] {command}')
+        for line in command.split('\n'):
+            logger.info(f'{log_prefix}[exec] {line}')
+
         start_time = time.time()
 
         try: