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");
        }