From 0434fa61124d979d254fa4d38fdc1db06a578d18 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Fri, 21 Aug 2015 09:58:38 -0700
Subject: Interleave stderr output with test results; this allows one to print
 stuff directly to stderr in Dafny without breaking tests

---
 Test/runTests.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Test/runTests.py')

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:
-- 
cgit v1.2.3