Mercurial > hg > Members > kono > jpf-core
diff jpf.properties @ 32:05294e96a284
Extended the model class sun.misc.SharedSecrets to make it compatible with the updates in jdk8u121. The update caused the test gov.nasa.jpf.test.java.io.ObjectStreamTest to fail.
author | nastaran <nastaran.shafiei@gmail.com> |
---|---|
date | Mon, 06 Feb 2017 18:03:21 -0800 |
parents | 6774e2e08d37 |
children |