From: bdemsky <bdemsky>
Date: Tue, 31 Oct 2006 00:40:07 +0000 (+0000)
Subject: cover stuff with test cases
X-Git-Tag: preEdgeChange~797
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=e1e08ccf24c7666cfa341f2812416c5661840e92;p=IRC.git

cover stuff with test cases
---

diff --git a/Robust/src/Tests/StringTest.java b/Robust/src/Tests/StringTest.java
index 62bd609d..30d4ecd0 100644
--- 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 3b18e512..39ff83e3 100644
--- 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