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

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

Revision: 1030
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1030&view=rev
Author:   pcmehlitz
Date:     2008-10-03 02:30:52 +0000 (Fri, 03 Oct 2008)

Log Message:
-----------
* the native Thread.sleep() had a twister, registering the CG in the never executed bottom half

* added a +et.skip_first option for the ExecTracker, to skip logging the first transition (which
is mostly the static init)

we need to have path set checkers for the mc test suite (some sort of 'expect' over path output)

Modified Paths:
--------------
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Thread.java
    trunk/src/gov/nasa/jpf/tools/ExecTracker.java
    trunk/test/gov/nasa/jpf/jvm/TestThread.java
    trunk/test/gov/nasa/jpf/jvm/TestThreadJPF.java

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