projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb15fd5) | patch
Fix incorrect IncompatibleClassChangeError in ClassInfo.getDefaultMethod (#7)
authorDan Smith <dsmith@pivotal.io>
Thu, 17 May 2018 06:15:26 +0000 (23:15 -0700)
committercyrille-artho <cyrille-artho@users.noreply.github.com>
Thu, 17 May 2018 06:15:26 +0000 (15:15 +0900)
commit18a0c42de3e80be0c2ddcf0d212e376e576fcda0
tree7d6a0b2a40e3ca47f299768b265c747e93745886tree | snapshot
parentfb15fd528aa2ace1536fe16f12b5d973b2c4f049commit | diff
Fix incorrect IncompatibleClassChangeError in ClassInfo.getDefaultMethod (#7)

The logic to detect if there are two conflicting default methods was incorrect.
If a class and its superclass both implement the same interface JPF should not
throw an IncompatibleClassChangeError.
src/main/gov/nasa/jpf/vm/ClassInfo.java diff | blob | history
src/tests/gov/nasa/jpf/test/vm/basic/MethodTest.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.