C# (CSharp) Microsoft.PSharp.Remote RuntimeContainerCommandLineOptionsの例

コード例 #1

ファイル: Program.cs プロジェクト: huangpf/PSharp

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

            Container.Configure(configuration);
            Container.Run();

            Output.PrettyPrintLine(". Done");
        }

コード例 #2

ファイル: Program.cs プロジェクト: rekoder/PSharp

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

            Container.Configure(configuration);
            Container.Run();

            IO.PrettyPrintLine(". Done");
        }