C# (CSharp) BoundedAsync Test.Execute示例

示例#1

        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();
 }