Bitwuzla: Update to Bitwuzla version 0.7.0 and fix an issue in the SWIG headers where some exceptions were not properly caught

Author: daniel-raffler

lib/ivy.xml

@@ -174,7 +174,7 @@ SPDX-License-Identifier: Apache-2.0
         <dependency org="org.sosy_lab" name="javasmt-solver-cvc4" rev="1.8-prerelease-2020-06-24-g7825d8f28" conf="runtime-cvc4->solver-cvc4" />
         <dependency org="org.sosy_lab" name="javasmt-solver-cvc5" rev="1.0.5-g4cb2ab9eb" conf="runtime-cvc5->solver-cvc5" />
         <dependency org="org.sosy_lab" name="javasmt-solver-boolector" rev="3.2.2-g1a89c229" conf="runtime-boolector->solver-boolector" />
-        <dependency org="org.sosy_lab" name="javasmt-solver-bitwuzla" rev="0.6.0-g2b3d69a7" conf="runtime-bitwuzla->solver-bitwuzla; contrib->sources,javadoc"/>
+        <dependency org="org.sosy_lab" name="javasmt-solver-bitwuzla" rev="0.7.0-gb48e722b" conf="runtime-bitwuzla->solver-bitwuzla; contrib->sources,javadoc"/>
 
         <!-- additional JavaSMT components with Solver Binaries -->
         <dependency org="org.sosy_lab" name="javasmt-yices2" rev="4.1.1-734-g3732f7e08" conf="runtime-yices2->runtime; contrib->sources" />

lib/native/source/libbitwuzla/bitwuzla.i

@@ -35,7 +35,7 @@
 %exception {
   try {
     $action
-  } catch(bitwuzla::Exception& e) {
+  } catch(std::exception& e) {
     jclass exceptionType = jenv->FindClass("java/lang/IllegalArgumentException");
     jenv->ThrowNew(exceptionType, e.what());
     return $null;
@@ -51,9 +51,12 @@ namespace std {
 %include "include/bitwuzla/enums.h"
 %include "include/bitwuzla/option.h"
 
+%ignore bitwuzla::option::Exception;
+
 namespace bitwuzla {
 /** Output streams */
 %ignore set_bv_format;
+%ignore set_letify;
 %ignore operator<< (std::ostream &ostream, const set_bv_format &f);
 %ignore operator<< (std::ostream &out, Result result);
 %ignore operator<< (std::ostream &out, Kind kind);
@@ -312,16 +315,6 @@ namespace bitwuzla::parser {
 %ignore Parser::configure_auto_print_model(bool value);
 %ignore Parser::parse(const std::string &infile_name, std::istream &input, bool parse_only=false);
 
-%exception {
-  try {
-    $action
-  } catch(Exception& e) {
-    jclass exceptionType = jenv->FindClass("java/lang/IllegalArgumentException");
-    jenv->ThrowNew(exceptionType, e.what());
-    return $null;
-  }
-}
-
 /** Exception */
 %ignore Exception;
 }