C# (CSharp) SymEvalTests.QuantifiersUnitTest Examples

Example #1

File: UnitTestRunner.cs Project: tupipa/vcc

        static void RunQuantifiersTests()
        {
            var test = new SymEvalTests.QuantifiersUnitTest();

            test.TestQuantifiers1();
            test.TestQuantifiers2();
        }

Example #2

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

 static void RunQuantifiersTests()
 {
     var test = new SymEvalTests.QuantifiersUnitTest();
     test.TestQuantifiers1();
     test.TestQuantifiers2();
 }