- removed old/unused external checker test

src/ClientServer/Config/Constants.cs

@@ -13,7 +13,7 @@ namespace ClientServer.Helpers
     /// </summary>
     public static class Constants
     {
-        public static string VersionString = "2.23.1";
+        public static string VersionString = "2.23.2";
 
         /// <summary>
         /// this is only set once at program.cs!!
@@ -54,11 +54,6 @@ namespace ClientServer.Helpers
         /// the internal name for external checker test see <see cref="TestType.InternalName"/>
         /// this must be the same as in the test-server and test-runner
         /// </summary>
-        public const string ExternalCheckerTestInternalName = "externalCheckerTest";
-        /// <summary>
-        /// the internal name for external checker test see <see cref="TestType.InternalName"/>
-        /// this must be the same as in the test-server and test-runner
-        /// </summary>
         public const string ExternalCheckerStructuralInductionTestInternalName = "externalCheckerStructuralInductionTest";
         /// <summary>
         /// the internal name for a compile test see <see cref="TestType.InternalName"/>

src/ClientServer/Controllers/Core/Init.cs

@@ -227,14 +227,9 @@ namespace ClientServer.Controllers.Core
                 DisplayName = "Black-Box-Test",
                 InternalName = Constants.BlackBoxTestInternalName
             };
-            var externalCheckerTest = new TestType()
-            {
-                DisplayName = "External-Checker-Test",
-                InternalName = Constants.ExternalCheckerTestInternalName
-            };
             var adtExternalCheckerTest2 = new TestType()
             {
-                DisplayName = "Adt-External-Checker-Test2",
+                DisplayName = "Adt-External-Checker-Test",
                 InternalName = Constants.ExternalCheckerStructuralInductionTestInternalName
             };
             var syntaxTest = new TestType()
@@ -254,7 +249,6 @@ namespace ClientServer.Controllers.Core
             };
 
             _context.TestTypes.Add(blackBoxTest);
-            _context.TestTypes.Add(externalCheckerTest);
             _context.TestTypes.Add(adtExternalCheckerTest2);
             _context.TestTypes.Add(syntaxTest);
             _context.TestTypes.Add(regexTest);