Regression test mprovement for if expressions

Author: romainbrenguier

regression/strings-smoke-tests/java_if/test.class

@@ -3,7 +3,7 @@ test.class
 --refine-strings --string-max-length 100
 ^EXIT=10$
 ^SIGNAL=0$
-^\[.*assertion.1\].* line 13.* SUCCESS$
-^\[.*assertion.2\].* line 15.* FAILURE$
+^\[.*assertion.1\].* line 11.* SUCCESS$
+^\[.*assertion.2\].* line 13.* FAILURE$
 --
 $ignoring\s*char\s*array

regression/strings-smoke-tests/java_if/test.desc

@@ -1,16 +1,16 @@
 public class test
 {
-    public static String main()
+    public static String main(int i)
     {
         Object t[] = new Object[5];
         t[0] = "world!";
         StringBuilder s = new StringBuilder("Hello ");
         if(t[0] instanceof String)
-        {
             s.append((String) t[0]);
-        }
-        assert(s.toString().equals("Hello world!"));
-        assert(!s.toString().equals("Hello world!"));
+        if(i == 0)
+            assert(s.toString().equals("Hello world!"));
+        else
+            assert(!s.toString().equals("Hello world!"));
         return s.toString();
     }
 }