Example #1
0
        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);
        }