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

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