Remove dump_cex option

kind2-mc · Jul 20, 2023 · 1dd17b8 · 1dd17b8
1 parent 8851a1c
commit 1dd17b8
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/main/java/edu/uiowa/kind2/lsp/Kind2LanguageServer.java b/src/main/java/edu/uiowa/kind2/lsp/Kind2LanguageServer.java
@@ -607,9 +607,6 @@ public Kind2Api getCheckKind2Api(String name)
     if (!configs.get("output_dir").getAsString().equals("")) {
       api.outputDir(configs.get("output_dir").getAsString());
     }
-    if (configs.get("dump_cex").getAsBoolean()) {
-      api.setDumpCex(true);
-    }
     if (configs.get("timeout").getAsFloat() != 0) {
       api.setTimeout(configs.get("timeout").getAsFloat());
     }