[Javapathfinder-devel] SF.net SVN: javapathfinder: [238] trunk

[<pcm...@us...>]

Revision: 238
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=238&view=rev
Author:   pcmehlitz
Date:     2007-02-07 23:44:56 -0800 (Wed, 07 Feb 2007)

Log Message:
-----------
* second stab on search.multiple_errors. Kind of works, but two things missing:
(a) the violated Property needs to reset (added to the interface), and I'm
not sure if that's working for all properties (like RaceDetector)
(b) the trace report has to run over the errors, not query the path
out of the VM. Actually, we have to clone paths when we go on, which
is BAD for huge apps with long traces 

Modified Paths:
--------------
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_Random.java
    trunk/src/gov/nasa/jpf/Error.java
    trunk/src/gov/nasa/jpf/GenericProperty.java
    trunk/src/gov/nasa/jpf/Property.java
    trunk/src/gov/nasa/jpf/jvm/NoUncaughtExceptionsProperty.java
    trunk/src/gov/nasa/jpf/search/Search.java
    trunk/src/gov/nasa/jpf/tools/PreciseRaceDetector.java
    trunk/src/gov/nasa/jpf/tools/RaceDetector.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.