[Javapathfinder-svn] SF.net SVN: javapathfinder:[1154] trunk/src/gov/nasa/jpf/jvm/bytecode/ FieldInstruction.java

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

Revision: 1154
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1154&view=rev
Author:   pcmehlitz
Date:     2009-01-30 03:20:09 +0000 (Fri, 30 Jan 2009)

Log Message:
-----------
* changed FieldInstruction.isLockProtected() to check for strong lock candidates on the first time around. If the state space isn't degenerated, this doesn't cause dramatic state reduction in real programs, but it helps understanding programs that use a lot of synchronization (esp. with the ExecTracker)

Modified Paths:
--------------
    trunk/src/gov/nasa/jpf/jvm/bytecode/FieldInstruction.java


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