예제 #1
0
파일: Test.cs 프로젝트: rekoder/PSharp 
        static void Main(string[] args)
        {
            var runtime = PSharpRuntime.Create();

            Test.Execute(runtime);
            Console.ReadLine();
        }
예제 #2
0
 static void Main(string[] args)
 {
     Test.Execute();
     Console.ReadLine();
 }