Fixes default method resolution (#159)
authorjtoman <jtoman@users.noreply.github.com>
Sat, 1 Sep 2018 19:50:00 +0000 (12:50 -0700)
committercyrille-artho <cyrille-artho@users.noreply.github.com>
Sat, 1 Sep 2018 19:50:00 +0000 (21:50 +0200)
commitd0a18eb873b7a2c18a61d0a6207e00cf04d50f44
tree11bc544ddc879727dfe326f20bf7fc44144d9677
parent97aa2f798ce7173f778234427b9b840f5886296d
Fixes default method resolution (#159)

* Fixes default method resolution
src/main/gov/nasa/jpf/vm/ClassInfo.java
src/tests/java8/DefaultMethodTest.java