Source/UnitTests/TestUtil/BoogieTestBase.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

using NUnit.Framework;
using System;
using System.Diagnostics;
using Microsoft.Boogie;

namespace Microsoft.Boogie
{
  namespace TestUtil
  {
    public class BoogieTestBase {

      public BoogieTestBase() {
        // Debug log output goes to standard error.
        // Failing System.Diagnostics failures trigger NUnit assertion failures
        Debug.Listeners.Add(new AssertionTextWriterTraceListener(Console.Error));

        // FIXME: THIS IS A HACK. Boogie's methods
        // depend on its command line parser being set!
        CommandLineOptions.Install(new Microsoft.Boogie.CommandLineOptions());
      }
    }
  }
}