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

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

Revision: 250
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=250&view=rev
Author:   pcmehlitz
Date:     2007-02-13 17:28:13 -0800 (Tue, 13 Feb 2007)

Log Message:
-----------
* updated classpath to include extensions/cv

* added an 'vm.store_steps' property to explicitly control if we have to store
transition steps. Even if there is no reporter with a 'trace' topic, there might
be listeners out there requiring the complete path info (like the SafetyAutomaton)

* a bad hot-fix for the ChoiceTracker, to avoid 'NONE' choices in the trace of
ui model checking. Need to find a generic way to do filtering, or re-add the UIActionTracker.
Maybe a generic "null" choice is the way to go

Modified Paths:
--------------
    trunk/.classpath
    trunk/default.properties
    trunk/src/gov/nasa/jpf/jvm/JVM.java
    trunk/src/gov/nasa/jpf/tools/ChoiceTracker.java
    trunk/src/gov/nasa/jpf/util/Inspector.java

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