/// <summary>
/// Starts the P# parser.
/// </summary>
public static void Run()
{
if (Configuration.NoParsing)
{
return;
}
Output.Print(". Parsing");
// Runs the P# parsing engine.
ParsingEngine.Run();
}