C# (CSharp) SymEvalTests.CongruenceClosureUnitTest示例

示例#1

文件： UnitTestRunner.cs 项目： tupipa/vcc

        static void RunCongruenceClosureUnitTest()
        {
            var test = new SymEvalTests.CongruenceClosureUnitTest();

            test.NelsonOppenExample1();
            test.ArithmeticExample1();
        }

示例#2

文件： UnitTestRunner.cs 项目： edgar-pek/VCDryad

 static void RunCongruenceClosureUnitTest()
 {
     var test = new SymEvalTests.CongruenceClosureUnitTest();
     test.NelsonOppenExample1();
     test.ArithmeticExample1();
 }