C# (CSharp) Microsoft.PSharp.Remote RemoteManagerCommandLineOptions Examples

Example #1

File: Program.cs Project: 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");
        }

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