From 4e2807b8fbb0ec451073ef1851d48044f5676104 Mon Sep 17 00:00:00 2001
From: VeraZhang0311 <tianzi.zhang@vanderbilt.edu>
Date: Mon, 1 Jul 2024 14:23:32 -0500
Subject: [PATCH] test adding interface

---
 Src/CommandLine/CommandInterface.cs | 7 +++++++
 1 file changed, 7 insertions(+)
 mode change 100644 => 100755 Src/CommandLine/CommandInterface.cs

diff --git a/Src/CommandLine/CommandInterface.cs b/Src/CommandLine/CommandInterface.cs
old mode 100644
new mode 100755
index c375509..01f7d11
--- 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)