Interleave stderr output with test results; this allows one to print stuff

directly to stderr in Dafny without breaking tests

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: