Mercurial > hg > Members > kono > jpf-core
view README @ 13:9d0c3f9df6e0
replaced ThreadInfo.yield() (which was bypassing SyncPolicy) with SyncPolicy.setsRescheduleCG(). The current use is only for the corner case where the last transition in the last non-daemon triggers a defect in a still runnable daemon, which we want to detect before the daemon is shut down.
Added ChoiceGenerator.set/getStateId(), which is set on the nextCg once we broke a transition and performed state matching. This can be used to determine the states in the current path without having to maintain this as a separate structure that just mirrors the CG path. There is always a 1:1 relationship between the state that caused the CG and the respective CG instance.
author | Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> |
---|---|
date | Fri, 13 Mar 2015 14:07:43 -0700 |
parents | 61d41facf527 |
children |
line wrap: on
line source
Java PathFinder README ====================== ========General Information about JPF =================== All the latest developments, changes, documentation can be found at: http://babelfish.arc.nasa.gov/trac/jpf/wiki ========Building and Installing ========================= If you are having problems installing and running JPF please look at the documentation on the wiki at: http://babelfish.arc.nasa.gov/trac/jpf/wiki/install/start A lot of the commonly problems during the install and build process have been documented on the wiki. Please make sure that the the issue you are running into is not addressed there; if is not then feel free to contact us at java-pathfinder@googlegroups.com ======Documentation====================================== There is a constant effort to update and add JPF documentation on the wiki. If you would like to contribute in that, please contact us at java-pathfinder@googlegroups.com Happy Verification -- the Java PathFinder team