C# (CSharp) SymEvalTests.PureProverUnitTest Exemples

Exemple #1

Fichier : UnitTestRunner.cs Projet : edgar-pek/VCDryad

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

Exemple #2

Fichier : UnitTestRunner.cs Projet : tupipa/vcc

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

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