test adding interface

VUISIS · Jul 1, 2024 · 4e2807b · 4e2807b
1 parent 279b6d2
commit 4e2807b
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/Src/CommandLine/CommandInterface.cs b/Src/CommandLine/CommandInterface.cs
@@ -2138,7 +2138,14 @@ private void DoInteractiveHelp(string s)
 
         private void DoFetchConstraints(string s) 
         {
+            var cmdParts = s.Split(cmdSplitChars, 3, StringSplitOptions.RemoveEmptyEntries);
+            if (cmdParts.Length < 2 || cmdParts.Length > 5)
+            {
+                sink.WriteMessageLine(FetchConstraintsMsg, SeverityKind.Warning);
+                return;
+            }
 
+            sink.WriteMessageLine("Fetching constraints...");
         } 
 
         private void DoConfigHelp(string s)