- removed all define-fun tests, because they didn't even test define-fun and JavaSMT does not support it.

Author: DavidGalllob

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

@@ -3145,7 +3145,6 @@ public void testExceptionPush()
 
   /*PARSE MODEL TESTS*/
 
-
   @Test
   public void testLetExpression()
       throws IOException, SolverException, InterruptedException, InvalidConfigurationException {

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\")))"));