Exemplos de SymEvalTests.CongruenceClosureUnitTest em C# (CSharp)

Exemplo n.º 1

Arquivo: UnitTestRunner.cs Projeto: tupipa/vcc

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

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

Exemplo n.º 2

Arquivo: UnitTestRunner.cs Projeto: edgar-pek/VCDryad

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