[Javapathfinder-devel] SF.net SVN: javapathfinder: [773] trunk/extensions/statechart/env

[<ar...@us...>]

Revision: 773
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=773&view=rev
Author:   artimid
Date:     2008-02-29 16:58:13 -0800 (Fri, 29 Feb 2008)

Log Message:
-----------
Temporary commit that fixed the problem of events being removed from queue. more detailed commit message next week. lots of debugging printouts still there. Will be fixed.

Modified Paths:
--------------
    trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/PendingEventQueue.java
    trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/StateMachine.java
    trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/NativeStateMachine.java


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