static void Main(string[] args)
{
AppDomain currentDomain = AppDomain.CurrentDomain;
currentDomain.UnhandledException += new UnhandledExceptionEventHandler(UnhandledExceptionHandler);
// Parses the command line options to get the configuration.
var configuration = new TesterCommandLineOptions(args).Parse();
if (configuration.ParallelBugFindingTasks == 1 ||
configuration.TestingProcessId < 0)
{
IO.PrintLine(". Testing " + configuration.AssemblyToBeAnalyzed);
}
if (configuration.ParallelBugFindingTasks == 1 ||
configuration.TestingProcessId >= 0)
{
// Creates and runs a testing process.
TestingProcess testingProcess = TestingProcess.Create(configuration);
testingProcess.Start();
}
else
{
// Creates and runs the testing process scheduler, if there
// are more than one user specified parallel tasks.
TestingProcessScheduler.Create(configuration).Run();
}
if (configuration.ParallelBugFindingTasks == 1 ||
configuration.TestingProcessId < 0)
{
IO.PrintLine(". Done");
}
}
static void Main(string[] args)
{
AppDomain currentDomain = AppDomain.CurrentDomain;
currentDomain.UnhandledException += new UnhandledExceptionEventHandler(UnhandledExceptionHandler);
// Parses the command line options to get the configuration.
var configuration = new TesterCommandLineOptions(args).Parse();
// Creates and starts a testing process.
TestingProcess.Create(configuration).Start();
IO.PrintLine(". Done");
}
