Bitwuzla: Fix handling of boolean options that are passed on to Bitwuzla with solver.bitwuzla.furtherOptions

Bitwuzla uses 0 or 1 to encode boolean options, so we need to use Options.set(Option, int) to set their value. The other method Option.set(Option, String) is only be used for options that expect a `Mode` (= Enum value).

Author: daniel-raffler

src/org/sosy_lab/java_smt/solvers/bitwuzla/BitwuzlaSolverContext.java

@@ -222,7 +222,7 @@ private static Options setFurtherOptions(Options pOptions, String pFurtherOption
       String optionValue = option.getValue();
       Option bitwuzlaOption = getBitwuzlaOptByString(optionName);
       try {
-        if (pOptions.is_numeric(bitwuzlaOption)) {
+        if (pOptions.is_numeric(bitwuzlaOption) || pOptions.is_bool(bitwuzlaOption)) {
           pOptions.set(bitwuzlaOption, Integer.parseInt(optionValue));
         } else {
           pOptions.set(bitwuzlaOption, option.getValue());