static void Main(string[] args)
{
AppDomain currentDomain = AppDomain.CurrentDomain;
currentDomain.UnhandledException += new UnhandledExceptionEventHandler(UnhandledExceptionHandler);
// Parses the command line options.
new CommandLineOptions(args).Parse();
// Initializes program info.
ProgramInfo.Initialize();
// Run the parser.
Parser.Run();
// Run the compiler.
Compiler.Run();
// Run the static analyser.
StaticAnalyzer.Run();
// Run the dynamic analyser.
DynamicAnalyzer.Run();
Output.Print(". Done");
}
/// <summary>
/// Starts the P# dynamic analyzer.
/// </summary>
public static void Run()
{
if (!Configuration.RunDynamicAnalysis)
{
return;
}
foreach (var dll in Configuration.AssembliesToBeAnalyzed)
{
Output.Print(". Testing " + dll);
DynamicAnalyzer.AnalyseAssembly(dll);
}
}
