Esempi in C# (CSharp) per SymEvalTests.PureProverUnitTest

Esempio n. 1

File: UnitTestRunner.cs Progetto: edgar-pek/VCDryad

 static void RunPureProverUnitTest()
 {
     var test = new SymEvalTests.PureProverUnitTest();
     test.TestTrueImpliesTrue();
     test.TestConstantsAddition1();
     test.TestConstantsAddition2();
     test.TestVariablesAddition();
     test.TestVariablesAdditionNoTypes();
 }

Esempio n. 2

File: UnitTestRunner.cs Progetto: tupipa/vcc

        static void RunPureProverUnitTest()
        {
            var test = new SymEvalTests.PureProverUnitTest();

            test.TestTrueImpliesTrue();
            test.TestConstantsAddition1();
            test.TestConstantsAddition2();
            test.TestVariablesAddition();
            test.TestVariablesAdditionNoTypes();
        }