Exemple #1
0
 public LustreModelCheckingTests(ITestOutputHelper output)
 {
     Output = new TestTraceOutput(output);
     Program.outputTextWriter = Output.TextWriterAdapter();
 }