/// <summary>
 /// Executes the tests.
 /// </summary>
 /// <param name="xml"></param>
 private static void ExecuteSparse(string xml)
 {
     CHVerifiedContractionBaseTests tester = new CHVerifiedContractionBaseTests();
     tester.DoTestCHSparseVerifiedContraction(xml, false);
 }
        /// <summary>
        /// Executes the tests.
        /// </summary>
        /// <param name="xml"></param>
        private static void ExecuteSparse(string xml)
        {
            CHVerifiedContractionBaseTests tester = new CHVerifiedContractionBaseTests();

            tester.DoTestCHSparseVerifiedContraction(xml, false);
        }
 /// <summary>
 /// Executes the tests.
 /// </summary>
 /// <param name="xml"></param>
 private static void ExecuteEdgeDifference(string xml)
 {
     CHVerifiedContractionBaseTests tester = new CHVerifiedContractionBaseTests();
     tester.DoTestCHEdgeDifferenceVerifiedContraction(xml, false);
 }
        /// <summary>
        /// Executes the tests.
        /// </summary>
        /// <param name="xml"></param>
        private static void ExecuteEdgeDifference(string xml)
        {
            CHVerifiedContractionBaseTests tester = new CHVerifiedContractionBaseTests();

            tester.DoTestCHEdgeDifferenceVerifiedContraction(xml, false);
        }