- added support for adt structural induction checker (test)

src/ClientServer/Config/Constants.cs

@@ -13,7 +13,7 @@ namespace ClientServer.Helpers
     /// </summary>
     public static class Constants
     {
-        public static string VersionString = "2.20.6";
+        public static string VersionString = "2.21.0";
 
         /// <summary>
         /// this is only set once at program.cs!!
@@ -56,6 +56,11 @@ namespace ClientServer.Helpers
         /// </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"/>
         /// </summary>
         public const string CompileTestInternalName = "compileTest";

src/ClientServer/Controllers/Core/Init.cs

@@ -232,6 +232,11 @@ namespace ClientServer.Controllers.Core
                 DisplayName = "External-Checker-Test",
                 InternalName = Constants.ExternalCheckerTestInternalName
             };
+            var adtExternalCheckerTest2 = new TestType()
+            {
+                DisplayName = "Adt-External-Checker-Test2",
+                InternalName = Constants.ExternalCheckerStructuralInductionTestInternalName
+            };
             var syntaxTest = new TestType()
             {
                 DisplayName = "Syntaxtest",
@@ -250,6 +255,7 @@ namespace ClientServer.Controllers.Core
 
             _context.TestTypes.Add(blackBoxTest);
             _context.TestTypes.Add(externalCheckerTest);
+            _context.TestTypes.Add(adtExternalCheckerTest2);
             _context.TestTypes.Add(syntaxTest);
             _context.TestTypes.Add(regexTest);
             _context.TestTypes.Add(compareFilesTest);

src/ClientServer/Helpers/PasswordHelper.cs

@@ -37,7 +37,7 @@ namespace ClientServer.Helpers
             return BCrypt.Net.BCrypt.HashString(pwBase64 + AppConfiguration.SystemSalt, 13);
         }
         /// <summary>
-        /// returns the hash with the same hashing algorithm (SHA 512) as the frontend (e.g. to create a new user)
+        /// returns the hash with the same hashing algorithm (SHA 256) as the frontend (e.g. to create a new user)
         /// </summary>
         /// <param name="pw"></param>
         /// <returns>always the same length... (44 chars)</returns>

src/ClientServer/Program.cs

@@ -59,6 +59,9 @@ namespace ClientServer
                 TestServerTraceLogWorker.NextRun(); //this is sync
                 TestServerTraceLogWorker.Start();
             }
+            
+            // var hashedPw =  PasswordHelper.GetHashV1(PasswordHelper.HashLikeFrontend("j"));
+            // Console.WriteLine(hashedPw);
 
             host.Run();
         }