Fixing bug in recognizing Class<?> as a WilcardTypeImpl.
authorRahmadi Trimananda <rtrimana@uci.edu>
Sat, 22 Jun 2019 18:12:34 +0000 (11:12 -0700)
committerRahmadi Trimananda <rtrimana@uci.edu>
Sat, 22 Jun 2019 18:12:34 +0000 (11:12 -0700)
commit49555c1bf7ad63ce727bedfb9d72288b5be605c3
tree6d28bf7caf3d2dc9730dab1907b14b76a61930dd
parentb1bb65a429163a38c3927155b3d7825aeb584be3
Fixing bug in recognizing Class<?> as a WilcardTypeImpl.
examples/Reflection.java
src/main/gov/nasa/jpf/vm/MethodInfo.java
src/main/gov/nasa/jpf/vm/Types.java