protected ITestingEngine AssertSucceeded(Configuration configuration, Action <PSharpRuntime> test)
{
InMemoryLogger logger = new InMemoryLogger();
BugFindingEngine engine = null;
try
{
engine = BugFindingEngine.Create(configuration, test);
engine.SetLogger(logger);
engine.Run();
var numErrors = engine.TestReport.NumOfFoundBugs;
Assert.True(numErrors == 0, GetBugReport(engine));
}
catch (Exception ex)
{
Assert.False(true, ex.Message + "\n" + ex.StackTrace);
}
finally
{
logger.Dispose();
}
return(engine);
}
private ITestingEngine Test(BugFindingEngine engine)
{
var logger = new Common.TestOutputLogger(this.TestOutput);
try
{
engine.SetLogger(logger);
engine.Run();
var numErrors = engine.TestReport.NumOfFoundBugs;
Assert.True(numErrors == 0, GetBugReport(engine));
}
catch (Exception ex)
{
Assert.False(true, ex.Message + "\n" + ex.StackTrace);
}
finally
{
logger.Dispose();
}
return(engine);
}