projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d275f72) | patch
Rectifies the java.lang.NoSuchMethodError when usinf printf (#172)
authorManish Kumar Thakur <manish3499@gmail.com>
Tue, 29 Jan 2019 13:44:19 +0000 (19:14 +0530)
committercyrille-artho <cyrille-artho@users.noreply.github.com>
Tue, 29 Jan 2019 13:44:19 +0000 (14:44 +0100)
commit0a84e8efb3a8509bbb8564ef9fe4abf2bdcb62b3
tree1d5f20b20cab7e6c02ea26c34c04c7811ced4ca5tree | snapshot
parentd275f72b1878404b0b4d80a4845969d3370f0e06commit | diff
Rectifies the java.lang.NoSuchMethodError when usinf printf (#172)

* Rectifies the java.lang.NoSuchMethodError: java.util.regex.Matcher.find(I)Z error by overloading the find() method in native peer classes

* adds unit test
src/classes/java/util/regex/Matcher.java diff | blob | history
src/peers/gov/nasa/jpf/vm/JPF_java_util_regex_Matcher.java diff | blob | history
src/tests/gov/nasa/jpf/test/java/io/PrintStreamTest.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.