fix CI warnings.

Author: kfriedberger

src/org/sosy_lab/java_smt/basicimpl/FormulaCreator.java

@@ -139,6 +139,7 @@ public FloatingPointRoundingMode getRoundingMode(FloatingPointRoundingModeFormul
     return getRoundingMode(extractInfo(f));
   }
 
+  @SuppressWarnings("unused")
   protected FloatingPointRoundingMode getRoundingMode(TFormulaInfo f) {
     throw new UnsupportedOperationException(
         "Floating point rounding modes are not supported by this solver.");

src/org/sosy_lab/java_smt/solvers/cvc5/CVC5FormulaCreator.java

@@ -881,9 +881,9 @@ public FloatingPointRoundingMode getRoundingMode(Term pTerm) {
           throw new IllegalArgumentException(
               String.format("Unknown rounding mode in Term '%s'.", pTerm));
       }
-    } catch (CVC5ApiException pE) {
+    } catch (CVC5ApiException e) {
       throw new IllegalArgumentException(
-          String.format("Failure trying to get the rounding mode of Term '%s'.", pTerm), pE);
+          String.format("Failure trying to get the rounding mode of Term '%s'.", pTerm), e);
     }
   }
 

src/org/sosy_lab/java_smt/test/FloatingPointFormulaManagerTest.java

@@ -2,7 +2,7 @@
 // an API wrapper for a collection of SMT solvers:
 // https://github.com/sosy-lab/java-smt
 //
-// SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org>
+// SPDX-FileCopyrightText: 2025 Dirk Beyer <https://www.sosy-lab.org>
 //
 // SPDX-License-Identifier: Apache-2.0
 
@@ -11,7 +11,6 @@
 import static com.google.common.truth.Truth.assertThat;
 import static com.google.common.truth.Truth.assertWithMessage;
 import static com.google.common.truth.TruthJUnit.assume;
-import static org.junit.Assert.assertEquals;
 import static org.junit.Assert.assertThrows;
 import static org.sosy_lab.java_smt.test.ProverEnvironmentSubject.assertThat;
 
@@ -860,7 +859,7 @@ public void roundingModeMapping() {
         // SKIP MathSAT does not support rounding mode "nearest-ties-away"
         continue;
       }
-      assertEquals(rm, fpmgr.fromRoundingModeFormula(fpmgr.makeRoundingMode(rm)));
+      assertThat(fpmgr.fromRoundingModeFormula(fpmgr.makeRoundingMode(rm))).isEqualTo(rm);
     }
   }