Source/UnitTests/TestUtil/AssertionTextWriterTraceListener.cs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
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);
      }
    }
  }
}