C# (CSharp) ATermTests Test1示例

示例#1

文件： Test1.cs 项目： scrasmussen/aterms

        static void Main(string[] args)
        {
            Test1 pureSuite = new Test1(new PureFactory());

            pureSuite.testAll();
        }

示例#2

文件： Test1.cs 项目： jianglili007/aterms

		static void Main(string[] args)
		{
			Test1 pureSuite = new Test1(new PureFactory());
			pureSuite.testAll();
		}