Mercurial > hg > Members > kono > jpf-core

view .classpath @ 32:05294e96a284

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 61d41facf527
children
line wrap: on
line source

<?xml version="1.0" encoding="UTF-8"?>
<classpath>
	<classpathentry kind="src" output="build/main" path="src/main"/>
	<classpathentry kind="src" output="build/peers" path="src/peers"/>
	<classpathentry kind="src" output="build/classes" path="src/classes"/>
	<classpathentry kind="src" output="build/annotations" path="src/annotations"/>
	<classpathentry kind="src" output="build/examples" path="src/examples"/>
	<classpathentry kind="src" output="build/tests" path="src/tests"/>
	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
	<classpathentry kind="output" path="build"/>
</classpath>