using NUnit.Framework;
using System.Diagnostics;

namespace Microsoft.Boogie.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);
    }
  }
}
