Merge branch 'master' into master

goblint · Jun 26, 2024 · 0c3ac9c · 0c3ac9c
2 parents 47905c1 + f1ece37
commit 0c3ac9c
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/main/java/goblintserver/GoblintServer.java b/src/main/java/goblintserver/GoblintServer.java
@@ -107,8 +107,7 @@ public List<String> constructGoblintRunCommand() {
                 "--set", "server.unix-socket", new File(getGoblintSocket()).getAbsolutePath()
         ));
         if (configuration.abstractDebugging()) {
-            command.add("--enable");
-            command.add("exp.arg");
+            command = ArrayUtils.addAll(command, "--enable", "exp.arg.enabled");
         }
         return command;
     }