[Javapathfinder-svn] SF.net SVN: javapathfinder: [880] trunk

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 422-6466

Revision: 880
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=880&view=rev
Author:   pcmehlitz
Date:     2008-06-23 18:00:27 -0700 (Mon, 23 Jun 2008)

Log Message:
-----------
* fixed the broken fix reg. multiple inclusions of the same ThreadInfo into the ThreadList. First, every ThreadInfo
creation should go through ThreadInfo's factory method. Second, there is no easy way around exclusiveness checking
in ThreadInfo.add() - the ThreadInfo cache isn't backtracked, but the ThreadList is. This fixed the DiningPhilosophers
in HeuristicSearch again

Modified Paths:
--------------
    trunk/src/gov/nasa/jpf/jvm/JVM.java
    trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
    trunk/src/gov/nasa/jpf/jvm/ThreadList.java
    trunk/test/gov/nasa/jpf/mc/TestPartialTraceJPF.java

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