From ba6b1b9423db76d626a5fd64f923df8c70c839db Mon Sep 17 00:00:00 2001
From: Robby <robby@santoslab.org>
Date: Tue, 8 Oct 2024 20:17:44 -0500
Subject: [PATCH] Slang script Logika verification support for VSCode.

---
 shared/src/main/scala/org/sireum/logika/cli.scala | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/shared/src/main/scala/org/sireum/logika/cli.scala b/shared/src/main/scala/org/sireum/logika/cli.scala
index 23d6af38..1fb9a94c 100644
--- a/shared/src/main/scala/org/sireum/logika/cli.scala
+++ b/shared/src/main/scala/org/sireum/logika/cli.scala
@@ -47,9 +47,15 @@ object cli {
     usage = "<option>* <slang-file>+",
     usageDescOpt = None(),
     opts = ISZ(
+      Opt(name = "feedback", longKey = "feedback", shortKey = None(),
+        tpe = Type.Path(multiple = F, default = None()),
+        description = "Feedback output directory"),
       modeOpt,
       Opt(name = "noRuntime", longKey = "no-runtime", shortKey = Some('r'),
         tpe = Type.Flag(F), description = "Do not use built-in runtime (use runtime in sourcepath)"),
+      Opt(name = "parseableMessages", longKey = "parseable-messages", shortKey = None(),
+        tpe = Type.Flag(F),
+        description = "Print parseable file messages"),
       Opt(name = "sourcepath", longKey = "sourcepath", shortKey = Some('s'),
         tpe = Type.Path(T, None()),
         description = "Sourcepath of Slang .scala files")