C# (CSharp) ATermTests Test1 Exemples

Exemple #1

Fichier : Test1.cs Projet : scrasmussen/aterms

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

            pureSuite.testAll();
        }

Exemple #2

Fichier : Test1.cs Projet : jianglili007/aterms

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