[Javapathfinder-svn] SF.net SVN: javapathfinder:[1333] trunk/src/gov/nasa/jpf/tools/ NoStateCycles.java

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

Revision: 1333
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1333&view=rev
Author:   pcmehlitz
Date:     2009-03-27 05:18:08 +0000 (Fri, 27 Mar 2009)

Log Message:
-----------
* added Nathan Reynold's NoStateCycles property listener, which aims at detecting "hang loops" by checking for visited states along the same path. This is not yet the general "progress monitor", but can be quite helpful since JPF otherwise silently state matches loops w/o updated variables

Added Paths:
-----------
    trunk/src/gov/nasa/jpf/tools/NoStateCycles.java


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