From e1e08ccf24c7666cfa341f2812416c5661840e92 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 31 Oct 2006 00:40:07 +0000
Subject: [PATCH] cover stuff with test cases

---
 Robust/src/Tests/StringTest.java               | 7 +++++++
 Robust/src/Tests/output/StringTest.output.goal | 4 ++++
 2 files changed, 11 insertions(+)

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 
-- 
2.34.1