C# (CSharp) MultiPaxos Test.Execute Beispiele

Beispiel #1

Datei: Test.cs Projekt: rekoder/PSharp

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

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

Beispiel #2

Datei: Test.cs Projekt: mattmccutchen/PSharp

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