Fixing a bug in JPF_java_lang_String.java: There was a bug in the loop of the native...

[jpf-core.git] / src / peers / gov / nasa / jpf / vm / JPF_java_lang_String.java

diff --git a/src/peers/gov/nasa/jpf/vm/JPF_java_lang_String.java b/src/peers/gov/nasa/jpf/vm/JPF_java_lang_String.java
index 556bb7c7b594365c9c63320e9afa1172ec103874..587a552362a2191e124a1e66f19dc9632c89dbcf 100644 (file)
--- a/src/peers/gov/nasa/jpf/vm/JPF_java_lang_String.java
+++ b/src/peers/gov/nasa/jpf/vm/JPF_java_lang_String.java
@@ -345,7 +345,7 @@ public class JPF_java_lang_String extends NativePeer {
       fromIndex = len - 1;
     }
 
-    for (int i = fromIndex; i > 0; i--) {
+    for (int i = fromIndex; i >= 0; i--) {
       if (values[i] == c) { return i; }
     }