Added config CLI tool.

sireum · Oct 29, 2024 · f17eb00 · f17eb00
1 parent 0f6d7b1
commit f17eb00
Showing 1 changed file with 13 additions and 1 deletion.
diff --git a/shared/src/main/scala/org/sireum/logika/cli.scala b/shared/src/main/scala/org/sireum/logika/cli.scala
@@ -222,12 +222,24 @@ object cli {
     )
   )
 
+  val logikaConfig: Tool = Tool(
+    name = "logikaConfig",
+    command = "config",
+    description = "Logika Config",
+    header = "Sireum Logika Config",
+    usage = "<option>* <file.sc>",
+    usageDescOpt = None(),
+    opts = ISZ(),
+    groups = ISZ()
+  )
+
+
   val group: Group = Group(
     name = "logika",
     description = "Logika tools",
     header = "Logika Tools for Slang",
     unlisted = F,
-    subs = ISZ(logikaVerifier)
+    subs = ISZ(logikaConfig, logikaVerifier)
   )
 
 }