C# (CSharp) SVM.ConfigureSolver示例

示例#1

文件： ProfileTests.cs 项目： misonijnik/VSharp

        static void Main(string[] args)
        {
            var svm = new SVM(new MethodInterpreter(new ExceptionsExplorationSearcher()));

            svm.ConfigureSolver();
            var testingMethodType = typeof(Test.Tests.PDR);
            var testingMethod     = testingMethodType.GetMethod("BreakCallSitesCompositionRecursion");

            svm.ExploreOne(testingMethod);
        }