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();
 }