From f4a944cc8375656cbdb2895ddebf9a066457f288 Mon Sep 17 00:00:00 2001 From: Daniel Larraz Date: Wed, 23 Sep 2026 19:06:59 -0500 Subject: [PATCH] Fix setSafeMode ignoring its argument setSafeMode always set safeMode to true, so any client calling setSafeMode(false) still passed --no_include true to Kind 2 and had include statements rejected. Also default safeMode to null so that --no_include is omitted unless explicitly set, consistent with the other options. Co-Authored-By: Claude Opus 5.5 (1M context) --- src/main/java/edu/uiowa/cs/clc/kind2/api/Kind2Api.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/java/edu/uiowa/cs/clc/kind2/api/Kind2Api.java b/src/main/java/edu/uiowa/cs/clc/kind2/api/Kind2Api.java index f798430..2316c5e 100644 --- a/src/main/java/edu/uiowa/cs/clc/kind2/api/Kind2Api.java +++ b/src/main/java/edu/uiowa/cs/clc/kind2/api/Kind2Api.java @@ -131,7 +131,7 @@ public class Kind2Api { */ public Kind2Api() { otherOptions = new ArrayList<>(); - safeMode = false; + safeMode = null; smtSolver = null; qeSmtSolver = null; itpSmtSolver = null; @@ -784,7 +784,7 @@ public List getOptions() { * @param safeMode whether or not to enable safe mode. */ public void setSafeMode(boolean safeMode){ - this.safeMode = true; + this.safeMode = safeMode; } /**