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 RaceDetectorCommandLineOptions(args).Parse();
string directoryPath = Path.GetDirectoryName(configuration.AssemblyToBeAnalyzed) +
Path.DirectorySeparatorChar + "Output" + Path.DirectorySeparatorChar + "RuntimeTraces";
if (Directory.Exists(directoryPath))
{
Directory.Delete(directoryPath, true);
}
directoryPath = Path.GetDirectoryName(configuration.AssemblyToBeAnalyzed) +
Path.DirectorySeparatorChar + "Output" + Path.DirectorySeparatorChar + "ThreadTraces";
if (Directory.Exists(directoryPath))
{
Directory.Delete(directoryPath, true);
}
// Creates and starts a dynamic race detection process.
RaceDetectionProcess.Create(configuration).Start(args);
}
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 RaceDetectorCommandLineOptions(args).Parse();
// Creates and starts a dynamic race detection process.
RaceDetectionProcess.Create(configuration).Start(args);
IO.PrintLine(". Done");
}