C# (CSharp) Microsoft.PSharp.Remote RemoteManagerCommandLineOptions 예제들

예제 #1

파일: Program.cs 프로젝트: huangpf/PSharp

        static void Main(string[] args)
        {
            // Parses the command line options to get the configuration.
            var configuration = new RemoteManagerCommandLineOptions(args).Parse();

            Manager.Configure(configuration);
            Manager.Run();

            Output.PrettyPrintLine(". Done");
        }

예제 #2

        static void Main(string[] args)
        {
            // Parses the command line options to get the configuration.
            var configuration = new RemoteManagerCommandLineOptions(args).Parse();

            Manager.Configure(configuration);
            Manager.Run();

            IO.PrettyPrintLine(". Done");
        }