[Javapathfinder-devel] SF.net SVN: javapathfinder: [660] trunk/extensions/symbc/src/gov/nasa/jpf/ symbc/bytecode

[<sj...@us...>]

Revision: 660
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=660&view=rev
Author:   sjp100
Date:     2007-11-26 20:47:03 -0800 (Mon, 26 Nov 2007)

Log Message:
-----------
fixed the places where the attribute value is pulled from the
 stack frame (needed to use the long version)

Modified Paths:
--------------
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LADD.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LAND.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LCMP.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LDIV.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LMUL.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LNEG.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LOR.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LREM.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LSHL.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LSHR.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LSUB.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LUSHR.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LXOR.java


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