Fixing a bug in ClassLoader.defineClass(); basically this method has to still return...
authorrtrimana <rtrimana@uci.edu>
Tue, 16 Jul 2019 20:22:12 +0000 (13:22 -0700)
committerrtrimana <rtrimana@uci.edu>
Tue, 16 Jul 2019 20:22:12 +0000 (13:22 -0700)
commitc78c0cceae830f46be14d3653aea07ada73e585e
tree39e6e6e1f7d0bed4477b8251bffc520a3367bc89
parent0907ba7dd70d7e43923eb812d1e4107f0b8d76c3
Fixing a bug in ClassLoader.defineClass(); basically this method has to still return a java.lang.LinkageError exception when it attempts to define the same class twice.
examples/SunClassLoader.java
jpf.properties
src/examples/Racer.java
src/peers/gov/nasa/jpf/vm/JPF_java_lang_ClassLoader.java