1 files changed, 27 insertions, 0 deletions
diff --git a/Source/UnitTests/TestUtil/AssertionTextWriterTraceListener.cs b/Source/UnitTests/TestUtil/AssertionTextWriterTraceListener.cs
new file mode 100644
index 00000000..961ed0df
--- /dev/null
+++ b/Source/UnitTests/TestUtil/AssertionTextWriterTraceListener.cs
@@ -0,0 +1,27 @@
+using NUnit.Framework;
+using System;
+using System.Diagnostics;
+
+namespace Microsoft.Boogie
+{
+  namespace TestUtil
+  {
+
+    public class AssertionTextWriterTraceListener : TextWriterTraceListener {
+      public AssertionTextWriterTraceListener(System.IO.Stream stream) : base(stream) { }
+
+      public AssertionTextWriterTraceListener(System.IO.TextWriter writer) : base(writer) { }
+
+      public override void Fail(string message) {
+        base.Fail(message);
+        Assert.Fail(message);
+      }
+
+      public override void Fail(string message, string detailMessage) {
+        base.Fail(message, detailMessage);
+        Assert.Fail(message + " : " + detailMessage);
+      }
+    }
+  }
+}
+