-fixed tests

Author: DavidGalllob

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

@@ -462,7 +462,8 @@ public void testRound() {
     String actualResult = String.valueOf(Generator.getLines());
 
     String expectedResult =
-        "(declare-const a (_ FloatingPoint 8 24))\n" + "(assert (fp.eq a (fp.round RNE a)))\n";
+        "(declare-const a (_ FloatingPoint 8 24))\n" + "(assert (fp.eq a (fp.roundToIntegral RNE "
+            + "a)))\n";
 
     assertThat(actualResult).isEqualTo(expectedResult);
   }

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

@@ -250,7 +250,7 @@ public void testToString() {
     String actualResult = String.valueOf(Generator.getLines());
 
     String expectedResult =
-        "(declare-const result String)\n" + "(assert (= (int.to_str 42) result))\n";
+        "(declare-const result String)\n" + "(assert (= (str.from_int 42) result))\n";
 
     assertThat(actualResult).isEqualTo(expectedResult);
   }