コード例 #1
0
ファイル: Test.cs プロジェクト: mattmccutchen/PSharp 
 static void Main(string[] args)
 {
     Test.Execute();
     Console.ReadLine();
 }