C# (CSharp) MultiPaxos Test.Executeの例

コード例 #1

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

        static void Main(string[] args)
        {
            var runtime = PSharpRuntime.Create();

            Test.Execute(runtime);
            Console.ReadLine();
        }

コード例 #2

ファイル: Test.cs プロジェクト: mattmccutchen/PSharp

 static void Main(string[] args)
 {
     Test.Execute();
     Console.ReadLine();
 }