Mercurial > hg > Members > kono > jpf-core

view .classpath @ 21:caa0924e093d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and ControlEvent being subclasses of SystemEvent added Loggable.setLogLevel changed old UserHeuristic to use a Verify.heuristicValue instead of a hardwired "Main" class with hardwired fields (which was just an outdated leftover). Call Verify.setHeuristicValue() to control state priorities from the SUT. This also fixes the bug that UserHeuristic was not properly checking for "Main" resolution.
author Peter Mehlitz <pcmehlitz@gmail.com>
date Fri, 10 Apr 2015 20:53:11 -0700
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>