fixed a crucial implementation mistake, where all numbers were handed to Floating-Points as Strings

Author: DavidGalllob

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

@@ -24,7 +24,7 @@
 import org.sosy_lab.java_smt.api.StringFormula;
 import org.sosy_lab.java_smt.basicimpl.Generator;
 
-@SuppressWarnings({"CheckReturnValue", "ReturnValueIgnored","EqualsIncompatibleType"})
+@SuppressWarnings({"CheckReturnValue", "ReturnValueIgnored", "EqualsIncompatibleType"})
 public class SMTLIB2StringTest extends SolverBasedTest0.ParameterizedSolverBasedTest0 {
   @Before
   public void setUp() {
@@ -343,7 +343,6 @@ public void testRegexIntersection()
 
     BooleanFormula actualResult = mgr.universalParseFromString(x);
 
-
     assertThat(
         actualResult.equals(
             "(str.in_re a (re.inter (str.to_re \"\\Qa\\E\") (str.to_re " + "\"\\Qb\\E\")))"));