From 0f032335ccfdfbec2841164567f6f436b31143a7 Mon Sep 17 00:00:00 2001
From: Marco Eilers <eilers.marco@googlemail.com>
Date: Fri, 15 Dec 2023 18:16:36 +0100
Subject: [PATCH] Fixing parameter filtering

---
 src/main/scala/viper/server/utility/AstGenerator.scala | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/main/scala/viper/server/utility/AstGenerator.scala b/src/main/scala/viper/server/utility/AstGenerator.scala
index 7e0c846..a54c78c 100644
--- a/src/main/scala/viper/server/utility/AstGenerator.scala
+++ b/src/main/scala/viper/server/utility/AstGenerator.scala
@@ -48,7 +48,14 @@ class AstGenerator(private val _logger: Logger,
     for (option <- optionWhiteList) {
       val optionArgIndex = argList.indexOf(option)
       if (optionArgIndex != -1) {
-        filteredArgs = argList.slice(optionArgIndex, 2) ++ filteredArgs
+        // argument is the next item in the argList
+        filteredArgs = argList.slice(optionArgIndex, optionArgIndex + 2) ++ filteredArgs
+      } else {
+        argList.find(_.startsWith(s"${option}=")) match {
+          case Some(arg) =>
+            filteredArgs = Seq(arg) ++ filteredArgs
+          case _ =>
+        }
       }
     }
     for (flag <- flagWhiteList) {