projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d28cfc) | patch
Fixing another bug: The java.lang.StringBuilder.append(char c) needs to consider...
authorrtrimana <rtrimana@uci.edu>
Wed, 3 Jul 2019 23:13:22 +0000 (16:13 -0700)
committerrtrimana <rtrimana@uci.edu>
Wed, 3 Jul 2019 23:13:22 +0000 (16:13 -0700)
commitfb55986441b8cc5486a13c83cfb43d84acea74fe
tree24fe6cb5d8536ee54b57cc7c1582f6d6e5268a76tree | snapshot
parent4d28cfc6820e0586a53f824fe6ca9e81acabd621commit | diff
Fixing another bug: The java.lang.StringBuilder.append(char c) needs to consider creating some array when it's set to capacity 0 and append(char c) is then called---such a call has to succeed.
examples/Reflection.java diff | blob | history
src/peers/gov/nasa/jpf/vm/JPF_java_lang_StringBuilder.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.