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());
}
}
}
}
|
