Merge pull request #187 from viperproject/meilers_plugins_config

Fixing parameter filtering
viperproject · Dec 15, 2023 · d05266f · d05266f
2 parents ec92d51 + 0f03233
commit d05266f
Showing 1 changed file with 8 additions and 1 deletion.
diff --git 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) {