Making tests for int to string conversion more precise

We include both assertion that should hold and some that should fail.

Author: romainbrenguier

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

@@ -1,7 +1,10 @@
 CORE
 test_int.class
 --refine-strings
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
-^VERIFICATION SUCCESSFUL$
+assertion.* file test_int.java line 6 .* SUCCESS$
+assertion.* file test_int.java line 9 .* SUCCESS$
+assertion.* file test_int.java line 11 .* FAILURE$
+assertion.* file test_int.java line 13 .* FAILURE$
 --

regression/strings-smoke-tests/java_int_to_string/test_int.class

@@ -1,11 +1,15 @@
 public class test_int
 {
-   public static void main(/*String[] argv*/)
+   public static void main(int i)
    {
       String s = Integer.toString(12);
       assert(s.equals("12"));
       String t = Integer.toString(-23);
       System.out.println(t);
       assert(t.equals("-23"));
+      if(i==1)
+          assert(!s.equals("12"));
+      else if(i==2)
+          assert(!t.equals("-23"));
    }
 }