projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 182324e) | patch
Fixing JPF for methodMissing() method in Groovy: 1) Bug in detecting the array type...
authorrtrimana <rtrimana@uci.edu>
Mon, 8 Jul 2019 20:42:33 +0000 (13:42 -0700)
committerrtrimana <rtrimana@uci.edu>
Mon, 8 Jul 2019 20:42:33 +0000 (13:42 -0700)
commit8ceaed854b3ff0017faf944e3e51b0642fb23c28
treed9db215e4ce9adfb298d3ab5701d6200f7c3786ftree | snapshot
parent182324e618ad879c926c3f5f39789f165270eb89commit | diff
Fixing JPF for methodMissing() method in Groovy: 1) Bug in detecting the array type, 2) Different expected responses for ClassNotFoundException vs. ClassDefNotFoundException.
examples/Reflection.java diff | blob | history
examples/SunClassLoader.java diff | blob | history
src/main/gov/nasa/jpf/vm/ClassInfo.java diff | blob | history
src/main/gov/nasa/jpf/vm/Types.java diff | blob | history
src/peers/gov/nasa/jpf/vm/JPF_java_lang_ClassLoader.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.