Set StringBuilder.getChars() to notModelled

peterschrammel · peterschrammel · commit c4828e382f8a · 2018-11-20T09:32:29.000Z
diff --git a/src/main/java/java/lang/AbstractStringBuilder.java b/src/main/java/java/lang/AbstractStringBuilder.java
@@ -82,7 +82,9 @@ public int offsetByCodePoints(int index, int codePointOffset) {
         return CProver.nondetInt();
     }
 
-    public void getChars(int srcBegin, int srcEnd, char[] dst, int dstBegin) {}
+    public void getChars(int srcBegin, int srcEnd, char[] dst, int dstBegin) {
+      CProver.notModelled();
+    }
 
     public void setCharAt(int index, char ch) {}
 

Original file line number	Diff line number	Diff line change
`@@ -82,7 +82,9 @@ public int offsetByCodePoints(int index, int codePointOffset) {`
`82`	`82`	`return CProver.nondetInt();`
`83`	`83`	`}`
`84`	`84`
`85`		`- public void getChars(int srcBegin, int srcEnd, char[] dst, int dstBegin) {}`
	`85`	`+ public void getChars(int srcBegin, int srcEnd, char[] dst, int dstBegin) {`
	`86`	`+ CProver.notModelled();`
	`87`	`+ }`
`86`	`88`
`87`	`89`	`public void setCharAt(int index, char ch) {}`
`88`	`90`