diff --git a/scripts/run.py b/scripts/run.py index fa22db8dbd137ebee3cdd06285c15adc84f0814c..c0db52e3b1a8d15200d4748e7dc681fb96b232ed 100755 --- a/scripts/run.py +++ b/scripts/run.py @@ -73,6 +73,10 @@ def benchmark(conf): file.write(output) except CalledProcessError as e: print("Program exited with error") + print('stdout:') + print(e.output) + print('stderr:') + print(e.stderr) except subprocess.TimeoutExpired as e: print("Program reached the timeout set ({0} seconds). The command we executed was '{1}'".format(e.timeout, e.cmd)) failed_tools.add(tool)