예제 #1
0
        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 ThreadMonitorCommandLineOptions(args).Parse();

            // Creates and starts a thread monitoring process.
            ThreadMonitorProcess.Create(configuration).Start();
        }
예제 #2
0
파일: Program.cs 프로젝트: rekoder/PSharp
        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 ThreadMonitorCommandLineOptions(args).Parse();

            string directoryPath = Path.GetDirectoryName(configuration.AssemblyToBeAnalyzed) +
                                   Path.DirectorySeparatorChar + "Output";

            if (Directory.Exists(directoryPath))
            {
                Directory.Delete(directoryPath, true);
            }

            // Creates and starts a thread monitoring process.
            ThreadMonitorProcess.Create(configuration).Start();

            IO.PrintLine(". Done");
        }