summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Clément Pit--Claudel <clement.pitclaudel@live.com>2015-08-21 09:58:38 -0700
committerGravatar Clément Pit--Claudel <clement.pitclaudel@live.com>2015-08-21 09:58:38 -0700
commit0434fa61124d979d254fa4d38fdc1db06a578d18 (patch)
tree2557921a556381e94af7f3dff3e32ea65b05e990
parentaa73a99a6fef9ada930d3b5b35e328006d8b30ee (diff)
Interleave stderr output with test results; this allows one to print stuff
directly to stderr in Dafny without breaking tests
-rw-r--r--Test/runTests.py6
1 files changed, 3 insertions, 3 deletions
diff --git a/Test/runTests.py b/Test/runTests.py
index 53733eb1..8caa65d1 100644
--- a/Test/runTests.py
+++ b/Test/runTests.py
@@ -248,12 +248,12 @@ class Test:
self.duration = self.end - self.start
stdout, stderr = stdout.strip(), stderr.strip()
- if stdout != b"" or stderr != b"":
+ if stdout != b"":
debug(Debug.TRACE, "Writing the output of {} to {}".format(self.name, self.temp_output_path))
with open(self.temp_output_path, mode='ab') as writer:
- writer.write(stdout + stderr)
+ writer.write(stdout)
if stderr != b"":
- debug(Debug.TRACE, stderr.decode("utf-8"))
+ debug(Debug.INFO, stderr.decode("utf-8"))
self.update_status()
except TimeoutExpired: