Update smoke tests

Some have been un-skipped.
Others have been simplified or corrected.
Unskip java_float smoke test
Make the java_float smoke test quicker and unskip it.
Correct name of append_object smoke test
Remove main argument to speed up test execution.

Author: Joel Allred

regression/strings/smoke_tests/java_append_object/test_append_char.class

@@ -1,4 +1,4 @@
-public class test_append_char
+public class test_append_object
 {
    public static void main(/*String[] args*/)
    {

regression/strings/smoke_tests/java_append_object/test_append_object.class

@@ -1,4 +1,4 @@
-KNOWNBUG
+FUTURE
 test_delete.class
 --string-refine
 ^EXIT=0$

regression/strings/smoke_tests/java_append_object/test_append_char.java renamed to regression/strings/smoke_tests/java_append_object/test_append_object.java

@@ -3,7 +3,7 @@ public class test_delete
    public static void main(/*String[] argv*/)
    {
       StringBuilder s = new StringBuilder("Abc");
-      s.delete(1,1);
+      s.delete(1,2);
       String str = s.toString();
       assert(str.equals("Ac"));
    }

regression/strings/smoke_tests/java_delete/test.desc

@@ -1,4 +1,4 @@
-KNOWNBUG
+FUTURE
 test_delete_char_at.class
 --string-refine
 ^EXIT=0$

regression/strings/smoke_tests/java_delete/test_delete.class

@@ -1,10 +1,7 @@
-KNOWNBUG
+FUTURE
 test_float.class
 --string-refine
-^EXIT=10$
+^EXIT=0$
 ^SIGNAL=0$
-^\[.*assertion.1\].* line 15.* SUCCESS$
-^\[.*assertion.2\].* line 16.* SUCCESS$
-^\[.*assertion.3\].* line 17.* SUCCESS$
-^\[.*assertion.4\].* line 18.* FAILURE$
+^VERIFICATION SUCCESSFUL$
 --

regression/strings/smoke_tests/java_delete/test_delete.java

@@ -1,21 +1,15 @@
 public class test_float
 {
-   public static void main(String[] arg)
+   public static void main(/*String[] arg*/)
    {
       float inf = 100.0f / 0.0f;
       float minus_inf = -100.0f / 0.0f;
       float nan = 0.0f / 0.0f;
       String inf_string = Float.toString(inf);
       String mininf_string = Float.toString(minus_inf);
       String nan_string = Float.toString(nan);
-      //String arg1 = arg[0];
-      System.out.println(nan_string);
-      System.out.println(inf_string);
-      System.out.println(mininf_string);
       assert(nan_string.equals("NaN"));
       assert(inf_string.equals("Infinity"));
       assert(mininf_string.equals("-Infinity"));
-      assert(!nan_string.equals("NaN") || !inf_string.equals("Infinity")
-             || !mininf_string.equals("-Infinity"));
    }
 }

regression/strings/smoke_tests/java_delete_char_at/test.desc

@@ -1,4 +1,4 @@
-KNOWNBUG
+FUTURE
 test_insert_char_array.class
 --string-refine
 ^EXIT=0$

regression/strings/smoke_tests/java_float/test.desc

@@ -2,13 +2,13 @@ public class test_insert_char_array
 {
    public static void main(/*String[] argv*/)
    {
-      StringBuilder sb = new StringBuilder("ae");
-      char[] array = new char[3];
-      array[0] = 'a';
-      array[1] = 'b';
-      array[2] = 'c';
+      StringBuilder sb = new StringBuilder("ad");
+      char[] array = new char[2];
+      array[0] = 'b';
+      array[1] = 'c';
       sb.insert(1, array);
       String s = sb.toString();
-      assert(s.equals("abcde"));
+      System.out.println(s);
+      assert(s.equals("abcd"));
    }
 }

regression/strings/smoke_tests/java_float/test_float.class

@@ -1,4 +1,4 @@
-KNOWNBUG
+FUTURE
 test_insert_multiple.class
 --string-refine
 ^EXIT=0$

regression/strings/smoke_tests/java_float/test_float.java

@@ -2,10 +2,10 @@ public class test_insert_multiple
 {
    public static void main(/*String[] argv*/)
    {
-      StringBuilder sb = new StringBuilder("ae");
-      sb.insert(1, 'b');
-      sb.insert(1, "cd");
+      StringBuilder sb = new StringBuilder("ad");
+      sb.insert(1, 'c');
+      sb.insert(1, "b");
       String s = sb.toString();
-      assert(s.equals("abcde"));
+      assert(s.equals("abcd"));
    }
 }