C# (CSharp) SymEvalTests.QuantifiersUnitTestの例

コード例 #1

ファイル: UnitTestRunner.cs プロジェクト: tupipa/vcc

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

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

コード例 #2

ファイル: UnitTestRunner.cs プロジェクト: edgar-pek/VCDryad

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