From: <ubn...@us...> - 2007-10-19 23:22:21
|
Revision: 639 http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=639&view=rev Author: ubnepvpb Date: 2007-10-19 16:22:18 -0700 (Fri, 19 Oct 2007) Log Message: ----------- The symbolic and concrete values were swapped in some of the code creating the new PathCondition. Add TestUtils Fix PathConditionListener to work with Corina's new PCChoiceGenerator class Modified Paths: -------------- trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/DCMPG.java trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/DCMPL.java trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FCMPG.java trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FCMPL.java trunk/extensions/symbc/test/gov/nasa/jpf/symbc/PathConditionListener.java Added Paths: ----------- trunk/extensions/symbc/test/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_TestUtils.java trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestUtils.java This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |