cover stuff with test cases

diff --git a/Robust/src/Tests/StringTest.java b/Robust/src/Tests/StringTest.java
index 62bd609d64972919e71a1be4dda630706175272e..30d4ecd0d3758226f4764c7de6fe257538ca7970 100644 (file)
--- a/Robust/src/Tests/StringTest.java
+++ b/Robust/src/Tests/StringTest.java
@@ -2,5 +2,12 @@ class StringTest {
     public static void main(String str[]) {
        String a="hello world\n";
        System.printString(a);
+       System.printInt(a.indexOf('e'));
+       System.printString("\n");
+       System.printInt(a.indexOf("world"));
+       System.printString("\n");
+       System.printString(a.subString(3));
+       System.printString(a.subString(3,6));
+       System.printString("\n");
     }
 }

diff --git a/Robust/src/Tests/output/StringTest.output.goal b/Robust/src/Tests/output/StringTest.output.goal
index 3b18e512dba79e4c8300dd08aeb37f8e728b8dad..39ff83e3577971b9ea53d7853ae1c249a34b16e9 100644 (file)
--- a/Robust/src/Tests/output/StringTest.output.goal
+++ b/Robust/src/Tests/output/StringTest.output.goal
@@ -1 +1,5 @@
 hello world
+1
+6
+lo world
+lo