[Javapathfinder-devel] SF.net SVN: javapathfinder: [425] trunk/extensions/symbc

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

Revision: 425
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=425&view=rev
Author:   sjp100
Date:     2007-07-02 16:20:47 -0700 (Mon, 02 Jul 2007)

Log Message:
-----------
Added support to turn state matching off during symbolic execution
and setting it back to what it was originally; note that state
matching stays off for all methods called by the method that
is executed symbolically
Added support for specifying which parameter(s) should be
executed concretely and which should be executed symbolically
during symbolic execution of a method
NOTE: NOT FULLY TESTED!

Modified Paths:
--------------
    trunk/extensions/symbc/Readme
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKEVIRTUAL.java

Added Paths:
-----------
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java

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