Ejemplos de MultiPaxos Test.Execute en C# (CSharp)

Ejemplo n.º 1

Archivo: Test.cs Proyecto: rekoder/PSharp

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

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

Ejemplo n.º 2

Archivo: Test.cs Proyecto: mattmccutchen/PSharp

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