projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2bf7cc4) | patch
Fixing a bug: the specification is not accurate for WildcardTypeImpl. The com.sun...
authorrtrimana <rtrimana@uci.edu>
Tue, 25 Jun 2019 18:31:41 +0000 (11:31 -0700)
committerrtrimana <rtrimana@uci.edu>
Tue, 25 Jun 2019 18:31:41 +0000 (11:31 -0700)
commit624b6fec4cb8d8b2409b51a1c34d247a38d83758
tree2b45c4a435d4a23e7129272352ca2ff4e7bc9904tree | snapshot
parent2bf7cc4008fee54fde4b494d3711e7eee8e8b8b2commit | diff
Fixing a bug: the specification is not accurate for WildcardTypeImpl. The com.sun.beans.TypeResolver seems to require the upperBounds field to never be null, but when we run it on the actual JVM, this field can be null when it is not needed (when lowerBounds exist).
src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Method.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.